zeroth-order logic
first-order logic without variables or quantifiers
| rdfs:label |
"zeroth-order logic"@en
|
| schema:description |
"first-order logic without variables or quantifiers"@en
|
|
schema:date |
"2025-10-07T15:01:57+00:00"^^xsd:dateTime |
| schema:version | 2413734330 |
| wikibase:identifiers | 3 |
| wikibase:sitelinks | 5 |
| wikibase:statements | 5 |
| p:P10283 | wd:statement/Q8069651-57137811-1B73-4F23-8FC2-0F5CD5AFEA3C |
| p:P1889 | wd:statement/Q8069651-db1d988b-48a2-841e-eeff-b48f72014eb8 |
| p:P279 | wd:statement/Q8069651-ff97775e-4f39-e561-87b3-e490cc2c9cd1 |
| p:P6366 | wd:statement/Q8069651-FB5198BD-C400-4E07-B016-1250BD300CB2 |
| p:P646 | wd:statement/Q8069651-46B70A85-B71A-4303-9E42-BC7105D66B11 |
|
p:direct- |
<https:/ |
| wdt:P10283 | "C110039528" |
| wdt:P1889 | propositional calculus |
| wdt:P279 | first-order logic |
| wdt:P6366 | "110039528" |
| wdt:P646 | "/m/09x6yj" |
Download as: