{"entities":{"Q5885334":{"pageid":7914886,"ns":120,"title":"Item:Q5885334","lastrevid":47835055,"modified":"2026-01-02T20:12:25Z","type":"item","id":"Q5885334","labels":{"en":{"language":"en","value":"Introduction to Proofs and Proof Strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671692"}},"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":"Q5885334$2E828A8D-8DD6-497E-80EC-7C86AA4256ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad93fd99594e20eecbe48f1a5ca4c2f3184e4a87","datavalue":{"value":{"entity-type":"item","numeric-id":3182540,"id":"Q3182540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5885334$3FE9C155-A1F9-4307-A945-13B9DC51AE5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64e3d3247fd705fe9799442c8a5358604377edc0","datavalue":{"value":{"time":"+2023-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5885334$0939D359-B7F7-44ED-92BE-A7D8D0E25FAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c59113d291ec28c012cb95f0c476ba92d477c2b","datavalue":{"value":"97-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885334$3F7BE374-A3E6-4DF1-966D-338C63951C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885334$03B3B57D-6322-4B0E-B516-51D53244FA07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b80b6839adf4a60f62cb16a050bdbabe447fd32","datavalue":{"value":"7671692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885334$6A06460E-32BF-44E9-B2CF-37D28843EA34","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":"Q5885334$D0F9C9B2-75AE-4BF8-9A4A-3BF352DB8E0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dac067ec96ff8282c66d7a7498c09f6f56843782","datavalue":{"value":"https://doi.org/10.1017/9781009089005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5885334$C3EF5CE6-22A7-4828-BD31-D08DA672C742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89502dde93e74c533dcf93e5113fe1455f4fac0","datavalue":{"value":"10.1017/9781009089005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885334$3028DE8C-65B2-4FAC-B3E4-80FE20F15645","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7cc50dd54e5fe86acc3649b438cdb5a649c05e0","datavalue":{"value":"W4379615560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5885334$0522644A-B7A8-45D0-9628-26ECECD8756D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7d14ea4806ea291ccca09e7c34a4ff7909752fb","datavalue":{"value":{"text":"Introduction to Proofs and Proof Strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5885334$04E30AB3-94E0-4EAA-A77B-58DCC5DDBB64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac0fda1c81b3a224d904f8cf4471f7139477d51","datavalue":{"value":{"entity-type":"item","numeric-id":5357891,"id":"Q5357891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1c14a861ab0178b5b2702608c2476678e1e9a9","datavalue":{"value":{"amount":"+0.7726230025291443","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":"Q5885334$01B7C475-013A-4A27-A613-AB73896A0F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51290d2bf749ceb2633a905b933499dec2a7fee5","datavalue":{"value":{"entity-type":"item","numeric-id":5071537,"id":"Q5071537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27286c7f5760ccec86acad678f0202fe699ac0cc","datavalue":{"value":{"amount":"+0.7719825506210327","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":"Q5885334$8CA8BC37-8011-4F05-81DA-6443D772CCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8f01174bccd62ec35cda1503a165e10ca0cdeb","datavalue":{"value":{"entity-type":"item","numeric-id":6116196,"id":"Q6116196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e680a1d362251c58e4e5a4db9b8010ea1f2df5b0","datavalue":{"value":{"amount":"+0.76090407371521","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":"Q5885334$2B3A31D7-9B01-412B-AB80-9F91B679FD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e2db37c8606449a7a8887c9a2455b8bf498dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4643749,"id":"Q4643749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f20aa285b5ebcf76ab1f09386e7a5167cd3f11a","datavalue":{"value":{"amount":"+0.7593206167221069","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":"Q5885334$F66345EB-3C21-4478-B436-27FBAF8EAF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e5f06012cdfd1f13e1df8294732f370d410351","datavalue":{"value":{"entity-type":"item","numeric-id":5033056,"id":"Q5033056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5055d0eee2daff431f22ef24396e677dd65cee","datavalue":{"value":{"amount":"+0.7468085885047913","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":"Q5885334$85D9AE5E-433F-4DB2-8693-600190B9CDE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5885334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5885334"}}}}}