SHMARQL

bottom type

<http://www.wikidata.org/entity/Q3546108>

type that is the subtype of all other types; equivalent to the empty type if uninhabited
rdfs:label
"bottom type"@en
skos:altLabel
"empty type"@en
"zero type"@en
schema:description
"type that is the subtype of all other types; equivalent to the empty type if uninhabited"@en
schema:dateModified "2026-05-17T22:25:24+00:00"^^xsd:dateTime
schema:version 2493408803
wikibase:identifiers 2
wikibase:sitelinks 4
wikibase:statements 10
p:P1382 wd:statement/Q3546108-74aee249-4633-740b-267a-534a7208ab86
p:P1889 wd:statement/Q3546108-3c9f866f-4cc0-6369-069e-052b3adb3503
p:P2579 wd:statement/Q3546108-d4c4efed-4b01-0219-9807-5577f7f532ec
p:P279 wd:statement/Q3546108-11e6d4c5-4866-14d4-e83d-ddc56250a3df
p:P2820 wd:statement/Q3546108-2c972532-4d98-7624-11a9-73e6fb377448
p:P31 wd:statement/Q3546108-a0da2154-4372-2ac3-13d7-2e340a5b5b2c
p:P461 wd:statement/Q3546108-3dff1620-4d43-57f0-d6c3-45619e14989d
p:P6366 wd:statement/Q3546108-E312A231-9BB0-4BFC-879A-8798D1B41113
p:P646 wd:statement/Q3546108-9E6B0233-B562-47E2-9823-ECDD1D52964A
p:P913 wd:statement/Q3546108-c16ad6d4-4eff-93b8-0b87-c914239364e6
p:direct-normalized/P6366 <https://makg.org/entity/2776722363>
wdt:P1382 empty type
wdt:P1889 element
wdt:P2579 type theory
wdt:P279 data type
wdt:P2820 zero
wdt:P31 initial object
wdt:P461 top type
wdt:P6366 "2776722363"
wdt:P646 "/m/0b5h1x"
wdt:P913 up tack
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata