Diagram (mathematical logic): 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 21:1821:18, 17 August 2022 Nribaudo talk contribs 1,794 bytes +12 Update definition of Diagram, to disambiguate it from Elementary diagram undo

curprev 21:2821:28, 4 November 2021 GhostInTheMachine talk contribs 1,732 bytes −205 Changing short description from "Given a model of a theory over a 1st-order language, the set of atomic sententences and negations thereof of that hold in the model, when the language is extended with constant symbols for each element in the domain in the model" to "Concept in model theory" (Shortdesc helper) undo
curprev 05:5905:59, 4 November 2021 RPSkokie talk contribs 1,937 bytes +251 Importing Wikidata short description: "Given a model of a theory over a 1st-order language, the set of atomic sententences and negations thereof of that hold in the model, when the language is extended with constant symbols for each element in the domain in the model" (Shortdesc helper) undo

curprev 07:0607:06, 27 February 2021 P.maistrenko talk contribs m 1,686 bytes +37 Link to Elementary Diagram added undo