{"entities":{"Q5200633":{"pageid":7230204,"ns":120,"title":"Item:Q5200633","lastrevid":100652321,"modified":"2026-06-05T22:41:01Z","type":"item","id":"Q5200633","labels":{"en":{"language":"en","value":"How to prove it. A structured approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5018134"}},"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":"Q5200633$B577B9D8-1F6E-4E3A-B855-9B143CCDB269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f99551ab3f78bcf9911d016407d1c83a379d6bb2","datavalue":{"value":"1101.00008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200633$295F6F09-AA83-46A5-98C7-C84CCDCA6797","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":"Q5200633$6DC61EDD-9F68-4560-A3B1-F2173C3820E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d46e62f84038709636a8424aeb2d7b98e039b83","datavalue":{"value":{"time":"+2006-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200633$2202B720-EF8F-40F5-B910-E7609F5BD92B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200633$F6C32496-4309-4633-B291-0DA24334368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200633$86E72CFD-DB2B-4880-A7CE-D7D9FB56DB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fab80b3c311bdab63b83abca82915a779bf7fc0","datavalue":{"value":"00-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200633$44AE794B-59B7-4B84-A09C-D0C5230F39A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d13e0a564197ef904c6965975d09757ca55958c","datavalue":{"value":"5018134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200633$3EA77E1B-05D5-4E34-852C-753A1640D703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$90FC7810-AAD1-4EBF-8F0F-FC41134FC79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88999312dae38ce917ef1b11bcca5278488786","datavalue":{"value":"quantificational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$9BE57669-D2C7-47E9-B946-E7B2B6541E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf17424374626c71e23a62025eb8d358199b9e81","datavalue":{"value":"problem-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$6E03CAA7-B72C-4863-849B-FBCB2078DA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040eed803a7c68ddbf960508c8fcfc54a6481e17","datavalue":{"value":"structured proving techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$31DD4983-793E-44E9-A61F-4616D02A556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$D126239C-AD46-4CA5-93A6-E4245034D690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9452b3dbdfc75b899bfdf31335a5a05fb55504ba","datavalue":{"value":"functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$D9C17689-7E01-4A1F-B176-82152BBF381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$26FF77E8-EC02-4DF3-94DF-BE1FE16EE5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2043507328e1060eab2dde92c37008b41e2208ad","datavalue":{"value":"infinite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$1DD6B99F-2388-4363-939D-794368A13DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8367078dd53268f15f939794271a5000fbfa9214","datavalue":{"value":"prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200633$744FEEE0-D5A1-486B-85CA-D3A3BBBEC856","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":"Q5200633$7EC51DD3-0EE7-4A39-B119-A391F7E38C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df73f3a933df512b0dce8dc580eabc92aafcea88","datavalue":{"value":{"entity-type":"item","numeric-id":5220422,"id":"Q5220422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e882f8e1ba582b893a834ed032446c3335b072","datavalue":{"value":{"amount":"+0.772719144821167","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":"Q5200633$9C7A443C-2530-40CD-9472-C881B3CBB8D4","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":"25bcc6cfe4b600a700d6071d170e74e5bd52c40b","datavalue":{"value":{"amount":"+0.7602706551551819","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":"Q5200633$5DB8AF2F-0E00-4FBE-97BB-CB9EC288EA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad81cee77a7ea4f03c93a5cf737eeeeca8944a3","datavalue":{"value":{"entity-type":"item","numeric-id":2995546,"id":"Q2995546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7190869a550c6ead1fce476b4ce8d17e953f9e0","datavalue":{"value":{"amount":"+0.7519305944442749","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":"Q5200633$63DDF7A4-7DB6-45A6-84EF-00BED05375CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8247f9b8740ca31c1d2f36ef234a44b05c41a115","datavalue":{"value":{"entity-type":"item","numeric-id":5747594,"id":"Q5747594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103a15371ae5991fb9139fa156c851b1773d55d7","datavalue":{"value":{"amount":"+0.7473552823066711","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":"Q5200633$02C38990-8B60-4D01-836E-967FA4552E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b764ff8255aa31144656f6da0b0ff71ba2b9d396","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1451299d239c9007817c06ce9294c58392ecea0","datavalue":{"value":{"amount":"+0.7416598200798035","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":"Q5200633$9277581F-A190-4AE2-AFAD-CF1AAEBABE1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to prove it. A structured approach","badges":[]}}}}}