| rdfs:label |
"Gentzen's consistency proof"@en
|
|
skos:alt |
"ゲンツェンによる無矛盾性の証明"@ja |
| "ゲンツェンの無矛盾性証明"@ja | |
| schema:description |
"mathematical logic concept"@en
|
|
schema:date |
"2026-03-18T20:11:45+00:00"^^xsd:dateTime |
| schema:version | 2473378961 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 3 |
| wikibase:statements | 3 |
| p:P31 | wd:statement/Q5533794-5549510c-46af-297a-42c6-7409018bb44b |
| p:P6366 | wd:statement/Q5533794-41136C00-53CA-4CEF-9695-687BDB6A7DC2 |
| p:P646 | wd:statement/Q5533794-FFFF12D7-D1E5-4CE3-93D9-5F0522890BAB |
|
p:direct- |
<https:/ |
| wdt:P31 | mathematical concept |
| wdt:P6366 | "111687232" |
| wdt:P646 | "/m/0bgwt8" |
Download as: