@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ontolex: <http://www.w3.org/ns/lemon/ontolex#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix schema: <http://schema.org/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix data: <https://www.wikidata.org/wiki/Special:EntityData/> .
@prefix s: <http://www.wikidata.org/entity/statement/> .
@prefix ref: <http://www.wikidata.org/reference/> .
@prefix v: <http://www.wikidata.org/value/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix p: <http://www.wikidata.org/prop/> .
@prefix ps: <http://www.wikidata.org/prop/statement/> .
@prefix psv: <http://www.wikidata.org/prop/statement/value/> .
@prefix psn: <http://www.wikidata.org/prop/statement/value-normalized/> .
@prefix pq: <http://www.wikidata.org/prop/qualifier/> .
@prefix pqv: <http://www.wikidata.org/prop/qualifier/value/> .
@prefix pqn: <http://www.wikidata.org/prop/qualifier/value-normalized/> .
@prefix pr: <http://www.wikidata.org/prop/reference/> .
@prefix prv: <http://www.wikidata.org/prop/reference/value/> .
@prefix prn: <http://www.wikidata.org/prop/reference/value-normalized/> .
@prefix wdno: <http://www.wikidata.org/prop/novalue/> .

data:Q852732 a schema:Dataset ;
	schema:about wd:Q852732 ;
	cc:license <http://creativecommons.org/publicdomain/zero/1.0/> ;
	schema:softwareVersion "1.0.0" ;
	schema:version "2236961632"^^xsd:integer ;
	schema:dateModified "2024-08-26T21:45:08Z"^^xsd:dateTime ;
	wikibase:statements "31"^^xsd:integer ;
	wikibase:sitelinks "27"^^xsd:integer ;
	wikibase:identifiers "23"^^xsd:integer .

wd:Q852732 a wikibase:Item .

<https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "fr" ;
	schema:isPartOf <https://fr.wikipedia.org/> ;
	schema:name "Théorie de la démonstration"@fr .

<https://fr.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ar.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%A8%D8%B1%D9%87%D8%A7%D9%86> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "ar" ;
	schema:isPartOf <https://ar.wikipedia.org/> ;
	schema:name "نظرية البرهان"@ar .

<https://ar.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://nl.wikipedia.org/wiki/Bewijstheorie> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "nl" ;
	schema:isPartOf <https://nl.wikipedia.org/> ;
	schema:name "Bewijstheorie"@nl .

<https://nl.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ja.wikipedia.org/wiki/%E8%A8%BC%E6%98%8E%E8%AB%96> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "ja" ;
	schema:isPartOf <https://ja.wikipedia.org/> ;
	schema:name "証明論"@ja .

<https://ja.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://pt.wikipedia.org/wiki/Teoria_da_prova> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "pt" ;
	schema:isPartOf <https://pt.wikipedia.org/> ;
	schema:name "Teoria da prova"@pt .

<https://pt.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://it.wikipedia.org/wiki/Teoria_della_dimostrazione> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "it" ;
	schema:isPartOf <https://it.wikipedia.org/> ;
	schema:name "Teoria della dimostrazione"@it .

<https://it.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://pl.wikipedia.org/wiki/Teoria_dowodu> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "pl" ;
	schema:isPartOf <https://pl.wikipedia.org/> ;
	schema:name "Teoria dowodu"@pl .

<https://pl.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://fa.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%A8%D8%B1%D9%87%D8%A7%D9%86> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "fa" ;
	schema:isPartOf <https://fa.wikipedia.org/> ;
	schema:name "نظریه برهان"@fa .

<https://fa.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://de.wikipedia.org/wiki/Beweistheorie> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "de" ;
	schema:isPartOf <https://de.wikipedia.org/> ;
	schema:name "Beweistheorie"@de .

<https://de.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_demostraci%C3%B3n> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "es" ;
	schema:isPartOf <https://es.wikipedia.org/> ;
	schema:name "Teoría de la demostración"@es .

<https://es.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://en.wikipedia.org/wiki/Proof_theory> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "en" ;
	schema:isPartOf <https://en.wikipedia.org/> ;
	schema:name "Proof theory"@en .

<https://en.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://sv.wikipedia.org/wiki/Bevisteori> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "sv" ;
	schema:isPartOf <https://sv.wikipedia.org/> ;
	schema:name "Bevisteori"@sv .

<https://sv.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "ru" ;
	schema:isPartOf <https://ru.wikipedia.org/> ;
	schema:name "Теория доказательств"@ru .

<https://ru.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://zh.wikipedia.org/wiki/%E8%AF%81%E6%98%8E%E8%AE%BA> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "zh" ;
	schema:isPartOf <https://zh.wikipedia.org/> ;
	schema:name "证明论"@zh .

<https://zh.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://bn.wikipedia.org/wiki/%E0%A6%AA%E0%A7%8D%E0%A6%B0%E0%A6%AE%E0%A6%BE%E0%A6%A3_%E0%A6%A4%E0%A6%A4%E0%A7%8D%E0%A6%A4%E0%A7%8D%E0%A6%AC> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "bn" ;
	schema:isPartOf <https://bn.wikipedia.org/> ;
	schema:name "প্রমাণ তত্ত্ব"@bn .

<https://bn.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ko.wikipedia.org/wiki/%EC%A6%9D%EB%AA%85_%EC%9D%B4%EB%A1%A0> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "ko" ;
	schema:isPartOf <https://ko.wikipedia.org/> ;
	schema:name "증명 이론"@ko .

<https://ko.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://he.wikipedia.org/wiki/%D7%AA%D7%95%D7%A8%D7%AA_%D7%94%D7%94%D7%95%D7%9B%D7%97%D7%95%D7%AA> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "he" ;
	schema:isPartOf <https://he.wikipedia.org/> ;
	schema:name "תורת ההוכחות"@he .

<https://he.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ca.wikipedia.org/wiki/Teoria_de_la_demostraci%C3%B3> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "ca" ;
	schema:isPartOf <https://ca.wikipedia.org/> ;
	schema:name "Teoria de la demostració"@ca .

<https://ca.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://zh-classical.wikipedia.org/wiki/%E8%AD%89%E6%98%8E%E8%AB%96> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "lzh" ;
	schema:isPartOf <https://zh-classical.wikipedia.org/> ;
	schema:name "證明論"@lzh .

<https://zh-classical.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://uk.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%B4%D0%BE%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%BD%D1%8F> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "uk" ;
	schema:isPartOf <https://uk.wikipedia.org/> ;
	schema:name "Теорія доведення"@uk .

<https://uk.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://tr.wikipedia.org/wiki/Tan%C4%B1tlama_teorisi> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "tr" ;
	schema:isPartOf <https://tr.wikipedia.org/> ;
	schema:name "Tanıtlama teorisi"@tr .

<https://tr.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://my.wikipedia.org/wiki/%E1%80%9E%E1%80%80%E1%80%BA%E1%80%9E%E1%80%B1%E1%80%95%E1%80%BC%E1%80%81%E1%80%BB%E1%80%80%E1%80%BA%E1%80%9E%E1%80%AE%E1%80%A1%E1%80%AD%E1%80%AF%E1%80%9B%E1%80%AE> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "my" ;
	schema:isPartOf <https://my.wikipedia.org/> ;
	schema:name "သက်သေပြချက်သီအိုရီ"@my .

<https://my.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://hy.wikipedia.org/wiki/%D4%B1%D5%BA%D5%A1%D6%81%D5%B8%D6%82%D5%B5%D6%81%D5%B6%D5%A5%D6%80%D5%AB_%D5%BF%D5%A5%D5%BD%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "hy" ;
	schema:isPartOf <https://hy.wikipedia.org/> ;
	schema:name "Ապացույցների տեսություն"@hy .

<https://hy.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://af.wikipedia.org/wiki/Bewysteorie> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "af" ;
	schema:isPartOf <https://af.wikipedia.org/> ;
	schema:name "Bewysteorie"@af .

<https://af.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://vi.wikipedia.org/wiki/L%C3%BD_thuy%E1%BA%BFt_ch%E1%BB%A9ng_minh> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "vi" ;
	schema:isPartOf <https://vi.wikipedia.org/> ;
	schema:name "Lý thuyết chứng minh"@vi .

<https://vi.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://eo.wikipedia.org/wiki/Pruvteorio> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "eo" ;
	schema:isPartOf <https://eo.wikipedia.org/> ;
	schema:name "Pruvteorio"@eo .

<https://eo.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

<https://ps.wikipedia.org/wiki/%D8%AF_%D8%AB%D8%A8%D9%88%D8%AA_%D9%86%D8%B8%D8%B1%D9%8A%D9%87> a schema:Article ;
	schema:about wd:Q852732 ;
	schema:inLanguage "ps" ;
	schema:isPartOf <https://ps.wikipedia.org/> ;
	schema:name "د ثبوت نظريه"@ps .

<https://ps.wikipedia.org/> wikibase:wikiGroup "wikipedia" .

wd:Q852732 wdt:P508 "4936" ;
	wdtn:P508 <http://purl.org/bncf/tid/4936> ;
	wdt:P31 wd:Q11862829,
		wd:Q4671286 ;
	wdt:P910 wd:Q7452060 ;
	wdt:P646 "/m/0191r1" ;
	wdt:P279 wd:Q1166618 ;
	wdt:P3285 "03Fxx" ;
	wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03Fxx> ;
	wdt:P3827 "proof-theory" ;
	wdt:P2812 "ProofTheory" ;
	wdt:P3219 "theorie-de-la-demonstration",
		"verite-mathematique" ;
	wdt:P2179 "10003792" ;
	wdt:P3123 "proof-theory",
		"proof-theory-development" ;
	wdt:P6366 "2318724" ;
	wdtn:P6366 <https://makg.org/entity/2318724> ;
	wdt:P2578 wd:Q11538 ;
	wdt:P8408 "ProofTheory" ;
	wdtn:P8408 <http://kbpedia.org/kko/rc/ProofTheory> ;
	wdt:P4215 "proof theory" ;
	wdt:P268 "122670310" ;
	wdtn:P268 <http://data.bnf.fr/ark:/12148/cb122670310#about> ;
	wdt:P244 "sh85107437" ;
	wdtn:P244 <http://id.loc.gov/authorities/names/sh85107437> ;
	wdt:P3553 "19839268" ;
	wdt:P8189 "987007541259805171" ;
	wdt:P10283 "C2318724" ;
	wdt:P2347 "455" ;
	wdtn:P2347 <http://www.yso.fi/onto/yso/p455> ;
	wdt:P349 "01190375" ;
	wdtn:P349 <http://id.ndl.go.jp/auth/ndlna/01190375> ;
	wdt:P1368 "000137654" ;
	wdt:P691 "ph126551" ;
	wdt:P1482 <https://mathoverflow.net/tags/proof-theory> ;
	wdt:P6104 wd:Q8487137 ;
	wdt:P6781 "Definition:Proof_Theory" ;
	wdt:P2671 "/g/12dpwymzg" ;
	wdtn:P2671 <http://g.co/kg/g/12dpwymzg> ;
	p:P508 s:q852732-228DB505-15C1-4F78-BEB2-C2D41F172889 .

s:q852732-228DB505-15C1-4F78-BEB2-C2D41F172889 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P508 "4936" ;
	psn:P508 <http://purl.org/bncf/tid/4936> ;
	prov:wasDerivedFrom ref:ff65511d37e885bcf005b99c2241192548c3f03a .

wd:Q852732 p:P31 s:q852732-568ae2d7-4f2c-7e4a-f8a8-44b9649cb95d .

s:q852732-568ae2d7-4f2c-7e4a-f8a8-44b9649cb95d a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P31 wd:Q11862829 .

wd:Q852732 p:P31 s:Q852732-FCE25090-3626-4D9C-8FAD-03A8CBA2613B .

s:Q852732-FCE25090-3626-4D9C-8FAD-03A8CBA2613B a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P31 wd:Q4671286 .

wd:Q852732 p:P910 s:Q852732-4553FE69-2969-4B59-AB5A-2CE3C0EFDB03 .

s:Q852732-4553FE69-2969-4B59-AB5A-2CE3C0EFDB03 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P910 wd:Q7452060 .

wd:Q852732 p:P646 s:Q852732-FFEF5EA2-F93B-4FD7-8433-10EBCB7256DC .

s:Q852732-FFEF5EA2-F93B-4FD7-8433-10EBCB7256DC a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P646 "/m/0191r1" ;
	prov:wasDerivedFrom ref:2b00cb481cddcac7623114367489b5c194901c4a .

wd:Q852732 p:P279 s:Q852732-1045cc37-4598-b047-8257-59d58c40d5df .

s:Q852732-1045cc37-4598-b047-8257-59d58c40d5df a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P279 wd:Q1166618 .

wd:Q852732 p:P3285 s:Q852732-4dd79f5a-42ab-ce1e-6669-7b24c1892072 .

s:Q852732-4dd79f5a-42ab-ce1e-6669-7b24c1892072 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3285 "03Fxx" ;
	psn:P3285 <http://msc2010.org/resources/MSC/2010/03Fxx> .

wd:Q852732 p:P3827 s:Q852732-A1BB7C4A-BAD2-45F5-897D-E6464A8530D3 .

s:Q852732-A1BB7C4A-BAD2-45F5-897D-E6464A8530D3 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3827 "proof-theory" .

wd:Q852732 p:P2812 s:Q852732-70B6B6D5-E215-4EA2-B51C-BD55339CF45F .

s:Q852732-70B6B6D5-E215-4EA2-B51C-BD55339CF45F a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2812 "ProofTheory" ;
	prov:wasDerivedFrom ref:a29a646602abf65105ed0f39a44231c962ece9ee .

wd:Q852732 p:P3219 s:Q852732-0D0B744D-E0DF-4F3B-92E4-486A2E3B4282 .

s:Q852732-0D0B744D-E0DF-4F3B-92E4-486A2E3B4282 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3219 "theorie-de-la-demonstration" .

wd:Q852732 p:P3219 s:Q852732-DEAFFD28-5FE2-4BBF-98AE-FF9BEDF125AF .

s:Q852732-DEAFFD28-5FE2-4BBF-98AE-FF9BEDF125AF a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3219 "verite-mathematique" .

wd:Q852732 p:P2179 s:Q852732-AB8B5461-0520-4E4A-880E-38BF23B41745 .

s:Q852732-AB8B5461-0520-4E4A-880E-38BF23B41745 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2179 "10003792" .

wd:Q852732 p:P3123 s:Q852732-B5071CE4-8D83-435E-BAC6-5C7C8D5B46BD .

s:Q852732-B5071CE4-8D83-435E-BAC6-5C7C8D5B46BD a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3123 "proof-theory" .

wd:Q852732 p:P3123 s:Q852732-B6207CE4-A299-4524-AAC7-A9F5A44BF668 .

s:Q852732-B6207CE4-A299-4524-AAC7-A9F5A44BF668 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3123 "proof-theory-development" .

wd:Q852732 p:P6366 s:Q852732-47D513EA-3DF9-4DD6-81FE-454B6D16CF0A .

s:Q852732-47D513EA-3DF9-4DD6-81FE-454B6D16CF0A a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6366 "2318724" ;
	psn:P6366 <https://makg.org/entity/2318724> .

wd:Q852732 p:P2578 s:Q852732-8effda35-4c77-82ac-79ee-f1806cd20e6f .

s:Q852732-8effda35-4c77-82ac-79ee-f1806cd20e6f a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2578 wd:Q11538 .

wd:Q852732 p:P8408 s:Q852732-2E14140F-690F-480D-9F00-D74ACF95F95E .

s:Q852732-2E14140F-690F-480D-9F00-D74ACF95F95E a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P8408 "ProofTheory" ;
	psn:P8408 <http://kbpedia.org/kko/rc/ProofTheory> ;
	prov:wasDerivedFrom ref:9a681f9dd95c90224547c404e11295f4f7dcf54e .

wd:Q852732 p:P4215 s:Q852732-C1E1B45B-0422-4C5F-B313-46C689895BF7 .

s:Q852732-C1E1B45B-0422-4C5F-B313-46C689895BF7 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P4215 "proof theory" .

wd:Q852732 p:P268 s:Q852732-2d31d7dc-4518-4549-9f64-76ded8daf789 .

s:Q852732-2d31d7dc-4518-4549-9f64-76ded8daf789 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P268 "122670310" ;
	psn:P268 <http://data.bnf.fr/ark:/12148/cb122670310#about> ;
	pq:P1810 "Théorie de la démonstration" ;
	prov:wasDerivedFrom ref:bb26a730ed734205aecf8185fd5bec458e13839d .

wd:Q852732 p:P244 s:Q852732-7db2f6cf-51a2-4e84-ad05-d2605ef9a082 .

s:Q852732-7db2f6cf-51a2-4e84-ad05-d2605ef9a082 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P244 "sh85107437" ;
	psn:P244 <http://id.loc.gov/authorities/names/sh85107437> ;
	pq:P1810 "Proof theory" ;
	prov:wasDerivedFrom ref:bb26a730ed734205aecf8185fd5bec458e13839d .

wd:Q852732 p:P3553 s:Q852732-92C21752-B6A2-4F58-BCBC-470B73AB337C .

s:Q852732-92C21752-B6A2-4F58-BCBC-470B73AB337C a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P3553 "19839268" ;
	pq:P1810 "证明论" .

wd:Q852732 p:P8189 s:Q852732-7281007E-7184-4B64-839F-083443954131 .

s:Q852732-7281007E-7184-4B64-839F-083443954131 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P8189 "987007541259805171" ;
	prov:wasDerivedFrom ref:c8a47202c92936005b390eb36ddd267921b51f43 .

wd:Q852732 p:P10283 s:Q852732-80BC137B-9B33-4C51-B9B1-3AC022B06CC8 .

s:Q852732-80BC137B-9B33-4C51-B9B1-3AC022B06CC8 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P10283 "C2318724" ;
	prov:wasDerivedFrom ref:c13ba4d7902ead2693f79396bc25bd35d4d14030 .

wd:Q852732 p:P2347 s:Q852732-0C94946D-4C30-4418-8CAF-0EE99EE2E449 .

s:Q852732-0C94946D-4C30-4418-8CAF-0EE99EE2E449 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2347 "455" ;
	psn:P2347 <http://www.yso.fi/onto/yso/p455> ;
	pq:P1810 "todistusteoria",
		"bevisteori",
		"proof theory" ;
	prov:wasDerivedFrom ref:a5327c7d451b92419149e391f1e51131a370da6f .

wd:Q852732 p:P349 s:Q852732-1DB8E118-0432-4E32-B8B0-66106C2B70E8 .

s:Q852732-1DB8E118-0432-4E32-B8B0-66106C2B70E8 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P349 "01190375" ;
	psn:P349 <http://id.ndl.go.jp/auth/ndlna/01190375> ;
	pq:P1810 "証明 (数学)" .

wd:Q852732 p:P1368 s:Q852732-17e8b4c3-401e-fc9a-042d-876b865fcf07 .

s:Q852732-17e8b4c3-401e-fc9a-042d-876b865fcf07 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1368 "000137654" .

wd:Q852732 p:P691 s:Q852732-22F0A9F9-6D38-4155-960B-79AD86881292 .

s:Q852732-22F0A9F9-6D38-4155-960B-79AD86881292 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P691 "ph126551" ;
	pq:P1810 "teorie důkazu" .

wd:Q852732 p:P1482 s:Q852732-0b192980-4526-1469-cb06-e855b882ab83 .

s:Q852732-0b192980-4526-1469-cb06-e855b882ab83 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P1482 <https://mathoverflow.net/tags/proof-theory> .

wd:Q852732 p:P6104 s:Q852732-811B8930-35C6-4295-B6ED-D63374BC76B3 .

s:Q852732-811B8930-35C6-4295-B6ED-D63374BC76B3 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6104 wd:Q8487137 .

wd:Q852732 p:P6781 s:Q852732-17e45da8-4a03-577e-65d7-ff0a89f29048 .

s:Q852732-17e45da8-4a03-577e-65d7-ff0a89f29048 a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P6781 "Definition:Proof_Theory" .

wd:Q852732 p:P2671 s:Q852732-33782A82-FE12-4EFC-A0AA-8A4A2C9FB76D .

s:Q852732-33782A82-FE12-4EFC-A0AA-8A4A2C9FB76D a wikibase:Statement,
		wikibase:BestRank ;
	wikibase:rank wikibase:NormalRank ;
	ps:P2671 "/g/12dpwymzg" ;
	psn:P2671 <http://g.co/kg/g/12dpwymzg> .

wd:Q852732 rdfs:label "теория доказательств"@ru ;
	skos:prefLabel "теория доказательств"@ru ;
	schema:name "теория доказательств"@ru ;
	rdfs:label "théorie de la démonstration"@fr ;
	skos:prefLabel "théorie de la démonstration"@fr ;
	schema:name "théorie de la démonstration"@fr ;
	rdfs:label "proof theory"@en ;
	skos:prefLabel "proof theory"@en ;
	schema:name "proof theory"@en ;
	rdfs:label "证明论"@zh ;
	skos:prefLabel "证明论"@zh ;
	schema:name "证明论"@zh ;
	rdfs:label "teoria da prova"@pt ;
	skos:prefLabel "teoria da prova"@pt ;
	schema:name "teoria da prova"@pt ;
	rdfs:label "প্রমাণ তত্ত্ব"@bn ;
	skos:prefLabel "প্রমাণ তত্ত্ব"@bn ;
	schema:name "প্রমাণ তত্ত্ব"@bn ;
	rdfs:label "Beweistheorie"@de ;
	skos:prefLabel "Beweistheorie"@de ;
	schema:name "Beweistheorie"@de ;
	rdfs:label "증명 이론"@ko ;
	skos:prefLabel "증명 이론"@ko ;
	schema:name "증명 이론"@ko ;
	rdfs:label "bevisteori"@sv ;
	skos:prefLabel "bevisteori"@sv ;
	schema:name "bevisteori"@sv ;
	rdfs:label "teoria della dimostrazione"@it ;
	skos:prefLabel "teoria della dimostrazione"@it ;
	schema:name "teoria della dimostrazione"@it ;
	rdfs:label "نظریه برهان"@fa ;
	skos:prefLabel "نظریه برهان"@fa ;
	schema:name "نظریه برهان"@fa ;
	rdfs:label "نظرية البرهان"@ar ;
	skos:prefLabel "نظرية البرهان"@ar ;
	schema:name "نظرية البرهان"@ar ;
	rdfs:label "teoria dowodu"@pl ;
	skos:prefLabel "teoria dowodu"@pl ;
	schema:name "teoria dowodu"@pl ;
	rdfs:label "bewijstheorie"@nl ;
	skos:prefLabel "bewijstheorie"@nl ;
	schema:name "bewijstheorie"@nl ;
	rdfs:label "証明論"@ja ;
	skos:prefLabel "証明論"@ja ;
	schema:name "証明論"@ja ;
	rdfs:label "teoría de la demostración"@es ;
	skos:prefLabel "teoría de la demostración"@es ;
	schema:name "teoría de la demostración"@es ;
	rdfs:label "תורת ההוכחות"@he ;
	skos:prefLabel "תורת ההוכחות"@he ;
	schema:name "תורת ההוכחות"@he ;
	rdfs:label "teoria de la demostració"@ca ;
	skos:prefLabel "teoria de la demostració"@ca ;
	schema:name "teoria de la demostració"@ca ;
	rdfs:label "证明论"@zh-hans ;
	skos:prefLabel "证明论"@zh-hans ;
	schema:name "证明论"@zh-hans ;
	rdfs:label "теорія доведення"@uk ;
	skos:prefLabel "теорія доведення"@uk ;
	schema:name "теорія доведення"@uk ;
	rdfs:label "теорија доказа"@sr ;
	skos:prefLabel "теорија доказа"@sr ;
	schema:name "теорија доказа"@sr ;
	rdfs:label "теорија доказа"@sr-ec ;
	skos:prefLabel "теорија доказа"@sr-ec ;
	schema:name "теорија доказа"@sr-ec ;
	rdfs:label "teorija dokaza"@sr-el ;
	skos:prefLabel "teorija dokaza"@sr-el ;
	schema:name "teorija dokaza"@sr-el ;
	rdfs:label "證明論"@lzh ;
	skos:prefLabel "證明論"@lzh ;
	schema:name "證明論"@lzh ;
	rdfs:label "Tanıtlama teorisi"@tr ;
	skos:prefLabel "Tanıtlama teorisi"@tr ;
	schema:name "Tanıtlama teorisi"@tr ;
	rdfs:label "သက်သေပြချက်သီအိုရီ"@my ;
	skos:prefLabel "သက်သေပြချက်သီအိုရီ"@my ;
	schema:name "သက်သေပြချက်သီအိုရီ"@my ;
	rdfs:label "語法地"@zh-hant ;
	skos:prefLabel "語法地"@zh-hant ;
	schema:name "語法地"@zh-hant ;
	rdfs:label "语法地"@zh-cn ;
	skos:prefLabel "语法地"@zh-cn ;
	schema:name "语法地"@zh-cn ;
	rdfs:label "Ապացույցների տեսություն"@hy ;
	skos:prefLabel "Ապացույցների տեսություն"@hy ;
	schema:name "Ապացույցների տեսություն"@hy ;
	rdfs:label "pruvoteorio"@eo ;
	skos:prefLabel "pruvoteorio"@eo ;
	schema:name "pruvoteorio"@eo ;
	rdfs:label "Bewysteorie"@af ;
	skos:prefLabel "Bewysteorie"@af ;
	schema:name "Bewysteorie"@af ;
	rdfs:label "lý thuyết chứng minh"@vi ;
	skos:prefLabel "lý thuyết chứng minh"@vi ;
	schema:name "lý thuyết chứng minh"@vi ;
	rdfs:label "تيوري بوقتي"@ms-arab ;
	skos:prefLabel "تيوري بوقتي"@ms-arab ;
	schema:name "تيوري بوقتي"@ms-arab ;
	rdfs:label "teori bukti"@ms ;
	skos:prefLabel "teori bukti"@ms ;
	schema:name "teori bukti"@ms ;
	rdfs:label "teòria de ła demostrasion"@vec ;
	skos:prefLabel "teòria de ła demostrasion"@vec ;
	schema:name "teòria de ła demostrasion"@vec ;
	rdfs:label "د ثبوت نظريه"@ps ;
	skos:prefLabel "د ثبوت نظريه"@ps ;
	schema:name "د ثبوت نظريه"@ps ;
	rdfs:label "todistusteoria"@fi ;
	skos:prefLabel "todistusteoria"@fi ;
	schema:name "todistusteoria"@fi ;
	rdfs:label "teorie důkazu"@cs ;
	skos:prefLabel "teorie důkazu"@cs ;
	schema:name "teorie důkazu"@cs ;
	rdfs:label "teoria demonstrației"@ro ;
	skos:prefLabel "teoria demonstrației"@ro ;
	schema:name "teoria demonstrației"@ro ;
	rdfs:label "teorija dokazov"@sl ;
	skos:prefLabel "teorija dokazov"@sl ;
	schema:name "teorija dokazov"@sl ;
	rdfs:label "тэорыя доказаў"@be-tarask ;
	skos:prefLabel "тэорыя доказаў"@be-tarask ;
	schema:name "тэорыя доказаў"@be-tarask ;
	rdfs:label "Beweistheorie"@lb ;
	skos:prefLabel "Beweistheorie"@lb ;
	schema:name "Beweistheorie"@lb ;
	rdfs:label "tõestusteooria"@et ;
	skos:prefLabel "tõestusteooria"@et ;
	schema:name "tõestusteooria"@et ;
	schema:description "branch of mathematical logic"@en,
		"သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု"@my,
		"fako de matematika logiko"@eo,
		"Teilgebiet der mathematischen Logik"@de,
		"数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野"@ja,
		"গাণিতিক যুক্তির শাখা"@bn,
		"rama de la lógica matemática"@es,
		"раздел математической логики"@ru,
		"branche de la logique mathématique"@fr,
		"ramură a logicii matematice"@ro,
		"ענף בלוגיקה מתמטית"@he,
		"dział logiki matematycznej"@pl,
		"Deelgebitt vun der Mathematescher Logik"@lb,
		"matemaatilise loogika valdkond"@et ;
	skos:altLabel "математическая теория доказательств"@ru,
		"théorie de la preuve"@fr,
		"验证理论"@zh,
		"증명이론"@ko,
		"증명론"@ko,
		"نظریه اثبات"@fa,
		"تئوری اثبات"@fa,
		"نظریهٔ برهان"@fa,
		"نظريه البرهان"@ar,
		"証明理論"@ja,
		"証明 (数学)"@ja,
		"teoría de la prueba"@es,
		"teoria de la prueba"@es,
		"teoria de la demostracion"@es,
		"teoria de la demostración"@es,
		"teoría de la demostracion"@es,
		"תורת ההוכחה"@he,
		"pruvteorio"@eo,
		"lí thuyết chứng minh"@vi,
		"teorija dokaza"@sl,
		"Теорія доказів"@uk .

wd:P508 a wikibase:Property ;
	rdfs:label "BNCF Thesaurus ID"@en ;
	skos:prefLabel "BNCF Thesaurus ID"@en ;
	schema:name "BNCF Thesaurus ID"@en ;
	schema:description "identifier in the subject indexing tool of the National Central Library of Florence"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P508 ;
	wikibase:claim p:P508 ;
	wikibase:statementProperty ps:P508 ;
	wikibase:statementValue psv:P508 ;
	wikibase:qualifier pq:P508 ;
	wikibase:qualifierValue pqv:P508 ;
	wikibase:reference pr:P508 ;
	wikibase:referenceValue prv:P508 ;
	wikibase:novalue wdno:P508 ;
	wikibase:directClaimNormalized wdtn:P508 ;
	wikibase:statementValueNormalized psn:P508 ;
	wikibase:qualifierValueNormalized pqn:P508 ;
	wikibase:referenceValueNormalized prn:P508 .

p:P508 a owl:ObjectProperty .

psv:P508 a owl:ObjectProperty .

pqv:P508 a owl:ObjectProperty .

prv:P508 a owl:ObjectProperty .

wdt:P508 a owl:DatatypeProperty .

ps:P508 a owl:DatatypeProperty .

pq:P508 a owl:DatatypeProperty .

pr:P508 a owl:DatatypeProperty .

psn:P508 a owl:ObjectProperty .

pqn:P508 a owl:ObjectProperty .

prn:P508 a owl:ObjectProperty .

wdtn:P508 a owl:ObjectProperty .

wdno:P508 a owl:Class ;
	owl:complementOf _:5fd266465d236ed65347f82b760ee461 .

_:5fd266465d236ed65347f82b760ee461 a owl:Restriction ;
	owl:onProperty wdt:P508 ;
	owl:someValuesFrom owl:Thing .

wd:Q11862829 a wikibase:Item ;
	rdfs:label "academic discipline"@en ;
	skos:prefLabel "academic discipline"@en ;
	schema:name "academic discipline"@en ;
	schema:description "academic field of study or profession"@en .

wd:P31 a wikibase:Property ;
	rdfs:label "instance of"@en ;
	skos:prefLabel "instance of"@en ;
	schema:name "instance of"@en ;
	schema:description "that class of which this subject is a particular example and member; different from P279 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P31 ;
	wikibase:claim p:P31 ;
	wikibase:statementProperty ps:P31 ;
	wikibase:statementValue psv:P31 ;
	wikibase:qualifier pq:P31 ;
	wikibase:qualifierValue pqv:P31 ;
	wikibase:reference pr:P31 ;
	wikibase:referenceValue prv:P31 ;
	wikibase:novalue wdno:P31 .

p:P31 a owl:ObjectProperty .

psv:P31 a owl:ObjectProperty .

pqv:P31 a owl:ObjectProperty .

prv:P31 a owl:ObjectProperty .

wdt:P31 a owl:ObjectProperty .

ps:P31 a owl:ObjectProperty .

pq:P31 a owl:ObjectProperty .

pr:P31 a owl:ObjectProperty .

wdno:P31 a owl:Class ;
	owl:complementOf _:0b8bd71b926a65ca3fa72e5d9103e4d6 .

_:0b8bd71b926a65ca3fa72e5d9103e4d6 a owl:Restriction ;
	owl:onProperty wdt:P31 ;
	owl:someValuesFrom owl:Thing .

wd:Q4671286 a wikibase:Item ;
	rdfs:label "academic major"@en ;
	skos:prefLabel "academic major"@en ;
	schema:name "academic major"@en ;
	schema:description "focus of academic study leading to a degree"@en .

wd:Q7452060 a wikibase:Item ;
	rdfs:label "Category:Proof theory"@en ;
	skos:prefLabel "Category:Proof theory"@en ;
	schema:name "Category:Proof theory"@en ;
	schema:description "Wikimedia category"@en .

wd:P910 a wikibase:Property ;
	rdfs:label "topic's main category"@en ;
	skos:prefLabel "topic's main category"@en ;
	schema:name "topic's main category"@en ;
	schema:description "main Wikimedia category"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P910 ;
	wikibase:claim p:P910 ;
	wikibase:statementProperty ps:P910 ;
	wikibase:statementValue psv:P910 ;
	wikibase:qualifier pq:P910 ;
	wikibase:qualifierValue pqv:P910 ;
	wikibase:reference pr:P910 ;
	wikibase:referenceValue prv:P910 ;
	wikibase:novalue wdno:P910 .

p:P910 a owl:ObjectProperty .

psv:P910 a owl:ObjectProperty .

pqv:P910 a owl:ObjectProperty .

prv:P910 a owl:ObjectProperty .

wdt:P910 a owl:ObjectProperty .

ps:P910 a owl:ObjectProperty .

pq:P910 a owl:ObjectProperty .

pr:P910 a owl:ObjectProperty .

wdno:P910 a owl:Class ;
	owl:complementOf _:06be9361e78d041ce01df69013cf6906 .

_:06be9361e78d041ce01df69013cf6906 a owl:Restriction ;
	owl:onProperty wdt:P910 ;
	owl:someValuesFrom owl:Thing .

wd:P646 a wikibase:Property ;
	rdfs:label "Freebase ID"@en ;
	skos:prefLabel "Freebase ID"@en ;
	schema:name "Freebase ID"@en ;
	schema:description "identifier for a page in the Freebase database. Format: \"/m/0\" followed by 2 to 7 characters. For IDs starting with \"/g/\", use Google Knowledge Graph ID (P2671)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P646 ;
	wikibase:claim p:P646 ;
	wikibase:statementProperty ps:P646 ;
	wikibase:statementValue psv:P646 ;
	wikibase:qualifier pq:P646 ;
	wikibase:qualifierValue pqv:P646 ;
	wikibase:reference pr:P646 ;
	wikibase:referenceValue prv:P646 ;
	wikibase:novalue wdno:P646 ;
	wikibase:directClaimNormalized wdtn:P646 ;
	wikibase:statementValueNormalized psn:P646 ;
	wikibase:qualifierValueNormalized pqn:P646 ;
	wikibase:referenceValueNormalized prn:P646 .

p:P646 a owl:ObjectProperty .

psv:P646 a owl:ObjectProperty .

pqv:P646 a owl:ObjectProperty .

prv:P646 a owl:ObjectProperty .

wdt:P646 a owl:DatatypeProperty .

ps:P646 a owl:DatatypeProperty .

pq:P646 a owl:DatatypeProperty .

pr:P646 a owl:DatatypeProperty .

psn:P646 a owl:ObjectProperty .

pqn:P646 a owl:ObjectProperty .

prn:P646 a owl:ObjectProperty .

wdtn:P646 a owl:ObjectProperty .

wdno:P646 a owl:Class ;
	owl:complementOf _:38db277a4b10d59fd38a3fd995cbe570 .

_:38db277a4b10d59fd38a3fd995cbe570 a owl:Restriction ;
	owl:onProperty wdt:P646 ;
	owl:someValuesFrom owl:Thing .

wd:Q1166618 a wikibase:Item ;
	rdfs:label "mathematical logic"@en ;
	skos:prefLabel "mathematical logic"@en ;
	schema:name "mathematical logic"@en ;
	schema:description "subfield of mathematics"@en .

wd:P279 a wikibase:Property ;
	rdfs:label "subclass of"@en ;
	skos:prefLabel "subclass of"@en ;
	schema:name "subclass of"@en ;
	schema:description "this item is a subclass (subset) of that item; all instances of this item are instances of that item; different from P31 (instance of), e.g.: volcano is a subclass of mountain (and an instance of volcanic landform); K2 is an instance of mountain"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P279 ;
	wikibase:claim p:P279 ;
	wikibase:statementProperty ps:P279 ;
	wikibase:statementValue psv:P279 ;
	wikibase:qualifier pq:P279 ;
	wikibase:qualifierValue pqv:P279 ;
	wikibase:reference pr:P279 ;
	wikibase:referenceValue prv:P279 ;
	wikibase:novalue wdno:P279 .

p:P279 a owl:ObjectProperty .

psv:P279 a owl:ObjectProperty .

pqv:P279 a owl:ObjectProperty .

prv:P279 a owl:ObjectProperty .

wdt:P279 a owl:ObjectProperty .

ps:P279 a owl:ObjectProperty .

pq:P279 a owl:ObjectProperty .

pr:P279 a owl:ObjectProperty .

wdno:P279 a owl:Class ;
	owl:complementOf _:55a0a46aa65f620d17fa7dc3671280d4 .

_:55a0a46aa65f620d17fa7dc3671280d4 a owl:Restriction ;
	owl:onProperty wdt:P279 ;
	owl:someValuesFrom owl:Thing .

wd:P3285 a wikibase:Property ;
	rdfs:label "Mathematics Subject Classification ID"@en ;
	skos:prefLabel "Mathematics Subject Classification ID"@en ;
	schema:name "Mathematics Subject Classification ID"@en ;
	schema:description "identifier of the same topic in the Mathematics Subject Classification"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P3285 ;
	wikibase:claim p:P3285 ;
	wikibase:statementProperty ps:P3285 ;
	wikibase:statementValue psv:P3285 ;
	wikibase:qualifier pq:P3285 ;
	wikibase:qualifierValue pqv:P3285 ;
	wikibase:reference pr:P3285 ;
	wikibase:referenceValue prv:P3285 ;
	wikibase:novalue wdno:P3285 ;
	wikibase:directClaimNormalized wdtn:P3285 ;
	wikibase:statementValueNormalized psn:P3285 ;
	wikibase:qualifierValueNormalized pqn:P3285 ;
	wikibase:referenceValueNormalized prn:P3285 .

p:P3285 a owl:ObjectProperty .

psv:P3285 a owl:ObjectProperty .

pqv:P3285 a owl:ObjectProperty .

prv:P3285 a owl:ObjectProperty .

wdt:P3285 a owl:DatatypeProperty .

ps:P3285 a owl:DatatypeProperty .

pq:P3285 a owl:DatatypeProperty .

pr:P3285 a owl:DatatypeProperty .

psn:P3285 a owl:ObjectProperty .

pqn:P3285 a owl:ObjectProperty .

prn:P3285 a owl:ObjectProperty .

wdtn:P3285 a owl:ObjectProperty .

wdno:P3285 a owl:Class ;
	owl:complementOf _:235565d56802231e46a3c37f5870fe49 .

_:235565d56802231e46a3c37f5870fe49 a owl:Restriction ;
	owl:onProperty wdt:P3285 ;
	owl:someValuesFrom owl:Thing .

wd:P3827 a wikibase:Property ;
	rdfs:label "JSTOR topic ID (archived)"@en ;
	skos:prefLabel "JSTOR topic ID (archived)"@en ;
	schema:name "JSTOR topic ID (archived)"@en ;
	schema:description "identifier for a topic at JSTOR"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P3827 ;
	wikibase:claim p:P3827 ;
	wikibase:statementProperty ps:P3827 ;
	wikibase:statementValue psv:P3827 ;
	wikibase:qualifier pq:P3827 ;
	wikibase:qualifierValue pqv:P3827 ;
	wikibase:reference pr:P3827 ;
	wikibase:referenceValue prv:P3827 ;
	wikibase:novalue wdno:P3827 ;
	wikibase:directClaimNormalized wdtn:P3827 ;
	wikibase:statementValueNormalized psn:P3827 ;
	wikibase:qualifierValueNormalized pqn:P3827 ;
	wikibase:referenceValueNormalized prn:P3827 .

p:P3827 a owl:ObjectProperty .

psv:P3827 a owl:ObjectProperty .

pqv:P3827 a owl:ObjectProperty .

prv:P3827 a owl:ObjectProperty .

wdt:P3827 a owl:DatatypeProperty .

ps:P3827 a owl:DatatypeProperty .

pq:P3827 a owl:DatatypeProperty .

pr:P3827 a owl:DatatypeProperty .

psn:P3827 a owl:ObjectProperty .

pqn:P3827 a owl:ObjectProperty .

prn:P3827 a owl:ObjectProperty .

wdtn:P3827 a owl:ObjectProperty .

wdno:P3827 a owl:Class ;
	owl:complementOf _:591354acd9a1c60143190541be6b2d38 .

_:591354acd9a1c60143190541be6b2d38 a owl:Restriction ;
	owl:onProperty wdt:P3827 ;
	owl:someValuesFrom owl:Thing .

wd:P2812 a wikibase:Property ;
	rdfs:label "MathWorld ID"@en ;
	skos:prefLabel "MathWorld ID"@en ;
	schema:name "MathWorld ID"@en ;
	schema:description "identifier for entries in MathWorld, online mathematics reference work"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P2812 ;
	wikibase:claim p:P2812 ;
	wikibase:statementProperty ps:P2812 ;
	wikibase:statementValue psv:P2812 ;
	wikibase:qualifier pq:P2812 ;
	wikibase:qualifierValue pqv:P2812 ;
	wikibase:reference pr:P2812 ;
	wikibase:referenceValue prv:P2812 ;
	wikibase:novalue wdno:P2812 ;
	wikibase:directClaimNormalized wdtn:P2812 ;
	wikibase:statementValueNormalized psn:P2812 ;
	wikibase:qualifierValueNormalized pqn:P2812 ;
	wikibase:referenceValueNormalized prn:P2812 .

p:P2812 a owl:ObjectProperty .

psv:P2812 a owl:ObjectProperty .

pqv:P2812 a owl:ObjectProperty .

prv:P2812 a owl:ObjectProperty .

wdt:P2812 a owl:DatatypeProperty .

ps:P2812 a owl:DatatypeProperty .

pq:P2812 a owl:DatatypeProperty .

pr:P2812 a owl:DatatypeProperty .

psn:P2812 a owl:ObjectProperty .

pqn:P2812 a owl:ObjectProperty .

prn:P2812 a owl:ObjectProperty .

wdtn:P2812 a owl:ObjectProperty .

wdno:P2812 a owl:Class ;
	owl:complementOf _:fb0f7ab1055ee23989a25d6be40e2991 .

_:fb0f7ab1055ee23989a25d6be40e2991 a owl:Restriction ;
	owl:onProperty wdt:P2812 ;
	owl:someValuesFrom owl:Thing .

wd:P3219 a wikibase:Property ;
	rdfs:label "Encyclopædia Universalis ID"@en ;
	skos:prefLabel "Encyclopædia Universalis ID"@en ;
	schema:name "Encyclopædia Universalis ID"@en ;
	schema:description "identifier for an article in the online version of Encyclopædia Universalis"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P3219 ;
	wikibase:claim p:P3219 ;
	wikibase:statementProperty ps:P3219 ;
	wikibase:statementValue psv:P3219 ;
	wikibase:qualifier pq:P3219 ;
	wikibase:qualifierValue pqv:P3219 ;
	wikibase:reference pr:P3219 ;
	wikibase:referenceValue prv:P3219 ;
	wikibase:novalue wdno:P3219 ;
	wikibase:directClaimNormalized wdtn:P3219 ;
	wikibase:statementValueNormalized psn:P3219 ;
	wikibase:qualifierValueNormalized pqn:P3219 ;
	wikibase:referenceValueNormalized prn:P3219 .

p:P3219 a owl:ObjectProperty .

psv:P3219 a owl:ObjectProperty .

pqv:P3219 a owl:ObjectProperty .

prv:P3219 a owl:ObjectProperty .

wdt:P3219 a owl:DatatypeProperty .

ps:P3219 a owl:DatatypeProperty .

pq:P3219 a owl:DatatypeProperty .

pr:P3219 a owl:DatatypeProperty .

psn:P3219 a owl:ObjectProperty .

pqn:P3219 a owl:ObjectProperty .

prn:P3219 a owl:ObjectProperty .

wdtn:P3219 a owl:ObjectProperty .

wdno:P3219 a owl:Class ;
	owl:complementOf _:b59412a453ea85a39b5b493ca89a2026 .

_:b59412a453ea85a39b5b493ca89a2026 a owl:Restriction ;
	owl:onProperty wdt:P3219 ;
	owl:someValuesFrom owl:Thing .

wd:P2179 a wikibase:Property ;
	rdfs:label "ACM Classification Code (2012)"@en ;
	skos:prefLabel "ACM Classification Code (2012)"@en ;
	schema:name "ACM Classification Code (2012)"@en ;
	schema:description "ACM Computing Classification Code of 2012 (8 digits)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P2179 ;
	wikibase:claim p:P2179 ;
	wikibase:statementProperty ps:P2179 ;
	wikibase:statementValue psv:P2179 ;
	wikibase:qualifier pq:P2179 ;
	wikibase:qualifierValue pqv:P2179 ;
	wikibase:reference pr:P2179 ;
	wikibase:referenceValue prv:P2179 ;
	wikibase:novalue wdno:P2179 .

p:P2179 a owl:ObjectProperty .

psv:P2179 a owl:ObjectProperty .

pqv:P2179 a owl:ObjectProperty .

prv:P2179 a owl:ObjectProperty .

wdt:P2179 a owl:DatatypeProperty .

ps:P2179 a owl:DatatypeProperty .

pq:P2179 a owl:DatatypeProperty .

pr:P2179 a owl:DatatypeProperty .

wdno:P2179 a owl:Class ;
	owl:complementOf _:aacbe3c2f05409c0016467714e23ac38 .

_:aacbe3c2f05409c0016467714e23ac38 a owl:Restriction ;
	owl:onProperty wdt:P2179 ;
	owl:someValuesFrom owl:Thing .

wd:P3123 a wikibase:Property ;
	rdfs:label "Stanford Encyclopedia of Philosophy ID"@en ;
	skos:prefLabel "Stanford Encyclopedia of Philosophy ID"@en ;
	schema:name "Stanford Encyclopedia of Philosophy ID"@en ;
	schema:description "identifier of a topic in the online Stanford Encyclopedia of Philosophy"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P3123 ;
	wikibase:claim p:P3123 ;
	wikibase:statementProperty ps:P3123 ;
	wikibase:statementValue psv:P3123 ;
	wikibase:qualifier pq:P3123 ;
	wikibase:qualifierValue pqv:P3123 ;
	wikibase:reference pr:P3123 ;
	wikibase:referenceValue prv:P3123 ;
	wikibase:novalue wdno:P3123 ;
	wikibase:directClaimNormalized wdtn:P3123 ;
	wikibase:statementValueNormalized psn:P3123 ;
	wikibase:qualifierValueNormalized pqn:P3123 ;
	wikibase:referenceValueNormalized prn:P3123 .

p:P3123 a owl:ObjectProperty .

psv:P3123 a owl:ObjectProperty .

pqv:P3123 a owl:ObjectProperty .

prv:P3123 a owl:ObjectProperty .

wdt:P3123 a owl:DatatypeProperty .

ps:P3123 a owl:DatatypeProperty .

pq:P3123 a owl:DatatypeProperty .

pr:P3123 a owl:DatatypeProperty .

psn:P3123 a owl:ObjectProperty .

pqn:P3123 a owl:ObjectProperty .

prn:P3123 a owl:ObjectProperty .

wdtn:P3123 a owl:ObjectProperty .

wdno:P3123 a owl:Class ;
	owl:complementOf _:5b182680d69f6f810849e57bdf937bb2 .

_:5b182680d69f6f810849e57bdf937bb2 a owl:Restriction ;
	owl:onProperty wdt:P3123 ;
	owl:someValuesFrom owl:Thing .

wd:P6366 a wikibase:Property ;
	rdfs:label "Microsoft Academic ID"@en ;
	skos:prefLabel "Microsoft Academic ID"@en ;
	schema:name "Microsoft Academic ID"@en ;
	schema:description "identifier for an object or topic in the Microsoft Academic Graph (until 31 December 2021)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P6366 ;
	wikibase:claim p:P6366 ;
	wikibase:statementProperty ps:P6366 ;
	wikibase:statementValue psv:P6366 ;
	wikibase:qualifier pq:P6366 ;
	wikibase:qualifierValue pqv:P6366 ;
	wikibase:reference pr:P6366 ;
	wikibase:referenceValue prv:P6366 ;
	wikibase:novalue wdno:P6366 ;
	wikibase:directClaimNormalized wdtn:P6366 ;
	wikibase:statementValueNormalized psn:P6366 ;
	wikibase:qualifierValueNormalized pqn:P6366 ;
	wikibase:referenceValueNormalized prn:P6366 .

p:P6366 a owl:ObjectProperty .

psv:P6366 a owl:ObjectProperty .

pqv:P6366 a owl:ObjectProperty .

prv:P6366 a owl:ObjectProperty .

wdt:P6366 a owl:DatatypeProperty .

ps:P6366 a owl:DatatypeProperty .

pq:P6366 a owl:DatatypeProperty .

pr:P6366 a owl:DatatypeProperty .

psn:P6366 a owl:ObjectProperty .

pqn:P6366 a owl:ObjectProperty .

prn:P6366 a owl:ObjectProperty .

wdtn:P6366 a owl:ObjectProperty .

wdno:P6366 a owl:Class ;
	owl:complementOf _:6f940be26025c3cdbbbed9534272bb72 .

_:6f940be26025c3cdbbbed9534272bb72 a owl:Restriction ;
	owl:onProperty wdt:P6366 ;
	owl:someValuesFrom owl:Thing .

wd:Q11538 a wikibase:Item ;
	rdfs:label "mathematical proof"@en ;
	skos:prefLabel "mathematical proof"@en ;
	schema:name "mathematical proof"@en ;
	schema:description "rigorous demonstration that a mathematical statement follows from its premises"@en .

wd:P2578 a wikibase:Property ;
	rdfs:label "is the study of"@en ;
	skos:prefLabel "is the study of"@en ;
	schema:name "is the study of"@en ;
	schema:description "the object that an academic field studies; distinct from field of work (P101), which is used for human, organization, etc."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P2578 ;
	wikibase:claim p:P2578 ;
	wikibase:statementProperty ps:P2578 ;
	wikibase:statementValue psv:P2578 ;
	wikibase:qualifier pq:P2578 ;
	wikibase:qualifierValue pqv:P2578 ;
	wikibase:reference pr:P2578 ;
	wikibase:referenceValue prv:P2578 ;
	wikibase:novalue wdno:P2578 .

p:P2578 a owl:ObjectProperty .

psv:P2578 a owl:ObjectProperty .

pqv:P2578 a owl:ObjectProperty .

prv:P2578 a owl:ObjectProperty .

wdt:P2578 a owl:ObjectProperty .

ps:P2578 a owl:ObjectProperty .

pq:P2578 a owl:ObjectProperty .

pr:P2578 a owl:ObjectProperty .

wdno:P2578 a owl:Class ;
	owl:complementOf _:4f2c552c5ed2872ffc12f833e9ee082a .

_:4f2c552c5ed2872ffc12f833e9ee082a a owl:Restriction ;
	owl:onProperty wdt:P2578 ;
	owl:someValuesFrom owl:Thing .

wd:P8408 a wikibase:Property ;
	rdfs:label "KBpedia ID"@en ;
	skos:prefLabel "KBpedia ID"@en ;
	schema:name "KBpedia ID"@en ;
	schema:description "identifier for the KBpedia knowledge graph, which provides consistent mappings across seven large-scale public knowledge bases including Wikidata, and is used to promote data interoperability and extraction of training sets for machine learning"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P8408 ;
	wikibase:claim p:P8408 ;
	wikibase:statementProperty ps:P8408 ;
	wikibase:statementValue psv:P8408 ;
	wikibase:qualifier pq:P8408 ;
	wikibase:qualifierValue pqv:P8408 ;
	wikibase:reference pr:P8408 ;
	wikibase:referenceValue prv:P8408 ;
	wikibase:novalue wdno:P8408 ;
	wikibase:directClaimNormalized wdtn:P8408 ;
	wikibase:statementValueNormalized psn:P8408 ;
	wikibase:qualifierValueNormalized pqn:P8408 ;
	wikibase:referenceValueNormalized prn:P8408 .

p:P8408 a owl:ObjectProperty .

psv:P8408 a owl:ObjectProperty .

pqv:P8408 a owl:ObjectProperty .

prv:P8408 a owl:ObjectProperty .

wdt:P8408 a owl:DatatypeProperty .

ps:P8408 a owl:DatatypeProperty .

pq:P8408 a owl:DatatypeProperty .

pr:P8408 a owl:DatatypeProperty .

psn:P8408 a owl:ObjectProperty .

pqn:P8408 a owl:ObjectProperty .

prn:P8408 a owl:ObjectProperty .

wdtn:P8408 a owl:ObjectProperty .

wdno:P8408 a owl:Class ;
	owl:complementOf _:a5c6b2a39aa8787e5b2a55612fc3d63e .

_:a5c6b2a39aa8787e5b2a55612fc3d63e a owl:Restriction ;
	owl:onProperty wdt:P8408 ;
	owl:someValuesFrom owl:Thing .

wd:P4215 a wikibase:Property ;
	rdfs:label "nLab ID"@en ;
	skos:prefLabel "nLab ID"@en ;
	schema:name "nLab ID"@en ;
	schema:description "name of a page in nLab wiki"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P4215 ;
	wikibase:claim p:P4215 ;
	wikibase:statementProperty ps:P4215 ;
	wikibase:statementValue psv:P4215 ;
	wikibase:qualifier pq:P4215 ;
	wikibase:qualifierValue pqv:P4215 ;
	wikibase:reference pr:P4215 ;
	wikibase:referenceValue prv:P4215 ;
	wikibase:novalue wdno:P4215 ;
	wikibase:directClaimNormalized wdtn:P4215 ;
	wikibase:statementValueNormalized psn:P4215 ;
	wikibase:qualifierValueNormalized pqn:P4215 ;
	wikibase:referenceValueNormalized prn:P4215 .

p:P4215 a owl:ObjectProperty .

psv:P4215 a owl:ObjectProperty .

pqv:P4215 a owl:ObjectProperty .

prv:P4215 a owl:ObjectProperty .

wdt:P4215 a owl:DatatypeProperty .

ps:P4215 a owl:DatatypeProperty .

pq:P4215 a owl:DatatypeProperty .

pr:P4215 a owl:DatatypeProperty .

psn:P4215 a owl:ObjectProperty .

pqn:P4215 a owl:ObjectProperty .

prn:P4215 a owl:ObjectProperty .

wdtn:P4215 a owl:ObjectProperty .

wdno:P4215 a owl:Class ;
	owl:complementOf _:f9a1d8b81de5a31700d65a433ccbace3 .

_:f9a1d8b81de5a31700d65a433ccbace3 a owl:Restriction ;
	owl:onProperty wdt:P4215 ;
	owl:someValuesFrom owl:Thing .

wd:P268 a wikibase:Property ;
	rdfs:label "Bibliothèque nationale de France ID"@en ;
	skos:prefLabel "Bibliothèque nationale de France ID"@en ;
	schema:name "Bibliothèque nationale de France ID"@en ;
	schema:description "identifier for the subject issued by BNF (Bibliothèque nationale de France). Format: 8 digits followed by a check-digit or letter, do not include the initial 'cb'."@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P268 ;
	wikibase:claim p:P268 ;
	wikibase:statementProperty ps:P268 ;
	wikibase:statementValue psv:P268 ;
	wikibase:qualifier pq:P268 ;
	wikibase:qualifierValue pqv:P268 ;
	wikibase:reference pr:P268 ;
	wikibase:referenceValue prv:P268 ;
	wikibase:novalue wdno:P268 ;
	wikibase:directClaimNormalized wdtn:P268 ;
	wikibase:statementValueNormalized psn:P268 ;
	wikibase:qualifierValueNormalized pqn:P268 ;
	wikibase:referenceValueNormalized prn:P268 .

p:P268 a owl:ObjectProperty .

psv:P268 a owl:ObjectProperty .

pqv:P268 a owl:ObjectProperty .

prv:P268 a owl:ObjectProperty .

wdt:P268 a owl:DatatypeProperty .

ps:P268 a owl:DatatypeProperty .

pq:P268 a owl:DatatypeProperty .

pr:P268 a owl:DatatypeProperty .

psn:P268 a owl:ObjectProperty .

pqn:P268 a owl:ObjectProperty .

prn:P268 a owl:ObjectProperty .

wdtn:P268 a owl:ObjectProperty .

wdno:P268 a owl:Class ;
	owl:complementOf _:d3120d2b47ac0e3950d9219515d435cc .

_:d3120d2b47ac0e3950d9219515d435cc a owl:Restriction ;
	owl:onProperty wdt:P268 ;
	owl:someValuesFrom owl:Thing .

wd:P244 a wikibase:Property ;
	rdfs:label "Library of Congress authority ID"@en ;
	skos:prefLabel "Library of Congress authority ID"@en ;
	schema:name "Library of Congress authority ID"@en ;
	schema:description "Library of Congress name authority (persons, families, corporate bodies, events, places, works and expressions) and subject authority identifier [Format: 1-2 specific letters followed by 8-10 digits (see regex). For manifestations, use P1144]"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P244 ;
	wikibase:claim p:P244 ;
	wikibase:statementProperty ps:P244 ;
	wikibase:statementValue psv:P244 ;
	wikibase:qualifier pq:P244 ;
	wikibase:qualifierValue pqv:P244 ;
	wikibase:reference pr:P244 ;
	wikibase:referenceValue prv:P244 ;
	wikibase:novalue wdno:P244 ;
	wikibase:directClaimNormalized wdtn:P244 ;
	wikibase:statementValueNormalized psn:P244 ;
	wikibase:qualifierValueNormalized pqn:P244 ;
	wikibase:referenceValueNormalized prn:P244 .

p:P244 a owl:ObjectProperty .

psv:P244 a owl:ObjectProperty .

pqv:P244 a owl:ObjectProperty .

prv:P244 a owl:ObjectProperty .

wdt:P244 a owl:DatatypeProperty .

ps:P244 a owl:DatatypeProperty .

pq:P244 a owl:DatatypeProperty .

pr:P244 a owl:DatatypeProperty .

psn:P244 a owl:ObjectProperty .

pqn:P244 a owl:ObjectProperty .

prn:P244 a owl:ObjectProperty .

wdtn:P244 a owl:ObjectProperty .

wdno:P244 a owl:Class ;
	owl:complementOf _:590c65ffccb1a1851cc444e4370c7714 .

_:590c65ffccb1a1851cc444e4370c7714 a owl:Restriction ;
	owl:onProperty wdt:P244 ;
	owl:someValuesFrom owl:Thing .

wd:P3553 a wikibase:Property ;
	rdfs:label "Zhihu topic ID"@en ;
	skos:prefLabel "Zhihu topic ID"@en ;
	schema:name "Zhihu topic ID"@en ;
	schema:description "numeric id of topics (tags) of questions on Zhihu, a Chinese question-and-answer website"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P3553 ;
	wikibase:claim p:P3553 ;
	wikibase:statementProperty ps:P3553 ;
	wikibase:statementValue psv:P3553 ;
	wikibase:qualifier pq:P3553 ;
	wikibase:qualifierValue pqv:P3553 ;
	wikibase:reference pr:P3553 ;
	wikibase:referenceValue prv:P3553 ;
	wikibase:novalue wdno:P3553 ;
	wikibase:directClaimNormalized wdtn:P3553 ;
	wikibase:statementValueNormalized psn:P3553 ;
	wikibase:qualifierValueNormalized pqn:P3553 ;
	wikibase:referenceValueNormalized prn:P3553 .

p:P3553 a owl:ObjectProperty .

psv:P3553 a owl:ObjectProperty .

pqv:P3553 a owl:ObjectProperty .

prv:P3553 a owl:ObjectProperty .

wdt:P3553 a owl:DatatypeProperty .

ps:P3553 a owl:DatatypeProperty .

pq:P3553 a owl:DatatypeProperty .

pr:P3553 a owl:DatatypeProperty .

psn:P3553 a owl:ObjectProperty .

pqn:P3553 a owl:ObjectProperty .

prn:P3553 a owl:ObjectProperty .

wdtn:P3553 a owl:ObjectProperty .

wdno:P3553 a owl:Class ;
	owl:complementOf _:e01b5a62bba388307b8ff53da20cb1ff .

_:e01b5a62bba388307b8ff53da20cb1ff a owl:Restriction ;
	owl:onProperty wdt:P3553 ;
	owl:someValuesFrom owl:Thing .

wd:P8189 a wikibase:Property ;
	rdfs:label "J9U ID"@en ;
	skos:prefLabel "J9U ID"@en ;
	schema:name "J9U ID"@en ;
	schema:description "identifier used by the National Library of Israel"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P8189 ;
	wikibase:claim p:P8189 ;
	wikibase:statementProperty ps:P8189 ;
	wikibase:statementValue psv:P8189 ;
	wikibase:qualifier pq:P8189 ;
	wikibase:qualifierValue pqv:P8189 ;
	wikibase:reference pr:P8189 ;
	wikibase:referenceValue prv:P8189 ;
	wikibase:novalue wdno:P8189 ;
	wikibase:directClaimNormalized wdtn:P8189 ;
	wikibase:statementValueNormalized psn:P8189 ;
	wikibase:qualifierValueNormalized pqn:P8189 ;
	wikibase:referenceValueNormalized prn:P8189 .

p:P8189 a owl:ObjectProperty .

psv:P8189 a owl:ObjectProperty .

pqv:P8189 a owl:ObjectProperty .

prv:P8189 a owl:ObjectProperty .

wdt:P8189 a owl:DatatypeProperty .

ps:P8189 a owl:DatatypeProperty .

pq:P8189 a owl:DatatypeProperty .

pr:P8189 a owl:DatatypeProperty .

psn:P8189 a owl:ObjectProperty .

pqn:P8189 a owl:ObjectProperty .

prn:P8189 a owl:ObjectProperty .

wdtn:P8189 a owl:ObjectProperty .

wdno:P8189 a owl:Class ;
	owl:complementOf _:92bc7d972c1bed2e801eb42a65bd6c0a .

_:92bc7d972c1bed2e801eb42a65bd6c0a a owl:Restriction ;
	owl:onProperty wdt:P8189 ;
	owl:someValuesFrom owl:Thing .

wd:P10283 a wikibase:Property ;
	rdfs:label "OpenAlex ID"@en ;
	skos:prefLabel "OpenAlex ID"@en ;
	schema:name "OpenAlex ID"@en ;
	schema:description "identifier for works, grants, authors, institutes, venues, concepts/subjects in OpenAlex"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P10283 ;
	wikibase:claim p:P10283 ;
	wikibase:statementProperty ps:P10283 ;
	wikibase:statementValue psv:P10283 ;
	wikibase:qualifier pq:P10283 ;
	wikibase:qualifierValue pqv:P10283 ;
	wikibase:reference pr:P10283 ;
	wikibase:referenceValue prv:P10283 ;
	wikibase:novalue wdno:P10283 ;
	wikibase:directClaimNormalized wdtn:P10283 ;
	wikibase:statementValueNormalized psn:P10283 ;
	wikibase:qualifierValueNormalized pqn:P10283 ;
	wikibase:referenceValueNormalized prn:P10283 .

p:P10283 a owl:ObjectProperty .

psv:P10283 a owl:ObjectProperty .

pqv:P10283 a owl:ObjectProperty .

prv:P10283 a owl:ObjectProperty .

wdt:P10283 a owl:DatatypeProperty .

ps:P10283 a owl:DatatypeProperty .

pq:P10283 a owl:DatatypeProperty .

pr:P10283 a owl:DatatypeProperty .

psn:P10283 a owl:ObjectProperty .

pqn:P10283 a owl:ObjectProperty .

prn:P10283 a owl:ObjectProperty .

wdtn:P10283 a owl:ObjectProperty .

wdno:P10283 a owl:Class ;
	owl:complementOf _:32a5275a7dbbfba13192c77c3ada4d3a .

_:32a5275a7dbbfba13192c77c3ada4d3a a owl:Restriction ;
	owl:onProperty wdt:P10283 ;
	owl:someValuesFrom owl:Thing .

wd:P2347 a wikibase:Property ;
	rdfs:label "YSO ID"@en ;
	skos:prefLabel "YSO ID"@en ;
	schema:name "YSO ID"@en ;
	schema:description "identifier for a concept in the General Finnish Ontology YSO"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P2347 ;
	wikibase:claim p:P2347 ;
	wikibase:statementProperty ps:P2347 ;
	wikibase:statementValue psv:P2347 ;
	wikibase:qualifier pq:P2347 ;
	wikibase:qualifierValue pqv:P2347 ;
	wikibase:reference pr:P2347 ;
	wikibase:referenceValue prv:P2347 ;
	wikibase:novalue wdno:P2347 ;
	wikibase:directClaimNormalized wdtn:P2347 ;
	wikibase:statementValueNormalized psn:P2347 ;
	wikibase:qualifierValueNormalized pqn:P2347 ;
	wikibase:referenceValueNormalized prn:P2347 .

p:P2347 a owl:ObjectProperty .

psv:P2347 a owl:ObjectProperty .

pqv:P2347 a owl:ObjectProperty .

prv:P2347 a owl:ObjectProperty .

wdt:P2347 a owl:DatatypeProperty .

ps:P2347 a owl:DatatypeProperty .

pq:P2347 a owl:DatatypeProperty .

pr:P2347 a owl:DatatypeProperty .

psn:P2347 a owl:ObjectProperty .

pqn:P2347 a owl:ObjectProperty .

prn:P2347 a owl:ObjectProperty .

wdtn:P2347 a owl:ObjectProperty .

wdno:P2347 a owl:Class ;
	owl:complementOf _:5938edce2b698c44bad94eb14b56af07 .

_:5938edce2b698c44bad94eb14b56af07 a owl:Restriction ;
	owl:onProperty wdt:P2347 ;
	owl:someValuesFrom owl:Thing .

wd:P349 a wikibase:Property ;
	rdfs:label "NDL Authority ID"@en ;
	skos:prefLabel "NDL Authority ID"@en ;
	schema:name "NDL Authority ID"@en ;
	schema:description "identifier for authority control per the National Diet Library of Japan"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P349 ;
	wikibase:claim p:P349 ;
	wikibase:statementProperty ps:P349 ;
	wikibase:statementValue psv:P349 ;
	wikibase:qualifier pq:P349 ;
	wikibase:qualifierValue pqv:P349 ;
	wikibase:reference pr:P349 ;
	wikibase:referenceValue prv:P349 ;
	wikibase:novalue wdno:P349 ;
	wikibase:directClaimNormalized wdtn:P349 ;
	wikibase:statementValueNormalized psn:P349 ;
	wikibase:qualifierValueNormalized pqn:P349 ;
	wikibase:referenceValueNormalized prn:P349 .

p:P349 a owl:ObjectProperty .

psv:P349 a owl:ObjectProperty .

pqv:P349 a owl:ObjectProperty .

prv:P349 a owl:ObjectProperty .

wdt:P349 a owl:DatatypeProperty .

ps:P349 a owl:DatatypeProperty .

pq:P349 a owl:DatatypeProperty .

pr:P349 a owl:DatatypeProperty .

psn:P349 a owl:ObjectProperty .

pqn:P349 a owl:ObjectProperty .

prn:P349 a owl:ObjectProperty .

wdtn:P349 a owl:ObjectProperty .

wdno:P349 a owl:Class ;
	owl:complementOf _:cd24209e08bc1ccf071135ac50a89a01 .

_:cd24209e08bc1ccf071135ac50a89a01 a owl:Restriction ;
	owl:onProperty wdt:P349 ;
	owl:someValuesFrom owl:Thing .

wd:P1368 a wikibase:Property ;
	rdfs:label "National Library of Latvia ID"@en ;
	skos:prefLabel "National Library of Latvia ID"@en ;
	schema:name "National Library of Latvia ID"@en ;
	schema:description "identifier assigned by the National Library of Latvia"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P1368 ;
	wikibase:claim p:P1368 ;
	wikibase:statementProperty ps:P1368 ;
	wikibase:statementValue psv:P1368 ;
	wikibase:qualifier pq:P1368 ;
	wikibase:qualifierValue pqv:P1368 ;
	wikibase:reference pr:P1368 ;
	wikibase:referenceValue prv:P1368 ;
	wikibase:novalue wdno:P1368 ;
	wikibase:directClaimNormalized wdtn:P1368 ;
	wikibase:statementValueNormalized psn:P1368 ;
	wikibase:qualifierValueNormalized pqn:P1368 ;
	wikibase:referenceValueNormalized prn:P1368 .

p:P1368 a owl:ObjectProperty .

psv:P1368 a owl:ObjectProperty .

pqv:P1368 a owl:ObjectProperty .

prv:P1368 a owl:ObjectProperty .

wdt:P1368 a owl:DatatypeProperty .

ps:P1368 a owl:DatatypeProperty .

pq:P1368 a owl:DatatypeProperty .

pr:P1368 a owl:DatatypeProperty .

psn:P1368 a owl:ObjectProperty .

pqn:P1368 a owl:ObjectProperty .

prn:P1368 a owl:ObjectProperty .

wdtn:P1368 a owl:ObjectProperty .

wdno:P1368 a owl:Class ;
	owl:complementOf _:9e5897c3da5422c230ae7fcf8c78fba1 .

_:9e5897c3da5422c230ae7fcf8c78fba1 a owl:Restriction ;
	owl:onProperty wdt:P1368 ;
	owl:someValuesFrom owl:Thing .

wd:P691 a wikibase:Property ;
	rdfs:label "NL CR AUT ID"@en ;
	skos:prefLabel "NL CR AUT ID"@en ;
	schema:name "NL CR AUT ID"@en ;
	schema:description "identifier in the Czech National Authority Database of National Library of the Czech Republic (NL CR)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P691 ;
	wikibase:claim p:P691 ;
	wikibase:statementProperty ps:P691 ;
	wikibase:statementValue psv:P691 ;
	wikibase:qualifier pq:P691 ;
	wikibase:qualifierValue pqv:P691 ;
	wikibase:reference pr:P691 ;
	wikibase:referenceValue prv:P691 ;
	wikibase:novalue wdno:P691 ;
	wikibase:directClaimNormalized wdtn:P691 ;
	wikibase:statementValueNormalized psn:P691 ;
	wikibase:qualifierValueNormalized pqn:P691 ;
	wikibase:referenceValueNormalized prn:P691 .

p:P691 a owl:ObjectProperty .

psv:P691 a owl:ObjectProperty .

pqv:P691 a owl:ObjectProperty .

prv:P691 a owl:ObjectProperty .

wdt:P691 a owl:DatatypeProperty .

ps:P691 a owl:DatatypeProperty .

pq:P691 a owl:DatatypeProperty .

pr:P691 a owl:DatatypeProperty .

psn:P691 a owl:ObjectProperty .

pqn:P691 a owl:ObjectProperty .

prn:P691 a owl:ObjectProperty .

wdtn:P691 a owl:ObjectProperty .

wdno:P691 a owl:Class ;
	owl:complementOf _:eee17ba34d3dca4b3bf5b23f68ca71b1 .

_:eee17ba34d3dca4b3bf5b23f68ca71b1 a owl:Restriction ;
	owl:onProperty wdt:P691 ;
	owl:someValuesFrom owl:Thing .

wd:P1482 a wikibase:Property ;
	rdfs:label "Stack Exchange tag"@en ;
	skos:prefLabel "Stack Exchange tag"@en ;
	schema:name "Stack Exchange tag"@en ;
	schema:description "tag on the Stack Exchange websites"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P1482 ;
	wikibase:claim p:P1482 ;
	wikibase:statementProperty ps:P1482 ;
	wikibase:statementValue psv:P1482 ;
	wikibase:qualifier pq:P1482 ;
	wikibase:qualifierValue pqv:P1482 ;
	wikibase:reference pr:P1482 ;
	wikibase:referenceValue prv:P1482 ;
	wikibase:novalue wdno:P1482 .

p:P1482 a owl:ObjectProperty .

psv:P1482 a owl:ObjectProperty .

pqv:P1482 a owl:ObjectProperty .

prv:P1482 a owl:ObjectProperty .

wdt:P1482 a owl:ObjectProperty .

ps:P1482 a owl:ObjectProperty .

pq:P1482 a owl:ObjectProperty .

pr:P1482 a owl:ObjectProperty .

wdno:P1482 a owl:Class ;
	owl:complementOf _:066031779cfa800e67b51a6a3ae80549 .

_:066031779cfa800e67b51a6a3ae80549 a owl:Restriction ;
	owl:onProperty wdt:P1482 ;
	owl:someValuesFrom owl:Thing .

wd:Q8487137 a wikibase:Item ;
	rdfs:label "WikiProject Mathematics"@en ;
	skos:prefLabel "WikiProject Mathematics"@en ;
	schema:name "WikiProject Mathematics"@en ;
	schema:description "Wikimedia subject-area collaboration"@en .

wd:P6104 a wikibase:Property ;
	rdfs:label "maintained by WikiProject"@en ;
	skos:prefLabel "maintained by WikiProject"@en ;
	schema:name "maintained by WikiProject"@en ;
	schema:description "WikiProject that maintains this property, item, or linked pages. If the WikiProject is hosted outside of Wikidata, define the scope using the qualifier \"of (P642)\""@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P6104 ;
	wikibase:claim p:P6104 ;
	wikibase:statementProperty ps:P6104 ;
	wikibase:statementValue psv:P6104 ;
	wikibase:qualifier pq:P6104 ;
	wikibase:qualifierValue pqv:P6104 ;
	wikibase:reference pr:P6104 ;
	wikibase:referenceValue prv:P6104 ;
	wikibase:novalue wdno:P6104 .

p:P6104 a owl:ObjectProperty .

psv:P6104 a owl:ObjectProperty .

pqv:P6104 a owl:ObjectProperty .

prv:P6104 a owl:ObjectProperty .

wdt:P6104 a owl:ObjectProperty .

ps:P6104 a owl:ObjectProperty .

pq:P6104 a owl:ObjectProperty .

pr:P6104 a owl:ObjectProperty .

wdno:P6104 a owl:Class ;
	owl:complementOf _:8ed522f108b0fd974fa8303edd0ec44c .

_:8ed522f108b0fd974fa8303edd0ec44c a owl:Restriction ;
	owl:onProperty wdt:P6104 ;
	owl:someValuesFrom owl:Thing .

wd:P6781 a wikibase:Property ;
	rdfs:label "ProofWiki ID"@en ;
	skos:prefLabel "ProofWiki ID"@en ;
	schema:name "ProofWiki ID"@en ;
	schema:description "identifier for a ProofWiki article"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P6781 ;
	wikibase:claim p:P6781 ;
	wikibase:statementProperty ps:P6781 ;
	wikibase:statementValue psv:P6781 ;
	wikibase:qualifier pq:P6781 ;
	wikibase:qualifierValue pqv:P6781 ;
	wikibase:reference pr:P6781 ;
	wikibase:referenceValue prv:P6781 ;
	wikibase:novalue wdno:P6781 ;
	wikibase:directClaimNormalized wdtn:P6781 ;
	wikibase:statementValueNormalized psn:P6781 ;
	wikibase:qualifierValueNormalized pqn:P6781 ;
	wikibase:referenceValueNormalized prn:P6781 .

p:P6781 a owl:ObjectProperty .

psv:P6781 a owl:ObjectProperty .

pqv:P6781 a owl:ObjectProperty .

prv:P6781 a owl:ObjectProperty .

wdt:P6781 a owl:DatatypeProperty .

ps:P6781 a owl:DatatypeProperty .

pq:P6781 a owl:DatatypeProperty .

pr:P6781 a owl:DatatypeProperty .

psn:P6781 a owl:ObjectProperty .

pqn:P6781 a owl:ObjectProperty .

prn:P6781 a owl:ObjectProperty .

wdtn:P6781 a owl:ObjectProperty .

wdno:P6781 a owl:Class ;
	owl:complementOf _:2944d5f001e47cac779fd38cb7f2db1c .

_:2944d5f001e47cac779fd38cb7f2db1c a owl:Restriction ;
	owl:onProperty wdt:P6781 ;
	owl:someValuesFrom owl:Thing .

wd:P2671 a wikibase:Property ;
	rdfs:label "Google Knowledge Graph ID"@en ;
	skos:prefLabel "Google Knowledge Graph ID"@en ;
	schema:name "Google Knowledge Graph ID"@en ;
	schema:description "identifier for Google Knowledge Graph API, starting with \"/g/\". For IDs starting with \"/m/\", use Freebase ID (P646)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#ExternalId> ;
	wikibase:directClaim wdt:P2671 ;
	wikibase:claim p:P2671 ;
	wikibase:statementProperty ps:P2671 ;
	wikibase:statementValue psv:P2671 ;
	wikibase:qualifier pq:P2671 ;
	wikibase:qualifierValue pqv:P2671 ;
	wikibase:reference pr:P2671 ;
	wikibase:referenceValue prv:P2671 ;
	wikibase:novalue wdno:P2671 ;
	wikibase:directClaimNormalized wdtn:P2671 ;
	wikibase:statementValueNormalized psn:P2671 ;
	wikibase:qualifierValueNormalized pqn:P2671 ;
	wikibase:referenceValueNormalized prn:P2671 .

p:P2671 a owl:ObjectProperty .

psv:P2671 a owl:ObjectProperty .

pqv:P2671 a owl:ObjectProperty .

prv:P2671 a owl:ObjectProperty .

wdt:P2671 a owl:DatatypeProperty .

ps:P2671 a owl:DatatypeProperty .

pq:P2671 a owl:DatatypeProperty .

pr:P2671 a owl:DatatypeProperty .

psn:P2671 a owl:ObjectProperty .

pqn:P2671 a owl:ObjectProperty .

prn:P2671 a owl:ObjectProperty .

wdtn:P2671 a owl:ObjectProperty .

wdno:P2671 a owl:Class ;
	owl:complementOf _:65accf8c5265233a873cf53510c73fa5 .

_:65accf8c5265233a873cf53510c73fa5 a owl:Restriction ;
	owl:onProperty wdt:P2671 ;
	owl:someValuesFrom owl:Thing .

wd:Q16583225 a wikibase:Item ;
	rdfs:label "Nuovo soggettario"@en ;
	skos:prefLabel "Nuovo soggettario"@en ;
	schema:name "Nuovo soggettario"@en ;
	schema:description "thesaurus realised and run by National Central Library of Florence"@en .

wd:P248 a wikibase:Property ;
	rdfs:label "stated in"@en ;
	skos:prefLabel "stated in"@en ;
	schema:name "stated in"@en ;
	schema:description "to be used in the references field to refer to the information document or database in which a claim is made; for qualifiers use P805; for the type of document in which a claim is made use P3865"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P248 ;
	wikibase:claim p:P248 ;
	wikibase:statementProperty ps:P248 ;
	wikibase:statementValue psv:P248 ;
	wikibase:qualifier pq:P248 ;
	wikibase:qualifierValue pqv:P248 ;
	wikibase:reference pr:P248 ;
	wikibase:referenceValue prv:P248 ;
	wikibase:novalue wdno:P248 .

p:P248 a owl:ObjectProperty .

psv:P248 a owl:ObjectProperty .

pqv:P248 a owl:ObjectProperty .

prv:P248 a owl:ObjectProperty .

wdt:P248 a owl:ObjectProperty .

ps:P248 a owl:ObjectProperty .

pq:P248 a owl:ObjectProperty .

pr:P248 a owl:ObjectProperty .

wdno:P248 a owl:Class ;
	owl:complementOf _:a2b31078afaf5caae811f4ac846f5f35 .

_:a2b31078afaf5caae811f4ac846f5f35 a owl:Restriction ;
	owl:onProperty wdt:P248 ;
	owl:someValuesFrom owl:Thing .

wd:Q15241312 a wikibase:Item ;
	rdfs:label "Freebase Data Dumps"@en ;
	skos:prefLabel "Freebase Data Dumps"@en ;
	schema:name "Freebase Data Dumps"@en ;
	schema:description "dumps of the public part of Google's Knowledge Graph"@en .

wd:P577 a wikibase:Property ;
	rdfs:label "publication date"@en ;
	skos:prefLabel "publication date"@en ;
	schema:name "publication date"@en ;
	schema:description "date or point in time when a work was first published or released"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Time> ;
	wikibase:directClaim wdt:P577 ;
	wikibase:claim p:P577 ;
	wikibase:statementProperty ps:P577 ;
	wikibase:statementValue psv:P577 ;
	wikibase:qualifier pq:P577 ;
	wikibase:qualifierValue pqv:P577 ;
	wikibase:reference pr:P577 ;
	wikibase:referenceValue prv:P577 ;
	wikibase:novalue wdno:P577 .

p:P577 a owl:ObjectProperty .

psv:P577 a owl:ObjectProperty .

pqv:P577 a owl:ObjectProperty .

prv:P577 a owl:ObjectProperty .

wdt:P577 a owl:DatatypeProperty .

ps:P577 a owl:DatatypeProperty .

pq:P577 a owl:DatatypeProperty .

pr:P577 a owl:DatatypeProperty .

wdno:P577 a owl:Class ;
	owl:complementOf _:eca5fcd2c546d0e0c20e05f61e0aa797 .

_:eca5fcd2c546d0e0c20e05f61e0aa797 a owl:Restriction ;
	owl:onProperty wdt:P577 ;
	owl:someValuesFrom owl:Thing .

wd:Q177837 a wikibase:Item ;
	rdfs:label "Japanese Wikipedia"@en ;
	skos:prefLabel "Japanese Wikipedia"@en ;
	schema:name "Japanese Wikipedia"@en ;
	schema:description "Japanese-language edition of Wikipedia"@en .

wd:P143 a wikibase:Property ;
	rdfs:label "imported from Wikimedia project"@en ;
	skos:prefLabel "imported from Wikimedia project"@en ;
	schema:name "imported from Wikimedia project"@en ;
	schema:description "source of this claim's value; used in references section by bots or humans importing data from Wikimedia projects"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#WikibaseItem> ;
	wikibase:directClaim wdt:P143 ;
	wikibase:claim p:P143 ;
	wikibase:statementProperty ps:P143 ;
	wikibase:statementValue psv:P143 ;
	wikibase:qualifier pq:P143 ;
	wikibase:qualifierValue pqv:P143 ;
	wikibase:reference pr:P143 ;
	wikibase:referenceValue prv:P143 ;
	wikibase:novalue wdno:P143 .

p:P143 a owl:ObjectProperty .

psv:P143 a owl:ObjectProperty .

pqv:P143 a owl:ObjectProperty .

prv:P143 a owl:ObjectProperty .

wdt:P143 a owl:ObjectProperty .

ps:P143 a owl:ObjectProperty .

pq:P143 a owl:ObjectProperty .

pr:P143 a owl:ObjectProperty .

wdno:P143 a owl:Class ;
	owl:complementOf _:66a2156e9cbfe8d655274b862fca1b59 .

_:66a2156e9cbfe8d655274b862fca1b59 a owl:Restriction ;
	owl:onProperty wdt:P143 ;
	owl:someValuesFrom owl:Thing .

wd:Q64139102 a wikibase:Item ;
	rdfs:label "KBpedia"@en ;
	skos:prefLabel "KBpedia"@en ;
	schema:name "KBpedia"@en ;
	schema:description "free ontology aimed at making data and knowledge interoperable for machine learning"@en .

wd:P813 a wikibase:Property ;
	rdfs:label "retrieved"@en ;
	skos:prefLabel "retrieved"@en ;
	schema:name "retrieved"@en ;
	schema:description "date or point in time that information was retrieved from a database or website (for use in online sources)"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Time> ;
	wikibase:directClaim wdt:P813 ;
	wikibase:claim p:P813 ;
	wikibase:statementProperty ps:P813 ;
	wikibase:statementValue psv:P813 ;
	wikibase:qualifier pq:P813 ;
	wikibase:qualifierValue pqv:P813 ;
	wikibase:reference pr:P813 ;
	wikibase:referenceValue prv:P813 ;
	wikibase:novalue wdno:P813 .

p:P813 a owl:ObjectProperty .

psv:P813 a owl:ObjectProperty .

pqv:P813 a owl:ObjectProperty .

prv:P813 a owl:ObjectProperty .

wdt:P813 a owl:DatatypeProperty .

ps:P813 a owl:DatatypeProperty .

pq:P813 a owl:DatatypeProperty .

pr:P813 a owl:DatatypeProperty .

wdno:P813 a owl:Class ;
	owl:complementOf _:a84dea0fd38ed74f926ea4bdef778770 .

_:a84dea0fd38ed74f926ea4bdef778770 a owl:Restriction ;
	owl:onProperty wdt:P813 ;
	owl:someValuesFrom owl:Thing .

wd:P1810 a wikibase:Property ;
	rdfs:label "subject named as"@en ;
	skos:prefLabel "subject named as"@en ;
	schema:name "subject named as"@en ;
	schema:description "name by which a subject is recorded in a database, mentioned as a contributor of a work, or is referred to in a particular context"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#String> ;
	wikibase:directClaim wdt:P1810 ;
	wikibase:claim p:P1810 ;
	wikibase:statementProperty ps:P1810 ;
	wikibase:statementValue psv:P1810 ;
	wikibase:qualifier pq:P1810 ;
	wikibase:qualifierValue pqv:P1810 ;
	wikibase:reference pr:P1810 ;
	wikibase:referenceValue prv:P1810 ;
	wikibase:novalue wdno:P1810 .

p:P1810 a owl:ObjectProperty .

psv:P1810 a owl:ObjectProperty .

pqv:P1810 a owl:ObjectProperty .

prv:P1810 a owl:ObjectProperty .

wdt:P1810 a owl:DatatypeProperty .

ps:P1810 a owl:DatatypeProperty .

pq:P1810 a owl:DatatypeProperty .

pr:P1810 a owl:DatatypeProperty .

wdno:P1810 a owl:Class ;
	owl:complementOf _:1d6e1ecf4f0164f6a3471dd66d38c9d8 .

_:1d6e1ecf4f0164f6a3471dd66d38c9d8 a owl:Restriction ;
	owl:onProperty wdt:P1810 ;
	owl:someValuesFrom owl:Thing .

wd:P854 a wikibase:Property ;
	rdfs:label "reference URL"@en ;
	skos:prefLabel "reference URL"@en ;
	schema:name "reference URL"@en ;
	schema:description "should be used for Internet URLs as references. Use \"Wikimedia import URL\" (P4656) for imports from WMF sites"@en ;
	wikibase:propertyType <http://wikiba.se/ontology#Url> ;
	wikibase:directClaim wdt:P854 ;
	wikibase:claim p:P854 ;
	wikibase:statementProperty ps:P854 ;
	wikibase:statementValue psv:P854 ;
	wikibase:qualifier pq:P854 ;
	wikibase:qualifierValue pqv:P854 ;
	wikibase:reference pr:P854 ;
	wikibase:referenceValue prv:P854 ;
	wikibase:novalue wdno:P854 .

p:P854 a owl:ObjectProperty .

psv:P854 a owl:ObjectProperty .

pqv:P854 a owl:ObjectProperty .

prv:P854 a owl:ObjectProperty .

wdt:P854 a owl:ObjectProperty .

ps:P854 a owl:ObjectProperty .

pq:P854 a owl:ObjectProperty .

pr:P854 a owl:ObjectProperty .

wdno:P854 a owl:Class ;
	owl:complementOf _:7317e7e5a3edc1980ecfe7616bb5fa1d .

_:7317e7e5a3edc1980ecfe7616bb5fa1d a owl:Restriction ;
	owl:onProperty wdt:P854 ;
	owl:someValuesFrom owl:Thing .

wd:Q188915 a wikibase:Item ;
	rdfs:label "National Library of Israel"@en ;
	skos:prefLabel "National Library of Israel"@en ;
	schema:name "National Library of Israel"@en ;
	schema:description "national library in Israel"@en .

wd:Q107507571 a wikibase:Item ;
	rdfs:label "OpenAlex"@en ;
	skos:prefLabel "OpenAlex"@en ;
	schema:name "OpenAlex"@en ;
	schema:description "open catalog of scholarly papers, authors, institutions, venues, and concepts"@en .

wd:Q89345680 a wikibase:Item ;
	rdfs:label "YSO-Wikidata mapping project"@en ;
	skos:prefLabel "YSO-Wikidata mapping project"@en ;
	schema:name "YSO-Wikidata mapping project"@en ;
	schema:description "project where concepts of the Finnish General Ontology are matched with Wikidata equivalents"@en .

wd:Q16719563 owl:sameAs wd:Q852732 .

v:f987783e1f9c9fa0cb0b774d330af52d a wikibase:TimeValue ;
	wikibase:timeValue "2013-10-28T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:664bae4effccc18fd4ad1ae188fab025 a wikibase:TimeValue ;
	wikibase:timeValue "2020-07-09T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:b6a1065097a19269520b55be0a2103bc a wikibase:TimeValue ;
	wikibase:timeValue "2021-06-13T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:3b2ff2744ee9af4b07734336d1723792 a wikibase:TimeValue ;
	wikibase:timeValue "2022-01-26T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

v:c1e4e531c5ac7d1dac0681888653faae a wikibase:TimeValue ;
	wikibase:timeValue "2022-03-21T00:00:00Z"^^xsd:dateTime ;
	wikibase:timePrecision "11"^^xsd:integer ;
	wikibase:timeTimezone "0"^^xsd:integer ;
	wikibase:timeCalendarModel <http://www.wikidata.org/entity/Q1985727> .

ref:ff65511d37e885bcf005b99c2241192548c3f03a a wikibase:Reference ;
	pr:P248 wd:Q16583225 .

ref:2b00cb481cddcac7623114367489b5c194901c4a a wikibase:Reference ;
	pr:P248 wd:Q15241312 ;
	pr:P577 "2013-10-28T00:00:00Z"^^xsd:dateTime ;
	prv:P577 v:f987783e1f9c9fa0cb0b774d330af52d .

ref:a29a646602abf65105ed0f39a44231c962ece9ee a wikibase:Reference ;
	pr:P143 wd:Q177837 .

ref:9a681f9dd95c90224547c404e11295f4f7dcf54e a wikibase:Reference ;
	pr:P248 wd:Q64139102 ;
	pr:P813 "2020-07-09T00:00:00Z"^^xsd:dateTime ;
	prv:P813 v:664bae4effccc18fd4ad1ae188fab025 .

ref:bb26a730ed734205aecf8185fd5bec458e13839d a wikibase:Reference ;
	pr:P248 wd:Q16583225 ;
	pr:P854 <https://thes.bncf.firenze.sbn.it/termine.php?id=4936> ;
	pr:P813 "2021-06-13T00:00:00Z"^^xsd:dateTime ;
	prv:P813 v:b6a1065097a19269520b55be0a2103bc .

ref:c8a47202c92936005b390eb36ddd267921b51f43 a wikibase:Reference ;
	pr:P248 wd:Q188915 .

ref:c13ba4d7902ead2693f79396bc25bd35d4d14030 a wikibase:Reference ;
	pr:P248 wd:Q107507571 ;
	pr:P813 "2022-01-26T00:00:00Z"^^xsd:dateTime ;
	prv:P813 v:3b2ff2744ee9af4b07734336d1723792 ;
	pr:P854 <https://docs.openalex.org/download-snapshot/snapshot-data-format> .

ref:a5327c7d451b92419149e391f1e51131a370da6f a wikibase:Reference ;
	pr:P248 wd:Q89345680 ;
	pr:P813 "2022-03-21T00:00:00Z"^^xsd:dateTime ;
	prv:P813 v:c1e4e531c5ac7d1dac0681888653faae .