| rdfs:label |
"Frege system"@en
|
| schema:description | "propositional proof system"@en |
|
schema:date |
"2026-08-03T16:49:08+00:00"^^xsd:dateTime |
| schema:version | 2526800487 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 2 |
| wikibase:statements | 3 |
| p:P31 | wd:statement/Q5501318-237e3f09-4292-ad71-4969-a24b72cb2c8e |
| p:P6366 | wd:statement/Q5501318-59FCA5EF-B5A7-427E-892F-41D8442DD214 |
| p:P646 | wd:statement/Q5501318-F9715BFC-B103-4055-922B-EE657D7F5B59 |
|
p:direct- |
<https:/ |
| wdt:P31 | mathematical method |
| wdt:P6366 | "2780324505" |
| wdt:P646 | "/m/0cc5yt0" |
Download as: