{"entities":{"Q5957914":{"pageid":8134716,"ns":120,"title":"Item:Q5957914","lastrevid":102076673,"modified":"2026-06-06T03:26:02Z","type":"item","id":"Q5957914","labels":{"en":{"language":"en","value":"On calculational proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719229"}},"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":"Q5957914$BCBCDEBD-C8BC-481B-B34A-E26EA85EA297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2b6db0d2c679f2ae41a26601dd1609f08e84ae3","datavalue":{"value":{"text":"On calculational proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957914$E51CEE07-E7AF-4380-9880-45A798B184E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01cfb405ac5e3b1b72ff7c055bf8ea1428849a69","datavalue":{"value":"0992.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957914$87F59DC3-E061-4AE7-B95E-245E8694A634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aad39a8a1732f7eb6ab6c2fc1b1cf63c910bf49e","datavalue":{"value":"10.1016/S0168-0072(01)00059-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957914$69747DF3-3216-4204-B66E-DA27118A0380","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$AE8CB90C-1AF3-4760-B94B-57A261043983","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$2E6765EB-37BA-4AF5-8D53-FD7A38D83539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7a5494c92a046f682164335d6adb9be84d31ccb","datavalue":{"value":{"time":"+2002-03-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":"Q5957914$774379E8-62A3-4E24-831B-C9C504910D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957914$63839C66-8579-4717-90AA-80843811B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957914$B8760147-04E1-4055-AD6B-B5ADBF44B4D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f41ebf1b8ac0cd11755159476080b06cddf25c","datavalue":{"value":"1719229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957914$39561A9E-2077-4F50-BB39-B53F7EC4B15B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6a9b7e63971460fc76ab7b14bc9ec301a4bb04","datavalue":{"value":"calculational proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957914$EFA97CD6-910F-40A1-8423-5C69E5E72D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957914$1CAE4A87-341C-4F36-B356-7CA9A9F206F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957914$DEB3C3B2-9C74-4502-B83B-6A1D0C52C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df05b5cbe6d96052cd039d76041c97f1ac2fcbc","datavalue":{"value":"sequence of calculations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957914$7A2A8EE9-C166-4FCA-BD6A-04531AB73F10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$58102196-9DF9-4743-835D-EE093EE6E246","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":"Q5957914$9AB6F113-8582-45F7-A3A4-8F54EF4178E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccbb1cd2371d9caafced4fbb9f78bebaacedb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4525273,"id":"Q4525273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$9A39A74E-9916-4728-9EF3-8AED3EEE6ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edde905d6dcae80e3cd5092c0bc88d0164089ec","datavalue":{"value":{"entity-type":"item","numeric-id":1284701,"id":"Q1284701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$E129DBC3-60BE-40DB-A786-0608FC1973C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$73D1FD99-C327-4190-BE5D-05A6CD0DC3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$6F3C2346-038E-4B38-825F-EE5B383AA237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40235e727aa70ad53a8a9ff6438bdb8cd979e140","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$EAF97A86-5912-4F74-BA63-FA306B41DC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faee4227c9f4a73e9676c774cff635c9809281fc","datavalue":{"value":{"entity-type":"item","numeric-id":674268,"id":"Q674268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$1218AD86-FBCE-40AA-A4A9-F2557A4B705F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957914$74EB4F88-D8D2-4C5B-9D0B-E23932835C0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400aa91770e1223f8eeb240d768c478ce35e2eee","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf07b185ff9d2f51a41a7cb96660c17beb19e80","datavalue":{"value":{"amount":"+0.8219135403633118","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":"Q5957914$63989390-746D-42C1-AB45-3D14AE873020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffce656a3b349ae7375eb718151524e72da5bf33","datavalue":{"value":{"entity-type":"item","numeric-id":1607098,"id":"Q1607098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9a2f8696412164aa4f038acec3c62734075df8","datavalue":{"value":{"amount":"+0.8110359907150269","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":"Q5957914$9389886B-9219-40A7-84D3-61A6C02F04E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ca1f12c67ad163330d43f42f3e886aa4ddc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4790652,"id":"Q4790652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16004ce8058fc5d7bec826dff17762235a4a66fe","datavalue":{"value":{"amount":"+0.7963903546333313","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":"Q5957914$52BFE25F-6C1D-4EC1-A901-89CF555050A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac980332962b0979544846d3b225088364b6a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1284701,"id":"Q1284701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b1bd5944d54bf494fe11429b488d3a29115536","datavalue":{"value":{"amount":"+0.7871506810188293","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":"Q5957914$677BA174-379B-4E52-865C-B44911FA1E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7c69d8b5ed58974de588ffd2609549ec5dd400","datavalue":{"value":{"entity-type":"item","numeric-id":2945729,"id":"Q2945729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b1bd5944d54bf494fe11429b488d3a29115536","datavalue":{"value":{"amount":"+0.7871506810188293","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":"Q5957914$B559D1D8-A597-42DF-BE90-8FEAD4EB8763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On calculational proofs","badges":[]}}}}}