Information for "First-order logic"

Basic information

Display title	First-order logic
Default sort key	First-Order Logic
Page length (in bytes)	94,321
Page ID	6906
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	10
Counted as a content page	Yes

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Anerdw
Date of page creation	19:08, 31 May 2025
Latest editor	imported>Anerdw
Date of latest edit	19:08, 31 May 2025
Total number of edits	1
Total number of distinct authors	1
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Transcluded templates (35)	Pages transcluded onto the current version of this page (help): Template:And (edit) Template:Citation (edit) Template:Citation needed (edit) Template:Cite SEP (edit) Template:Cite book (edit) Template:Cite web (edit) Template:Clarification needed (edit) Template:Colend (edit) Template:Cols (edit) Template:Doi (edit) Template:Formal languages (edit) Template:Further (edit) Template:ISBN (edit) Template:JSTOR (edit) Template:Logical connectives sidebar (edit) Template:Main (edit) Template:Math (edit) Template:Mathematical logic (edit) Template:Mvar (edit) Template:Nowrap (edit) Template:Portal (edit) Template:Redirect (edit) Template:Reflist (edit) Template:Rh (edit) Template:Rp (edit) Template:Sdash (edit) Template:Section link (edit) Template:See also (edit) Template:Seealso (edit) Template:Sfn (edit) Template:Short description (edit) Template:Springer (edit) Template:Tmath (edit) Template:Transformation rules (edit) Template:Unsourced section (edit)