{"entities":{"Q2891442":{"pageid":2902167,"ns":120,"title":"Item:Q2891442","lastrevid":84877070,"modified":"2026-06-03T03:06:17Z","type":"item","id":"Q2891442","labels":{"en":{"language":"en","value":"Querying proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046605"}},"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":"Q2891442$F778F7B7-5C24-44CD-9398-DAD848CBE266","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee441e47c126f10a3675d534e07df7a7c7b20303","datavalue":{"value":{"text":"Querying Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891442$273CF73F-268B-4CBA-B788-BF43C331D95B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2038a1e1df1a7929df891e10284982e5a1c8e05c","datavalue":{"value":"1352.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891442$4CAA2D76-7AE8-4E5E-9DDA-E5B976CCBB6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cac08aa7d70072c367dc8d5f59777261841cd872","datavalue":{"value":"10.1007/978-3-642-28717-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891442$5A5DE436-586D-4B8C-BE32-CAC6BBD12395","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1b8b1b6117a19b388d1d022c2e390dc69da1c3","datavalue":{"value":{"entity-type":"item","numeric-id":626931,"id":"Q626931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891442$B02791BC-5A4C-4475-9E8F-9D07E410CD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891442$34105CD9-474F-44D0-ABC9-423D63645C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb2d83c6e9a26863f5eadd24ed7ef714112a42b","datavalue":{"value":{"entity-type":"item","numeric-id":626930,"id":"Q626930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891442$DF0983CE-13EF-4EC0-A14E-0E9556C80FF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891442$F1A8AA57-D706-4604-B850-AD42DF97E9E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891442$4AB73006-92B9-4345-8BF4-AE20435474C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891442$01ACE056-55D7-4E52-9E0A-0B8C3DF96394","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc1a98cc03771f783b335f03b4f073a3722b93ba","datavalue":{"value":"6046605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891442$2CE322FE-3A09-4393-977A-E06C38B20AB0","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":"Q2891442$56F55C3E-10C6-4B58-BF4B-38E0541ED18D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a7c5f0ee14c85a8b514044906f023e6521b2d47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891442$0FA2AF08-19E1-4428-A00E-280DA7AC838E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"778bd7cf12072c8713a5d890f5f809603e2a218c","datavalue":{"value":"W2913665485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891442$A447E603-681B-4F10-82F6-D1585477A985","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1e03e79ab26cf28f54964f9fe002b3c2a096b2","datavalue":{"value":{"entity-type":"item","numeric-id":2870114,"id":"Q2870114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812c7d7bca10876e1f22772fce50fa739738c51c","datavalue":{"value":{"amount":"+0.8890168070793152","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":"Q2891442$D196D128-20C7-4867-BE12-ADFE165E1A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93fa5004479d6f4fc9fe5385a2728a577e96b85","datavalue":{"value":{"entity-type":"item","numeric-id":2655333,"id":"Q2655333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b5ac75c3c2917225c1f693179dfc5972f22fb3","datavalue":{"value":{"amount":"+0.7524358034133911","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":"Q2891442$F4A6C827-8972-40B5-90D1-66F6869AFC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590389987854c62166aa437651a61e790abebe66","datavalue":{"value":{"entity-type":"item","numeric-id":2864359,"id":"Q2864359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ccdc9cc775570bfe12cfc5030fed45a7dd4d9e","datavalue":{"value":{"amount":"+0.7099993228912354","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":"Q2891442$BFDE225E-9BC9-47BB-A094-AC3BFC292BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaadebc466006f9ba58130f8a493cb2148622f8","datavalue":{"value":{"entity-type":"item","numeric-id":2829254,"id":"Q2829254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f36ac499c4e4bb1e816047381677007ca8b2b24","datavalue":{"value":{"amount":"+0.7093015313148499","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":"Q2891442$4B460042-6789-42E9-9426-17BF84388B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc534be3eb834aabf0b2f4a9c4c155267b2fe28e","datavalue":{"value":{"entity-type":"item","numeric-id":2852358,"id":"Q2852358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe570fc64fe6488cccbc6af02558dc479b43968","datavalue":{"value":{"amount":"+0.7078781723976135","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":"Q2891442$D3C41B1E-CF16-4A6C-B981-F20DC9ADCE1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Querying proofs","badges":[]}}}}}