First-order logic

This page lists the items of the Wikipedia article First-order logic in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1375411387, with the assessment B/Top.

Outcome	Items
deferred	10
node	1

The gap signals of the article are S1,S2,S3,S4,S5,S6,S8,S9.

Item	Kind	Name	Outcome	Nodes	Reason
subject	definition	First-order logic	node	Predicate logic	a node has the same Wikidata item as the row
#3RQF	unknown	Deductive systems for first-order logic	deferred until 2027-05-01		the kind of the item is unknown
#5570	statement	Automated theorem proving and formal methods	deferred until 2027-05-01		the heading names more than one item
#67GG	unknown	Satisfaction relation	deferred until 2027-05-01		the kind of the item is unknown
#GNA5	statement	Lindström's theorem	deferred until 2027-05-01		the item has its own article, page 7510462
#HTTK	unknown	Variable assignment	deferred until 2027-05-01		the kind of the item is unknown
#KWIJ	statement	Löwenheim–Skolem theorem	deferred until 2027-05-01		the item has its own article, page 341482
#LRK3	unknown	Many-sorted first-order logic	deferred until 2027-05-01		the kind of the item is unknown
#QMK6	statement	Equality and its axioms	deferred until 2027-05-01		the heading names more than one item
#SPEU	statement	Formulas	deferred until 2027-05-01		the heading is one word, so it names a part of the text and not one item
#X0RG	statement	Compactness theorem	deferred until 2027-05-01		the heading has a meaning only in its article

Refer to Wikipedia articles and their nodes for the other articles.