SHMARQL

proof theory

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

branch of mathematical logic
rdfs:label
"proof theory"@en
skos:altLabel
"proof systems"@en
schema:description
"branch of mathematical logic"@en
schema:dateModified "2026-10-22T15:16:17+00:00"^^xsd:dateTime
schema:version 2559699062
wikibase:identifiers 29
wikibase:sitelinks 30
wikibase:statements 37
p:P10283 wd:statement/Q852732-80BC137B-9B33-4C51-B9B1-3AC022B06CC8
p:P1036 wd:statement/Q852732-1B6C3412-6B94-47D7-81B2-B57F1379C74C
p:P1149 wd:statement/Q852732-90522def-4f9d-876a-8851-a6840f3704e9
p:P13591 wd:statement/Q852732-5E00CF02-18EC-4D8E-8A4D-EA0343E6DC88
p:P1368 wd:statement/Q852732-17e8b4c3-401e-fc9a-042d-876b865fcf07
p:P13772 wd:statement/Q852732-7426E588-A36D-46E3-BAE0-A7A9D54F55B9
p:P1482 wd:statement/Q852732-0b192980-4526-1469-cb06-e855b882ab83
p:P2179 wd:statement/Q852732-AB8B5461-0520-4E4A-880E-38BF23B41745
p:P227 wd:statement/Q852732-70706296-476a-edf8-b110-b99ec2cb05e3
p:P2347 wd:statement/Q852732-0C94946D-4C30-4418-8CAF-0EE99EE2E449
p:P244 wd:statement/Q852732-7db2f6cf-51a2-4e84-ad05-d2605ef9a082
p:P2578 wd:statement/Q852732-8effda35-4c77-82ac-79ee-f1806cd20e6f
p:P2671 wd:statement/Q852732-33782A82-FE12-4EFC-A0AA-8A4A2C9FB76D
p:P268 wd:statement/Q852732-2d31d7dc-4518-4549-9f64-76ded8daf789
p:P279 wd:statement/Q852732-1045cc37-4598-b047-8257-59d58c40d5df
p:P2812 wd:statement/Q852732-70B6B6D5-E215-4EA2-B51C-BD55339CF45F
p:P31 wd:statement/Q852732-FCE25090-3626-4D9C-8FAD-03A8CBA2613B
wd:statement/q852732-568ae2d7-4f2c-7e4a-f8a8-44b9649cb95d
p:P3123 wd:statement/Q852732-B5071CE4-8D83-435E-BAC6-5C7C8D5B46BD
wd:statement/Q852732-B6207CE4-A299-4524-AAC7-A9F5A44BF668
p:P3219 wd:statement/Q852732-0D0B744D-E0DF-4F3B-92E4-486A2E3B4282
wd:statement/Q852732-DEAFFD28-5FE2-4BBF-98AE-FF9BEDF125AF
p:P3285 wd:statement/Q852732-4dd79f5a-42ab-ce1e-6669-7b24c1892072
p:P349 wd:statement/Q852732-1DB8E118-0432-4E32-B8B0-66106C2B70E8
p:P3553 wd:statement/Q852732-92C21752-B6A2-4F58-BCBC-470B73AB337C
p:P3827 wd:statement/Q852732-A1BB7C4A-BAD2-45F5-897D-E6464A8530D3
p:P4215 wd:statement/Q852732-C1E1B45B-0422-4C5F-B313-46C689895BF7
p:P508 wd:statement/q852732-228DB505-15C1-4F78-BEB2-C2D41F172889
p:P6104 wd:statement/Q852732-811B8930-35C6-4295-B6ED-D63374BC76B3
p:P6366 wd:statement/Q852732-47D513EA-3DF9-4DD6-81FE-454B6D16CF0A
p:P646 wd:statement/Q852732-FFEF5EA2-F93B-4FD7-8433-10EBCB7256DC
p:P6781 wd:statement/Q852732-17e45da8-4a03-577e-65d7-ff0a89f29048
p:P691 wd:statement/Q852732-22F0A9F9-6D38-4155-960B-79AD86881292
p:P8189 wd:statement/Q852732-7281007E-7184-4B64-839F-083443954131
p:P8408 wd:statement/Q852732-2E14140F-690F-480D-9F00-D74ACF95F95E
p:P910 wd:statement/Q852732-4553FE69-2969-4B59-AB5A-2CE3C0EFDB03
p:P9322 wd:statement/Q852732-74E3B057-4382-4293-95E5-65C3FFBA5788
p:direct-normalized/P1149 <http://id.loc.gov/authorities/classification/QA9.54>
p:direct-normalized/P227 <https://d-nb.info/gnd/4145177-6>
p:direct-normalized/P2347 <http://www.yso.fi/onto/yso/p455>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85107437>
p:direct-normalized/P2671 <http://g.co/kg/g/12dpwymzg>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb122670310#about>
p:direct-normalized/P3285 <http://msc2010.org/resources/MSC/2010/03Fxx>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/01190375>
p:direct-normalized/P508 <http://purl.org/bncf/tid/4936>
p:direct-normalized/P6366 <https://makg.org/entity/2318724>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/ProofTheory>
wdt:P10283 "C2318724"
wdt:P1036 "511.36"
wdt:P1149 "QA9.54"
wdt:P13591 "concept/4230d2ca-e04a-4d90-88b4-aa1bccf58ad0"
wdt:P1368 "000137654"
wdt:P13772 "proof-theory"
wdt:P1482 <https://mathoverflow.net/tags/proof-theory>
wdt:P2179 "10003792"
wdt:P227 "4145177-6"
wdt:P2347 "455"
wdt:P244 "sh85107437"
wdt:P2578 mathematical proof
wdt:P2671 "/g/12dpwymzg"
wdt:P268 "122670310"
wdt:P279 mathematical logic
wdt:P2812 "ProofTheory"
wdt:P31 academic discipline
academic major
wdt:P3123 "proof-theory"
"proof-theory-development"
wdt:P3219 "theorie-de-la-demonstration"
"verite-mathematique"
wdt:P3285 "03Fxx"
wdt:P349 "01190375"
wdt:P3553 "19839268"
wdt:P3827 "proof-theory"
wdt:P4215 "proof theory"
wdt:P508 "4936"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "2318724"
wdt:P646 "/m/0191r1"
wdt:P6781 "Definition:Proof_Theory"
wdt:P691 "ph126551"
wdt:P8189 "987007541259805171"
wdt:P8408 "ProofTheory"
wdt:P910 Category:Proof theory
wdt:P9322 "0334109-teorie-dukazu"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata