| rdfs:label |
"Heyting arithmetic"@en
|
|
skos:alt |
"Aritmetica de Heyting"@es |
| schema:description |
"axiomatization of arithmetic"@en
|
|
schema:date |
"2026-08-22T13:38:53+00:00"^^xsd:dateTime |
| schema:version | 2534833875 |
| wikibase:identifiers | 4 |
| wikibase:sitelinks | 6 |
| wikibase:statements | 6 |
| p:P138 | wd:statement/q5548813-b10ad541-4eeb-a2a9-49b5-b91c8669c8ed |
| p:P31 | wd:statement/Q5548813-b858c199-4e2e-d613-9b23-cd123329a1ef |
| p:P3827 | wd:statement/Q5548813-4A0B4D74-E5F8-44D3-A909-A544C8B2C313 |
| p:P4215 | wd:statement/Q5548813-4D8485C2-55A3-4372-B472-BBC56ED2E2BF |
| p:P6366 | wd:statement/Q5548813-7CFCA533-3C99-4B12-92EE-848EAC1E06E1 |
| p:P646 | wd:statement/Q5548813-683577BD-90FD-4F05-B13E-2CEA571D41C0 |
|
p:direct- |
<https:/ |
| wdt:P138 | Arend Heyting |
| wdt:P31 | scientific theory |
| wdt:P3827 | "heyting-arithmetic" |
| wdt:P4215 | "Heyting arithmetic" |
| wdt:P6366 | "11966904" |
| wdt:P646 | "/m/07m609" |
Download as: