{"entities":{"Q3564031":{"pageid":5593935,"ns":120,"title":"Item:Q3564031","lastrevid":51000374,"modified":"2026-01-16T03:51:22Z","type":"item","id":"Q3564031","labels":{"en":{"language":"en","value":"Predicting failures of and repairing inductive proof attempts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715361"}},"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":"Q3564031$64F64302-AB94-45CC-A6E4-D954D46E5561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"492946f647759c11620e43c6a9d1f8c9ab35195e","datavalue":{"value":{"text":"Predicting Failures of and Repairing Inductive Proof Attempts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564031$708A6075-0585-4AB3-AB4A-735A35F894D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"196376721e46f975f0ca0d48bdd2aa10fae3dc29","datavalue":{"value":"1214.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564031$1B87A18D-C393-404A-961C-34B9F8794C4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"debccb112de6aad4192207042c7b4e106cefbcc9","datavalue":{"value":"10.1007/978-1-4020-6254-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564031$CA6769BE-EFB0-449D-A764-B2E37C681DE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc3c07fe67798adad374606ca167de6f17564996","datavalue":{"value":{"entity-type":"item","numeric-id":1856144,"id":"Q1856144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564031$0C43D69F-C441-41B7-93EA-38AB083AED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564031$811F3172-16DB-474E-806F-033BD15FF737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4884ea388d9a1b061adeca7a34ce809061266cfb","datavalue":{"value":{"entity-type":"item","numeric-id":877835,"id":"Q877835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564031$38B556C0-161F-4BEF-A26E-FB3B22159640","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564031$FFBF05B3-5AD0-4FFB-A678-53C331587AFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564031$CE646B73-9560-4641-83C7-9B90859444E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564031$04BC2C58-157B-484E-8AF4-2FB03651A993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a596d120a067da0e47f1ced949aede29125e81","datavalue":{"value":"5715361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564031$72528228-0BF6-488A-B9A7-DBE7E19EBB18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564031$B297726F-C456-4CE4-9CB8-AF91AA750C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564031$38335DC8-3AAD-4EED-9671-60E102A11D87","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":"Q3564031$5A3B0651-3A93-4190-AF4F-A7732BAD475E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22e295690acdd85721dd98903703e54ae4214624","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564031$DFFB88AB-A9CB-40ED-B71A-DD9F6F31B036","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94cfe6ed046ee7610d029296bd09a81eae49640c","datavalue":{"value":"W134063458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564031$AF3BB08F-8269-4163-902E-5264BAFB7161","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1daab6f3f44f2f99cfdd2401d4b42f2e35bb627","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3c74031f9f6fc5e1032d691495627bf05ce657","datavalue":{"value":{"amount":"+0.7615746855735779","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":"Q3564031$71EB1076-E7B5-4808-8B6D-0D049FEE8F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f701f20231294a3b496cb6921434354d13c5250","datavalue":{"value":{"entity-type":"item","numeric-id":4647501,"id":"Q4647501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1119c9b6b48b121c69cbd6501380fdbbaf6e30f","datavalue":{"value":{"amount":"+0.7385286092758179","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":"Q3564031$F7D49171-462E-42B7-8503-01F8D92EA3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83887b0753e0ca8b97b34474ba56808bb7906364","datavalue":{"value":{"entity-type":"item","numeric-id":1827320,"id":"Q1827320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b339b4b1e90ea5457c286bbb610ab5a164f7b2","datavalue":{"value":{"amount":"+0.7298482656478882","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":"Q3564031$AABC43CA-4B1D-4F89-AA8D-677C8112F711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152ce6037ea61d2aba1f1d8d034c5f1c2ba19638","datavalue":{"value":{"entity-type":"item","numeric-id":3979265,"id":"Q3979265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb85a8daab3d1ca58cddeb0cc95fb54f5491c03","datavalue":{"value":{"amount":"+0.7253019213676453","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":"Q3564031$9ACC3857-B375-4ED1-9C61-3C4F67526B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95624fd48ac22c1d1a10022afeb19a857a2d7c86","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b5892cfbe9e6834cbfddb452e4a933c2ada9a2","datavalue":{"value":{"amount":"+0.7250441908836365","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":"Q3564031$5F4DAF7B-E67A-4256-808E-0510CFF91D39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564031"}}}}}