Method of analytic tableaux: Revision history

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 04:1004:10, 11 April 2025 Marc Schroeder talk contribs m 74,332 bytes −66 No edit summary undo
curprev 04:0104:01, 11 April 2025 Marc Schroeder talk contribs 74,398 bytes −4,982 More concise presentation of the propositional tableaux. undo

curprev 17:3317:33, 8 April 2025 Marc Schroeder talk contribs 78,558 bytes −436 No edit summary undo
curprev 15:0215:02, 8 April 2025 Marc Schroeder talk contribs m 78,994 bytes +128 →Propositional tableau with unification: corrected an error in second table undo
curprev 13:0413:04, 8 April 2025 Marc Schroeder talk contribs m 78,866 bytes +537 set implication connective in LaTeX everywhere to \to and equivalence connective to \leftrightarrow, to fix mix of notations undo

curprev 00:0400:04, 1 October 2024 BD2412 talk contribs m 78,343 bytes 0 Clean up spacing around commas and other punctuation fixes, replaced: ,A → , A (3), ,X → , X (17), ,Y → , Y (9), ,w → , w (3), ,x → , x (7), ,y → , y (6), ; → ; (14) undo Tag: AWB

curprev 07:0407:04, 27 April 2024 GhostInTheMachine talk contribs 78,272 bytes +29 Changing short description from "proof" to "Tool for proving a logical formula" undo Tag: Shortdesc helper
curprev 01:5401:54, 27 April 2024 2600:100a:b128:6448:868:c524:1f99:a5e2 talk 78,243 bytes +28 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 17:3217:32, 25 January 2024 Citation bot talk contribs 76,305 bytes +36 Altered isbn. Added s2cid. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by Abductive | Category:Automated theorem proving | #UCB_Category 1/39 undo

curprev 17:4317:43, 26 December 2023 Marc Schroeder talk contribs m 75,773 bytes −13 The brief history fits better sub 'Preview' or 'Introduction'. As 'Introduction' deals about technical matters only, the section 'Preview' seems appropriate. undo