{"entities":{"Q4647501":{"pageid":6677082,"ns":120,"title":"Item:Q4647501","lastrevid":53320886,"modified":"2026-01-24T17:43:33Z","type":"item","id":"Q4647501","labels":{"en":{"language":"en","value":"Patching faulty conjectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001895"}},"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":"Q4647501$8E8A93E7-408B-4DD9-800C-2E140E40CB60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9539acb71cdc2ed68d8e1461778c456c770130a9","datavalue":{"value":{"text":"Patching faulty conjectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647501$600119DC-0F38-4B3B-ABB2-5C8D41398892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0afbff6fa841e5a6eebd3d5fb10e6f94bd0e2000","datavalue":{"value":"1415.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647501$9B8BD81E-6721-4B4B-9BC8-3A1FC1611548","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"686f7cc815aa18851c99cc7af817c9a885cfb55b","datavalue":{"value":"10.1007/3-540-61511-3_70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647501$89FEF865-AEF2-4BEB-8804-4AA34AD3A610","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e2929452074c29c439563343eeb82e1599a58c6","datavalue":{"value":{"entity-type":"item","numeric-id":4264709,"id":"Q4264709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647501$0B4A3CE1-37A7-4DEA-9FA7-446CF3867D26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647501$49375E60-C714-403D-86CD-BDE8ACA9CDFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647501$136B92AC-27B6-4BF2-B82B-D83DA8DA96BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647501$DEAD2EE7-1B10-46C5-ADE5-D4CDBCB0A427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647501$F8F7524D-0EDC-40DE-874F-C4505745726F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3a98e4d240db34d21956b5ac774f0751c312974","datavalue":{"value":"7001895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647501$65FB7D3E-D2FB-4D4E-AEAF-E414482D4CE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5389f846c6ee70f3ad2438379b2781469fa68ad","datavalue":{"value":"induction hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647501$D1265D60-3867-45AC-A86B-7C6B752CF7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a800b667c18214ff04425473d9ae2da328b894","datavalue":{"value":"recursive call","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647501$C2CEBAA8-966A-4633-AB32-9A3AF2C809A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca991e55aca2cc687cd17d911f9dcb07aa6e44c","datavalue":{"value":"ground term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647501$23B2EC9F-D6DB-47C3-8CC5-6AE96C1EBF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa615d5ee3e5b863db08f64641b6c6c57902272","datavalue":{"value":"induction proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647501$64751753-6F28-4EF3-AFED-4C689F9968E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647501$95BB480B-7810-4BB6-9C6F-0B2B8CA0A22E","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":"Q4647501$E5ED07BC-22BD-4B12-B5F3-DF6A740F4592","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e55ebaf0f61dd26d73271b05dd7c0b5d3c3afeb","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_70","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647501$FB3D469D-F29A-4113-8B87-AD1382554560","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b044cbb86aa584505bbf37cedb37bdc67270d9d4","datavalue":{"value":"W2108239812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647501$FC4EBCE3-C7BF-4351-BF5D-92C4F677AD02","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":"Q4647501$809E817F-D96B-40E0-89C6-1C73BBD647E1","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":"Q4647501$970FE45B-9FA8-4E60-BCF4-0D7D01DB19E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383f99d67dde72861467bf9cf8ae96ff333b74c8","datavalue":{"value":{"entity-type":"item","numeric-id":5305721,"id":"Q5305721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647501$F460121F-85CB-41E8-B552-B5B082F439BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb9457f1233433ddb3ac70457c8fc889d94bae0","datavalue":{"value":{"entity-type":"item","numeric-id":5210761,"id":"Q5210761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647501$4A3DFA0F-2003-41DA-BCFA-6B9E12DCCBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c8f4c6b02114c3323bed666fcec0afbad9b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4255517,"id":"Q4255517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647501$30397A9E-B396-4A7E-BC44-28E283ADE33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647501$2BC35BC1-5D8A-4559-97A5-67F9D35FE54C","rank":"normal"}],"P1643":[{"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":"2846ee1cb5458a05abde2c1b8ce6c7073660d719","datavalue":{"value":{"amount":"+0.923478901386261","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":"Q4647501$F85BFD37-C405-4F4D-AB98-5A46DDD88092","rank":"normal"},{"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":"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":"Q4647501$FC9CBF2E-0B77-4DB1-BE98-7177A0A85C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70983583bd7e5ea71011477dc85b183843e87af","datavalue":{"value":{"entity-type":"item","numeric-id":5464716,"id":"Q5464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775835282dfbf32df22040b417782a9a6e836341","datavalue":{"value":{"amount":"+0.7281014323234558","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":"Q4647501$BECB7B51-3152-4977-AE86-90DD972031FF","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":"b7b564c1e16708945594a8267811208e3289de40","datavalue":{"value":{"amount":"+0.705954372882843","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":"Q4647501$B5A40141-74C5-4A27-A596-4E922117912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3bea1a861ea6de17913f192489d00954bfe9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4202919,"id":"Q4202919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90be80ea389313bd0b07520d1bfc8bb49b3fdb15","datavalue":{"value":{"amount":"+0.7039059400558472","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":"Q4647501$822CED55-ADD2-4C08-907B-111737908BED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647501"}}}}}