{"entities":{"Q1915134":{"pageid":1925876,"ns":120,"title":"Item:Q1915134","lastrevid":69285387,"modified":"2026-04-13T05:59:48Z","type":"item","id":"Q1915134","labels":{"en":{"language":"en","value":"Productive use of failure in inductive proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 887165"}},"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":"Q1915134$DA66BCF7-C375-4848-8950-C1DA035AE8BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cfc09350b9a84e94654d2fd0f2eb6464eff3b99","datavalue":{"value":{"text":"Productive use of failure in inductive proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1915134$0A825493-7827-4D1A-AF88-C085F19AA153","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"647c8b2db285670485312dcaaf899fb04d25c89f","datavalue":{"value":"0847.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915134$EC3B8E5C-BB66-4FE7-B924-E39BAE7CEAD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83a9f06733b66b62025900fea72d31e76068f0c9","datavalue":{"value":"10.1007/BF00244460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915134$1B9550B4-9136-4A4A-A508-6B3AE38179B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"982d9eb1fc0eb5fc17fd1d5b1b0dc7d42b2233e1","datavalue":{"value":{"entity-type":"item","numeric-id":685547,"id":"Q685547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$2CCDC21C-116C-4B55-9936-0B4AB0E733AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$4AE8FE50-BFD3-4400-8F5D-A17B3A5769B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$5C2B5720-8BFE-4F02-9E78-8A51AA74AD8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88c2210e4885c1985c6e989c6e3d5dfc697aa6d7","datavalue":{"value":{"time":"+1996-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1915134$42895AB8-CC79-4808-AC31-E525D8D04664","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915134$55E30A22-A3B9-4C73-8233-8952FFF350CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76df569d1d3e0395e153056876c5e3d17d3d0c4a","datavalue":{"value":"887165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915134$7DD1C6ED-490E-449B-AA35-AB10B781EE55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915134$9EB869C3-2BD3-4A99-898F-AE4B480044A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd23f1ac15738884d4f597ff06d742c7a60a96","datavalue":{"value":"rippling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915134$DFD29EDA-89C7-4E88-9170-B1CB1A665E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915134$C0B02DD9-827A-4C99-833B-ACA81ABF2329","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$491BB8A6-E1B3-4921-BDA3-2076D7CFCEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$0A5CCC38-16B6-4411-85CA-EAD53DE33070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$CC4DDDE3-2CE0-4594-A702-5EE35576AC41","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":"Q1915134$AEACD380-E990-4661-93F7-D3E9C83706BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$E01677B4-7BBE-4B12-9744-70659398DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$86B7EBAA-3B14-4078-B91B-196FBEDD0C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$9099D708-368E-41C0-96BA-97169057C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$D2E41517-9B33-4485-90AD-90EDC194C8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c7366d3e0a05348da771f065bba9932f8ccf78","datavalue":{"value":{"entity-type":"item","numeric-id":4264732,"id":"Q4264732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$C7EB64CD-23A6-43EE-9311-7AC78484D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$4D4BB490-E96A-41E7-99AB-78C7CEC0DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$519BC271-E538-4E73-B1C4-5EA37DADC711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1039dcb0ade265f30c4ba54e695ff2f5973119a3","datavalue":{"value":{"entity-type":"item","numeric-id":5234713,"id":"Q5234713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$A05232F7-A227-42C4-A1FC-1032D34AFFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ad21c4a3a098255dd2efb1e77599202b4348a9","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$CBF63A5B-7BDD-4521-8DCE-CA432E53BAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df79bd3338a85c706f4f3504798a884c653b507c","datavalue":{"value":{"entity-type":"item","numeric-id":5210759,"id":"Q5210759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$3158D985-CE87-44DE-99B8-966E22E42ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$96B4AC17-15D1-492C-800F-687F1FC47BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276639f8c117ecfd4e5eb18312eba68ddb5a7b51","datavalue":{"value":{"entity-type":"item","numeric-id":6488527,"id":"Q6488527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$0D13F475-EEB2-4A7D-834B-AA52BB04B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5230907bea404aa6c2fb79168521e88708f2a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":6488528,"id":"Q6488528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915134$19FA06CC-82B9-4CF1-B957-6940220D1074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1bf10e01bce7861ad3992e09e2a9e1eb6ea55a0","datavalue":{"value":"https://doi.org/10.1007/bf00244460","type":"string"},"datatype":"url"},"type":"statement","id":"Q1915134$173F39C6-84F1-4169-BA57-157668D88A6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6b798d35c0d49d4588a0613c8d275c6eaa3cf06","datavalue":{"value":"W2067540169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915134$32E5AA82-6BB4-4F57-B6BD-E33405E1791C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39078b044b6bc62d5011e3162d33db7f9a27bd64","datavalue":{"value":{"entity-type":"item","numeric-id":3564031,"id":"Q3564031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6896d1010c5d109a695dca25259a967efda4b73f","datavalue":{"value":{"amount":"+0.8806599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$1F0EEE1C-1F59-433B-A083-24B8710BD9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9bcac746d0b992e8ff1482a52100c38e2002fe","datavalue":{"value":{"entity-type":"item","numeric-id":1601863,"id":"Q1601863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d4220d281eca1fd4cfb4a788df212b2ac89fb3","datavalue":{"value":{"amount":"+0.84437007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$82A2612E-A9BF-4D61-B9D0-0B0D070794C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b557240f059d53476de8504f777596999e2fc436","datavalue":{"value":{"entity-type":"item","numeric-id":5713944,"id":"Q5713944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2decab2ffe11c5252204c425ad68416c098bdb","datavalue":{"value":{"amount":"+0.84194535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$468D8E9A-C15C-4F0C-9E47-6BA45C5D96D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a3473d1b4dde1c282d33d41cbd0091f75bcd22","datavalue":{"value":{"entity-type":"item","numeric-id":4819004,"id":"Q4819004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83627609487c3305e9b12cbcb4ba310e2253394","datavalue":{"value":{"amount":"+0.82967025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$FCBAC23C-1266-47D0-A554-555F3D6CC79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b54fd7b39431feb0673fca0ec53731cb9b694","datavalue":{"value":{"entity-type":"item","numeric-id":2767053,"id":"Q2767053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcacc9724ea0372682d21f3c3232d69b1ba8f40","datavalue":{"value":{"amount":"+0.82776994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$85219321-6ABF-463F-8298-1B0FD425D4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f973b9d4fa03e23db62545e9f971f8dae1bc0abc","datavalue":{"value":{"entity-type":"item","numeric-id":2848045,"id":"Q2848045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde5099ad14c55ac89bedbf286bcff45b0b1e6a5","datavalue":{"value":{"amount":"+0.8269219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$601A4A65-A004-47EA-923C-EF5EF172711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e5279983c8bdbae2df9b45319add3e13808ff9","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffe717a3c7b59026c7682c122e262415bfb7992","datavalue":{"value":{"amount":"+0.8210904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$261795D4-A8D1-47D4-BBC8-08DEAC7B4545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6e3e22b8e69cfb2da6e33cdf8af134aebad6d","datavalue":{"value":{"entity-type":"item","numeric-id":915483,"id":"Q915483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e0694b7606df93dc8be8a964ee53dc42b89849","datavalue":{"value":{"amount":"+0.819485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$0D2C149B-D1AB-4B1D-8D20-E629E569EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fe79bb5d9364852e6b28291992de652ac9faf8","datavalue":{"value":{"entity-type":"item","numeric-id":3643116,"id":"Q3643116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161e7720436e02ba944dfdcc8cbc9c6e2fba367f","datavalue":{"value":{"amount":"+0.81671435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1915134$293F86FF-613F-4822-A6D0-3B3FE053DF84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Productive use of failure in inductive proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Productive_use_of_failure_in_inductive_proof"}}}}}