{"entities":{"Q5220422":{"pageid":7249992,"ns":120,"title":"Item:Q5220422","lastrevid":94457426,"modified":"2026-06-05T06:52:03Z","type":"item","id":"Q5220422","labels":{"en":{"language":"en","value":"How to Prove It"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7181086"}},"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":"Q5220422$ECD2DB7D-47A7-4DBA-936A-4DB55B73B046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77695fc00b752714bf67aa4da540aa3b55ed1461","datavalue":{"value":{"text":"How to Prove It","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5220422$4939201C-3441-4B8E-93D8-6BC22B6E1642","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa79712aca7d380ef1b94a946da5880e69544bfb","datavalue":{"value":"1433.00003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$9CADA87A-D8BD-41B4-ACEE-C3DFE9F2E5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3182ef7a2b1d73289c10eb219abef91a33ff9ccf","datavalue":{"value":"10.1017/9781108539890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$68D705D9-561C-41B3-BE5A-A7DB5CA9994C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49ba16de73af7352798b9ecbe7e356b540bcd2d1","datavalue":{"value":{"entity-type":"item","numeric-id":297478,"id":"Q297478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5220422$FBF92841-65FD-4CC7-B51F-6B7382A73310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5233054102923c474b5192cd7f4237a03aef820b","datavalue":{"value":{"time":"+2020-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5220422$47AF7443-6238-4376-926D-C6993B869385","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fab80b3c311bdab63b83abca82915a779bf7fc0","datavalue":{"value":"00-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$DAF754C6-B265-46C2-BBB2-CD7289DF34D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$45BD896C-656A-463A-8CA5-09FFE437438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$87AC95E1-0BE4-4275-A77B-36EB525E98EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6c2a2bea8caff0b0b2949422178966a9bd6b8f2","datavalue":{"value":"7181086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$7C27133B-1CB8-4FD6-B27B-B9DA7CA91C9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$54203A94-D4E7-43A1-8A6B-C3780C067439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88999312dae38ce917ef1b11bcca5278488786","datavalue":{"value":"quantificational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$1A04E47D-13DB-4252-8B80-EE07C2F656F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040eed803a7c68ddbf960508c8fcfc54a6481e17","datavalue":{"value":"structured proving techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$B819710A-7BE8-4794-8E8E-247DD81C35FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$F688CABC-4F84-4A76-BE36-03DD3698860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9452b3dbdfc75b899bfdf31335a5a05fb55504ba","datavalue":{"value":"functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$215ADD6F-F7BE-4BAC-AFCC-5C9465993BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$54E7B5DE-EEF6-4FF2-B49D-47677EA2CE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2043507328e1060eab2dde92c37008b41e2208ad","datavalue":{"value":"infinite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$142E373E-052F-4FA1-A984-E2BD30A50B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8367078dd53268f15f939794271a5000fbfa9214","datavalue":{"value":"prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5220422$9D8C93E6-719C-4AA1-B3BC-4A30E55E7403","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":"Q5220422$D575739E-B05B-4E6A-97C1-1943D42E5935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6510abdf01563e89ca71b8d3f03cd62ca1b20b10","datavalue":{"value":"https://doi.org/10.1017/9781108539890","type":"string"},"datatype":"url"},"type":"statement","id":"Q5220422$D744EA17-067B-42FE-BFC4-98D5FE5A3C89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dc43d889536757f270b0c27a8f0fe12e39be612","datavalue":{"value":"W4245196853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5220422$09756DAB-C0DF-4221-B4FF-73B8665C7AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f92b9bf804215642633996187959e2da2c6ab4","datavalue":{"value":{"entity-type":"item","numeric-id":5200633,"id":"Q5200633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5220422$E72BE005-AEC5-4FC5-BF15-7AF0C373BB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63edfb17eb8283653bdb3ad848722b79683066e8","datavalue":{"value":{"entity-type":"item","numeric-id":4320521,"id":"Q4320521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5220422$458274B2-F882-43A0-8A6B-78E91749A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f456abc85ba0254023e5f934ba51c118c61c9178","datavalue":{"value":{"entity-type":"item","numeric-id":3569849,"id":"Q3569849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4faf86c949652ca5ec005a0a98c467dff23d29d5","datavalue":{"value":{"amount":"+0.85733014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5220422$854A3394-D7B5-4EAB-AFE7-117CA0404640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6716aae8a6d5d69e72ce1c624421e6ed91cfd6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3582720,"id":"Q3582720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e3815f85b4abd68bff1125bb6834b5318c45bd","datavalue":{"value":{"amount":"+0.8558779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5220422$16062AA0-686E-4244-AE98-EBDEA38134DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to Prove It","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_Prove_It"}}}}}