Jump to content

Regular numerical predicate: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 23:1023:10, 5 March 2024 BD2412 talk contribs 12,294 bytes −1 spacing fix undo

curprev 21:5221:52, 18 August 2023 OAbot talk contribs m 12,295 bytes −4 Open access bot: doi updated in citation with #oabot. undo

curprev 02:0602:06, 30 January 2023 OAbot talk contribs m 12,299 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 12:5112:51, 24 January 2023 Citation bot talk contribs 12,283 bytes +57 Add: url. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 864/1134 undo

curprev 03:0803:08, 19 January 2023 Ben Standeven talk contribs m 12,226 bytes +57 →Using recursion and patterns: restoring the ''m'' to its proper place in the definition undo
curprev 01:0301:03, 19 January 2023 Ben Standeven talk contribs 12,169 bytes 0 →Automata reading unary numbers undo

curprev 11:5911:59, 11 December 2021 Citation bot talk contribs 12,169 bytes +34 Alter: journal. Add: doi. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 57/214 undo

curprev 04:2604:26, 29 April 2021 Neils51 talk contribs m 12,135 bytes −1 →Automata reading unary numbers: spelling - it's → its undo

curprev 16:5316:53, 14 January 2021 Yobot talk contribs m 12,136 bytes +36 Fix REFPUNCT + other minor fixes, added orphan tag undo Tag: AWB

curprev 23:2323:23, 14 September 2020 LilHelpa talk contribs 12,100 bytes +1 typo; copy edit undo

curprev 20:4020:40, 16 June 2020 Bryanrutherford0 talk contribs m 12,099 bytes +4 Copyediting undo

curprev 18:3718:37, 23 May 2020 AnomieBOT talk contribs m 12,095 bytes +28 Dating maintenance tags: {{Citation needed}} undo
curprev 18:1718:17, 23 May 2020 Ozzie10aaaa talk contribs 12,067 bytes +19 →Closure property undo
curprev 18:1718:17, 23 May 2020 Ozzie10aaaa talk contribs 12,048 bytes +19 →Satisfiability: ref? undo

curprev 17:1017:10, 27 February 2020 Bellowhead678 talk contribs m 12,029 bytes 0 compenent->component - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 08:5008:50, 19 January 2020 Arthur MILCHIOR talk contribs 12,029 bytes +168 →Using recursion and patterns: Correction related to the order of quantification of a variable undo
curprev 08:3608:36, 19 January 2020 Arthur MILCHIOR talk contribs m 11,861 bytes −2 →FO(\le,\mod) undo

curprev 14:0814:08, 18 January 2020 Arthur MILCHIOR talk contribs 11,863 bytes +11,863 ←Created page with 'In computer science and mathematics more precisely in automata theory, model theory and formal language a '''regular numerical predicate''' i...'

Retrieved from "https://en.wikipedia.org/wiki/Regular_numerical_predicate"