Uninterpreted function: Revision history

27 February 2023

• curprev 16:2616:26, 27 February 2023‎ Sammi Brie talk contribs‎ 4,069 bytes +61‎ Adding short description: "Type of function in mathematical logic" undo Tag: Shortdesc helper

19 November 2022

• curprev 05:2905:29, 19 November 2022‎ Citation bot talk contribs‎ 4,008 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by BorgQueen | Category:Specification languages | #UCB_Category 39/50 undo

20 September 2022

• curprev 23:2023:20, 20 September 2022‎ Mathnerd314159 talk contribs‎ 3,992 bytes −30‎ link to page directly instead of via redirects undo

17 August 2022

• curprev 18:0818:08, 17 August 2022‎ JoeNMLC talk contribs‎ 4,022 bytes −31‎ →‎top: context is sufficient, rm context tag undo

4 May 2022

• curprev 00:1300:13, 4 May 2022‎ Harrylime1 talk contribs‎ 4,053 bytes +346‎ No edit summary undo Tag: Visual edit: Switched

29 December 2021

• curprev 21:3221:32, 29 December 2021‎ Mgkrupa talk contribs‎ 3,707 bytes +23‎ Added {{Mathematical logic}} undo

7 December 2021

• curprev 20:0120:01, 7 December 2021‎ Jochen Burghardt talk contribs‎ 3,684 bytes −23‎ Partly undid revision 1059138540 by 27.85.207.129 (talk): imo, this is more clear undo
• curprev 17:5817:58, 7 December 2021‎ 27.85.207.129 talk‎ 3,707 bytes −10‎ Corrected some grammatical errors that made the conclusion confusing. undo

20 November 2021

• curprev 21:3021:30, 20 November 2021‎ 67.198.37.16 talk‎ 3,717 bytes +30‎ →‎See also: Theory of pure equality undo

27 April 2021

• curprev 08:2408:24, 27 April 2021‎ Hooman Mallahzadeh talk contribs‎ m 3,687 bytes 0‎ →‎Example: lower case. undo
• curprev 07:3807:38, 27 April 2021‎ Jochen Burghardt talk contribs‎ 3,687 bytes +3‎ →‎Example: slightly rephrase to avoid "we", per MOS:WE undo
• curprev 07:2107:21, 27 April 2021‎ Hooman Mallahzadeh talk contribs‎ m 3,684 bytes +22‎ No edit summary undo Tag: Visual edit
• curprev 07:1607:16, 27 April 2021‎ Hooman Mallahzadeh talk contribs‎ m 3,662 bytes +110‎ →‎Example undo Tag: Visual edit: Switched
• curprev 07:0807:08, 27 April 2021‎ Hooman Mallahzadeh talk contribs‎ m 3,552 bytes +17‎ →‎Example undo Tag: Visual edit
• curprev 07:0607:06, 27 April 2021‎ Hooman Mallahzadeh talk contribs‎ m 3,535 bytes +153‎ →‎Example undo Tag: Visual edit

7 December 2019

• curprev 20:2620:26, 7 December 2019‎ Citation bot talk contribs‎ m 3,382 bytes +220‎ Alter: template type. Add: isbn, year, series, pages, volume, title, chapter, doi, chapter-url, author pars. 1-3. Removed or converted URL. Converted bare reference to cite template. Formatted dashes. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

4 December 2019

• curprev 12:4912:49, 4 December 2019‎ AnomieBOT talk contribs‎ m 3,162 bytes +19‎ Dating maintenance tags: {{Citation needed}} undo
• curprev 10:4910:49, 4 December 2019‎ Jonathan Boatl talk contribs‎ m 3,143 bytes −563‎ →‎Discussion: Removed reference to deleted example undo Tag: references removed

22 November 2019

• curprev 12:0412:04, 22 November 2019‎ Jonathan Boatl talk contribs‎ m 3,706 bytes −3‎ →‎Example: formatting, and corrected the link to the smt page. undo
• curprev 11:5711:57, 22 November 2019‎ Jonathan Boatl talk contribs‎ 3,709 bytes −728‎ →‎Example: the previous example was not about uninterpreted functions. This edit replaces it. undo Tag: references removed

20 August 2019

• curprev 18:1318:13, 20 August 2019‎ Jarble talk contribs‎ 4,437 bytes +68‎ adding links to references using Google Scholar undo

20 November 2017

• curprev 18:4818:48, 20 November 2017‎ Jochen Burghardt talk contribs‎ 4,369 bytes −12‎ Undid revision 811260487 by 5.2.200.163 (talk): term don't contain *logical* constants undo
• curprev 14:2414:24, 20 November 2017‎ 5.2.200.163 talk‎ 4,381 bytes +12‎ logic const undo

15 August 2016

• curprev 10:0610:06, 15 August 2016‎ Jason Quinn talk contribs‎ 4,369 bytes +15‎ →‎Discussion: tweak to same ref undo
• curprev 10:0510:05, 15 August 2016‎ Jason Quinn talk contribs‎ 4,354 bytes +49‎ fixed link i broke undo
• curprev 10:0210:02, 15 August 2016‎ Jason Quinn talk contribs‎ 4,305 bytes +1‎ fixed typo in last edit undo
• curprev 10:0110:01, 15 August 2016‎ Jason Quinn talk contribs‎ 4,304 bytes +17‎ improved references... Note that author links in cite templates should not be wikilinked. use the authorlink parameters instead. undo
• curprev 09:5809:58, 15 August 2016‎ Jason Quinn talk contribs‎ 4,287 bytes 0‎ moved notes above refs undo

28 February 2016

• curprev 15:0715:07, 28 February 2016‎ MrWikDude talk contribs‎ m 4,287 bytes +10‎ Linked n-ary to the Wikipedia article that defines this term. undo Tag: Visual edit

27 February 2016

• curprev 15:5615:56, 27 February 2016‎ MrWikDude talk contribs‎ m 4,277 bytes +8‎ Changed "arity" to n-ary form. undo Tag: Visual edit

29 January 2015

• curprev 14:2814:28, 29 January 2015‎ 80.168.175.30 talk‎ 4,269 bytes 0‎ →‎See also: fmt undo
• curprev 14:2714:27, 29 January 2015‎ 80.168.175.30 talk‎ 4,269 bytes −2‎ →‎Example: fmt undo

25 September 2014

• curprev 09:0709:07, 25 September 2014‎ Jochen Burghardt talk contribs‎ 4,271 bytes +8‎ →‎top undo

27 May 2014

• curprev 08:1508:15, 27 May 2014‎ Carriearchdale talk contribs‎ m 4,263 bytes +15‎ clean up using AWB undo

11 May 2014

• curprev 15:1515:15, 11 May 2014‎ AnomieBOT talk contribs‎ m 4,248 bytes +28‎ Dating maintenance tags: {{Clarify}} {{Cn}} undo
• curprev 14:5514:55, 11 May 2014‎ Jochen Burghardt talk contribs‎ 4,220 bytes +388‎ →‎Discussion undo
• curprev 14:3714:37, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,832 bytes +128‎ →‎Discussion undo
• curprev 14:3314:33, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,704 bytes +129‎ →‎Discussion: converted to ((cite)); added open-access url undo
• curprev 14:2514:25, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,575 bytes +72‎ →‎top: there are many decision problems for the free theory, unifications solves the sat. problem; specified/linked statement about 'other theories' undo
• curprev 13:4913:49, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,503 bytes +10‎ →‎References: onw section "Notes" undo
• curprev 13:4813:48, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,493 bytes +143‎ →‎Example: related example deduction to informal C explanation undo
• curprev 13:4613:46, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,350 bytes +15‎ →‎Example undo
• curprev 13:4513:45, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,335 bytes 0‎ →‎References: typo undo
• curprev 13:4413:44, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,335 bytes +22‎ →‎References: notes ((reflist)) undo
• curprev 13:4413:44, 11 May 2014‎ Jochen Burghardt talk contribs‎ 3,313 bytes +602‎ →‎Example: added note to explain axiom to non-mathematician programmers undo

5 December 2012

• curprev 21:5621:56, 5 December 2012‎ Yobot talk contribs‎ m 2,711 bytes +1‎ clean up, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8748) undo

9 May 2012

• curprev 10:3010:30, 9 May 2012‎ Helpful Pixie Bot talk contribs‎ m 2,710 bytes +3‎ ISBNs (Build KE) undo

13 June 2011

• curprev 16:1216:12, 13 June 2011‎ Linas talk contribs‎ 2,707 bytes +284‎ misc copyedits undo
• curprev 15:5615:56, 13 June 2011‎ Linas talk contribs‎ 2,423 bytes +218‎ add ref mention unification undo
• curprev 15:5215:52, 13 June 2011‎ Linas talk contribs‎ 2,205 bytes +31‎ tweak intro undo