{"entities":{"Q5387856":{"pageid":7417430,"ns":120,"title":"Item:Q5387856","lastrevid":101151380,"modified":"2026-06-06T00:00:24Z","type":"item","id":"Q5387856","labels":{"en":{"language":"en","value":"Reasoning About Incompletely Defined Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279540"}},"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":"Q5387856$E6D78A78-0532-431B-8F74-68F4118C4E59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82fc60deb8abd7a2a1ab4d24312557d54d84a9a1","datavalue":{"value":{"text":"Reasoning About Incompletely Defined Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387856$281CE0D6-1D01-48E7-B8DF-F42E464926B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a94cd219393dd20dee6eaf0e581f256d4c9d41","datavalue":{"value":"1143.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387856$06CD54BD-1874-4203-ABA1-BA77422FC163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"781c344e8fea950fa2f142f83ad5144fef875d5a","datavalue":{"value":"10.1007/11591191_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387856$36A1C805-1229-4F1A-AD03-B816E25FFD95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387856$5430738A-7B8E-4FAC-B708-31283A8152A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb2074d6ada8165c79b9b3cc75134122ca3a1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5387855,"id":"Q5387855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387856$4E75DACC-E5B2-4D3B-8F98-95CE39312482","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387856$28C08306-31A3-4BE9-9EE7-56948DF8A53F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387856$A40D8A6B-3926-40F8-A0F3-FBD75972775A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387856$E42D4B49-4273-4B53-8027-37D0E0E07ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387856$ADD34185-AB88-4E08-9414-536AABD4058B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8070933e1542c9e0576bf0e09d7842fdecfd9cf","datavalue":{"value":"5279540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387856$569DD070-349A-449B-A2F1-B16CA0CBBB15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387856$C70E3CA9-6A77-4D27-81F4-04BB9AE9B728","rank":"normal"},{"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":"Q5387856$66D9623D-F327-4941-B54D-2C1AF9C2F367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387856$092A44C1-F262-46C7-AD93-973D0523F8E2","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":"Q5387856$0D9165DE-EF64-4F68-8421-76718DE80C6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b4b6ebc8bdfbe70784e2b761b3946f04e3bd62e","datavalue":{"value":"https://doi.org/10.1007/11591191_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387856$77054060-7699-4ED8-A14F-8CB416A2815A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d20f220057b8e44fec25e401f30344089fd82515","datavalue":{"value":"W1802805207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387856$D5601367-C7E5-4BA0-90A5-F23BFBBF7382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19682237f5a87ef8e27d9fc3230804b28d67d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660e7e7d1f6eed9863eab384ae692f21aa3c6a69","datavalue":{"value":{"amount":"+0.91075146","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":"Q5387856$2FB1569C-EA0B-43E5-9963-5E390AD1A1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3a255266f36191915db130af5af18c5f18eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1271855,"id":"Q1271855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a8616db1a249dc392cc8354319e87f4ff5560d","datavalue":{"value":{"amount":"+0.89652437","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":"Q5387856$006D38FE-C7D5-473D-B5AC-06FEA6FF5BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce24cae45f9916695abe9d4c3328bd592a88431e","datavalue":{"value":{"entity-type":"item","numeric-id":2804944,"id":"Q2804944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f2cf411eefd77ce6f1e8808f0f908cc6da2000","datavalue":{"value":{"amount":"+0.8961589","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":"Q5387856$894FD27D-2359-4A54-8627-F1120396767C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272d43b608027d1551c02fdad11d1a4ad4b18f45","datavalue":{"value":{"entity-type":"item","numeric-id":2863853,"id":"Q2863853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb35eb7362d09eb3d670698a4b9c243f5bfe3785","datavalue":{"value":{"amount":"+0.8939234","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":"Q5387856$04C73D7D-4693-4964-8118-26AA1E1AACB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cee7b2ffed13a96ddaf64b8c6127ce6da215851","datavalue":{"value":{"entity-type":"item","numeric-id":1322854,"id":"Q1322854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19373146e7f5a3f69196b08480014f40ac00d17d","datavalue":{"value":{"amount":"+0.8896209","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":"Q5387856$A61D6833-90AB-4CE2-9533-1D17FE1E7F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e9e500297485813409c95054fea637f72f7074","datavalue":{"value":{"entity-type":"item","numeric-id":4632437,"id":"Q4632437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f678a438f8a654332cfd9ddd612398b7f8cd469","datavalue":{"value":{"amount":"+0.88344413","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":"Q5387856$A9B3E2BD-CA17-469C-9549-8152071C207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a250a102dcb04d97066e71cf36ca4d45f5a332","datavalue":{"value":{"amount":"+0.878998","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":"Q5387856$E3BCB09A-6A00-45C9-B7CC-B8206F2EE0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ecc5f2b6a4feb3a15b32191adff6a10d93b5b6f","datavalue":{"value":{"amount":"+0.87750566","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":"Q5387856$DEB1C4D0-D859-420F-ABA8-FEDE40F849A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9db6313a984fa9e28d82f4a67aaae45bc9c6c41","datavalue":{"value":{"amount":"+0.8756405","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":"Q5387856$929CE5AB-0DD7-486E-9240-116721C5EB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning About Incompletely Defined Programs","badges":[]}}}}}