{"entities":{"Q6652800":{"pageid":14263957,"ns":120,"title":"Item:Q6652800","lastrevid":100154135,"modified":"2026-06-05T21:30:55Z","type":"item","id":"Q6652800","labels":{"en":{"language":"en","value":"Formal ontology and mathematics. A case study on the identity of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7958036"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$D1068865-BD2C-43DA-AFB9-4C31AD577856","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd4f55a08190c8ee3bf5e071a984c9353b653149","datavalue":{"value":{"text":"Formal ontology and mathematics. A case study on the identity of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6652800$172684CC-0A7E-4E34-960A-116FE35B227A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd8cbbc02935e46c25e74094297cd6cf474b98d","datavalue":{"value":{"entity-type":"item","numeric-id":1982003,"id":"Q1982003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$7A7482DC-5A7A-4ED8-B562-704AAFE29762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22342485511ab36ea3c094d2ea6d563c1167efae","datavalue":{"value":{"entity-type":"item","numeric-id":1982013,"id":"Q1982013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$02EEB447-1595-4819-B4D4-650FCD8ADF95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd05317874c93cb20da293114ffa998a3e7b1b1d","datavalue":{"value":{"entity-type":"item","numeric-id":218483,"id":"Q218483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$E8B5E928-1001-4CB6-B70D-01CD1DACD570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5323d6eeafc13fbff671c8611c3f798207ba09d","datavalue":{"value":{"time":"+2024-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6652800$333BC7CD-8295-4A4C-BEBC-D9A6969A4A4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652800$E1B563D8-6F64-4B49-B4EF-E6352DEB73AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8b50900ff25679486d76c94b5bb867f80aa8f1d","datavalue":{"value":"7958036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652800$06EADAFC-AFE8-4280-9A75-AE3E3E3FAF7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931ea2662e9a756ef929fba6f32fbea8734eba14","datavalue":{"value":"formal ontology of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652800$64C61C5B-CD0D-4CFB-AEE9-6704E1075920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b706bc8813103844e90ddb4f78edc1800dd816ea","datavalue":{"value":"identity of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652800$3358C73C-FD43-4D75-AFDE-12BB35CF018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3fe196543e16afad6ea49179487ab6a48fd9bf","datavalue":{"value":"Euclid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652800$633C9353-09EC-4680-88F4-4917BEC7CF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bafc57ac0d1363f4aea3b830af8a08fc3ba0cdd7","datavalue":{"value":"proclus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652800$03D1467B-BB15-4CBE-8227-9B5C4D223EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e689fe87c9a8a73399991b2f96dfb21a7919dcf2","datavalue":{"value":"semantic web","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652800$2670A31C-29B2-40A8-9CA0-CB0DD8D3A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3d66cbd3fdb2536fbb21d52b9022e0925cd4d2","datavalue":{"value":"proof-assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652800$B6862EED-B702-4DAC-926A-C72EDB5ABBF1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$84CFD44A-FBC8-4401-AFA8-336C4FE16CA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"686d8c1af79a48830313f258a972641c870a4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2631965,"id":"Q2631965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$36148226-D6AC-415F-A7E0-1952856B4EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650bb76eaf5f85908a55770265170a643b386f86","datavalue":{"value":{"entity-type":"item","numeric-id":4980008,"id":"Q4980008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$BFC1FBD6-D19E-43BB-B7BA-4EDC1C93AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1c5cadedaa2f71bf34fb23d0208c0ef6f0d05d","datavalue":{"value":{"entity-type":"item","numeric-id":2852358,"id":"Q2852358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$1F908993-BF14-438E-85A7-E99876A8C1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad538e7a72cc314a29130d3f57c15956f35fbb3","datavalue":{"value":{"entity-type":"item","numeric-id":3452171,"id":"Q3452171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$6E340E7B-A952-410D-8ABA-C48BF7DCAC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f006d727f3acf3298f51fc9745240df942ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$56A5108F-F9EB-493F-8530-2D18067111EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d51e91008e604186625ce09bd060653249e096","datavalue":{"value":{"entity-type":"item","numeric-id":2546865,"id":"Q2546865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$FA38D4B1-44F6-41A0-87A5-C9B0B0627856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$620F1EB5-6F65-439C-848C-9E68E54E989A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$B7A9E244-EA3C-4F5C-94F9-1E9415E3D2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc144bb95201dd65bc6bbdf508724fcb107ffd0","datavalue":{"value":{"entity-type":"item","numeric-id":1385175,"id":"Q1385175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$DE293232-60AE-4A2D-85D2-BDD82AB32312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285599fa238cc5be3b50bfdd28b51597983d52bc","datavalue":{"value":{"entity-type":"item","numeric-id":1486937,"id":"Q1486937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$D57209FF-68BD-4D0F-8C19-F94E4ECC7504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf78115c00e68aaf5c97f61132f3e0226464c75c","datavalue":{"value":{"entity-type":"item","numeric-id":1529240,"id":"Q1529240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$EF9D2ED2-C4DE-4723-BC30-8632A71709AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681dbc3d876626a364c84c312d92ed7f39514c59","datavalue":{"value":{"entity-type":"item","numeric-id":1522961,"id":"Q1522961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$451EF36C-AF68-4C50-B79F-51A10CD0D48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3402979cd2af4d1acd2178ca545e1659a6f100","datavalue":{"value":{"entity-type":"item","numeric-id":1498414,"id":"Q1498414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652800$BDB69170-6C15-4A55-98B0-E2925A4E6742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a259ccecc2b814c1333135dc79dc6b0fb1853f30","datavalue":{"value":"10.1007/S11245-022-09864-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652800$F2523515-E76B-4DEC-B2BF-2C5B2263C8A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7a6e731d14c95508d2e8e1750f2de2955508f7","datavalue":{"value":{"entity-type":"item","numeric-id":5057055,"id":"Q5057055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdd2a0b2f8a3a5dc2ef40fcd7354b67c20c7c7d","datavalue":{"value":{"amount":"+0.7125528454780579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6652800$B7DC079C-3B9D-43C9-94BC-E7612BA875B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd85257ac4eccb4d26dc545576640f96b369236","datavalue":{"value":{"amount":"+0.7094055414199829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6652800$A011B855-EEA5-4E74-93C1-6DA565B5FFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00268f638801e46a30b139620d428ceefd6f97ef","datavalue":{"value":{"entity-type":"item","numeric-id":2767941,"id":"Q2767941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e855bd3db9d764aa06cf7df4daf9ee76722e6d","datavalue":{"value":{"amount":"+0.7046847939491272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6652800$DE36088A-4FAD-42A5-9BF6-B5A3AB3B2E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"127f4ffb444189849a895037311b0739177ed037","datavalue":{"value":{"entity-type":"item","numeric-id":3654812,"id":"Q3654812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48933d5dcb667b769f4f87d91b1113f4d7473151","datavalue":{"value":{"amount":"+0.7000202536582947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6652800$1F7533B3-E15B-4954-8BFE-02D737E409E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ef2be0ec7fb36080700b0866e77dae3ed0e7db","datavalue":{"value":{"entity-type":"item","numeric-id":383052,"id":"Q383052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a79f189ddb2820a9573802a2730fe6a23d28872","datavalue":{"value":{"amount":"+0.6980612277984619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6652800$DB755829-A8B1-436B-98DC-6C4B8296CA76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal ontology and mathematics. A case study on the identity of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_ontology_and_mathematics._A_case_study_on_the_identity_of_proofs"}}}}}