SHMARQL

intuitionistic logic

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

various systems of symbolic logic
rdfs:label
"intuitionistic logic"@en
skos:altLabel
"constructive logic"@en
schema:description
"various systems of symbolic logic"@en
schema:dateModified "2025-11-25T18:34:33+00:00"^^xsd:dateTime
schema:version 2433918370
wikibase:identifiers 15
wikibase:sitelinks 23
wikibase:statements 22
p:P10283 wd:statement/Q176786-A28B6146-DC04-4AD2-954C-8515530E8DDA
p:P10376 wd:statement/Q176786-a3d34435-4a73-7165-7ba1-b21b497e9946
wd:statement/Q176786-f7cc0d3e-4c74-d008-70e8-93a11acb4069
p:P1051 wd:statement/Q176786-B02DF9DA-CB04-4CF5-9DDC-444979389D5E
p:P1269 wd:statement/Q176786-FCB50928-4A54-4A70-A5E8-1B2B66209450
p:P1343 wd:statement/Q176786-1bb9b56e-a49e-43b1-9a05-40d9802a7f9a
p:P1417 wd:statement/Q176786-73947169-1F32-4A05-A5C3-A8E0AA5C5219
p:P1889 wd:statement/Q176786-D5E52A6D-D514-4092-8646-A76544F67AE9
p:P227 wd:statement/Q176786-c099df72-492c-a941-328b-9468a99c0433
p:P2579 wd:statement/Q176786-041C6288-CA1D-4F53-A7F4-AB2AF0775C2A
p:P2812 wd:statement/Q176786-D6CA0BC0-1C93-4218-A8F4-25C50667A94F
p:P31 wd:statement/Q176786-C732C0F9-BC9F-4A8F-B785-3D557546B915
p:P3123 wd:statement/Q176786-5821bd19-496e-1363-78b7-75afa0bbbc3d
p:P3827 wd:statement/Q176786-A9C414D8-C832-45D4-A532-60BF43A20A82
p:P4215 wd:statement/Q176786-47E387BA-66D8-4CF1-BB01-D790AE81316B
p:P6104 wd:statement/Q176786-BAB2E0B2-6998-4D5A-BB3B-CD9F69172D1B
p:P6366 wd:statement/Q176786-39C7FEC2-EBCD-41FD-9157-F7235CAC7318
p:P646 wd:statement/Q176786-FF824C78-B668-4379-BA3E-AA0E9521CBEF
p:P6900 wd:statement/Q176786-7e54ff79-416b-594c-ffb0-0b3d776189eb
p:P7726 wd:statement/Q176786-57088c9a-4974-5ff9-1806-61d2a64a696b
p:P8313 wd:statement/Q176786-9d320b9d-4a77-d227-dc55-7e2fdc532436
p:P910 wd:statement/Q176786-E31B686A-0084-4DA4-BFEB-929A28D06C22
p:direct-normalized/P227 <https://d-nb.info/gnd/4162199-2>
p:direct-normalized/P6366 <https://makg.org/entity/178421362>
wdt:P10283 "C178421362"
wdt:P10376 "computer-science/intuitionistic-logic"
"mathematics/intuitionistic-logic"
wdt:P1051 "7105"
wdt:P1269 logic
wdt:P1343 Armenian Soviet Encyclopedia, vol. 5
wdt:P1417 "topic/intuitionistic-calculus"
wdt:P1889 intuitionism
wdt:P227 "4162199-2"
wdt:P2579 logic
wdt:P2812 "IntuitionisticLogic"
wdt:P31 specialized term
wdt:P3123 "logic-intuitionistic"
wdt:P3827 "intuitionistic-logic"
wdt:P4215 "intuitionistic logic"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "178421362"
wdt:P646 "/m/016p04"
wdt:P6900 "直観主義"
wdt:P7726 "IntuitionisticLogic"
wdt:P8313 "intuitionistisk_logik"
wdt:P910 wd:Q32794654
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata