{"entities":{"Q5712546":{"pageid":7742100,"ns":120,"title":"Item:Q5712546","lastrevid":96967265,"modified":"2026-06-05T12:54:40Z","type":"item","id":"Q5712546","labels":{"en":{"language":"en","value":"Program Development in Computational Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240716"}},"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":"Q5712546$F48C2987-48AD-447B-8C13-A38DD3F4DF2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0ff9531e6a46a09948bdd61a7015ad91d5a16b8","datavalue":{"value":{"text":"Program Development in Computational Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712546$6F4C828A-5A6E-4385-96D4-9226504BB18E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b761f93d93fba55eac6599c947f00428e3b9bef2","datavalue":{"value":"1080.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712546$ADC3D829-DF89-4C32-8D92-72B6B53BE7B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e105f5452a33d5c31b2de16d56cb54daabe02cb1","datavalue":{"value":{"entity-type":"item","numeric-id":615892,"id":"Q615892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712546$C83D8135-D2D8-419C-8302-4EF1A2701D45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712546$E17ABAAC-4B90-4986-908C-53BFD2F363E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5712546$EFCE8912-D05C-4843-A0C8-8880C12E3C41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712546$DE42FE35-7CCB-40CE-9FD6-A1FF6A8196C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712546$E1ECFDBB-DDDC-4DEB-B574-5F61E35A13EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6a15c7a980276369c1e60dea36719cc4a3e22b8","datavalue":{"value":"2240716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712546$7BAC81CA-C2CC-4628-AC08-2A2CD3CD81DA","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":"Q5712546$6140B7D0-BA92-464E-BD61-FD3060E58CB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e6679a153cbfe32c47543b827f473d9ea1bddcb","datavalue":{"value":"https://doi.org/10.1007/b98187","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712546$64BF3E84-0148-4653-95BD-6AE012452AA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43654126e66f56c4eaba32f4bb73e39a53069ebb","datavalue":{"value":"W2504992661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712546$01011198-02C2-4F34-BB8A-DD4DBBF409F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537adbe93b1432bccc75cf5929404f6d82cee7cb","datavalue":{"value":"10.1007/B98187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712546$1D502EE0-7F19-4BD3-A760-83CFF626CFDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539af1f29a63fd967a7fa7e490d1c41cccd980f9","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1268313d5201b881a79fef04997c120c59ac048a","datavalue":{"value":{"amount":"+0.8513500094413757","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":"Q5712546$D71406DF-7F44-420B-B6EA-6915F714179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f109f5533513f8b01baa0a7acc928800cec32c5c","datavalue":{"value":{"amount":"+0.8490913510322571","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":"Q5712546$6904A81D-AA92-40D0-ACC0-C40C8154643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d548e1f93b3ec9a5d15310869e82cfdacfe4d7ed","datavalue":{"value":{"amount":"+0.8318381905555725","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":"Q5712546$966B50B7-5375-4AEA-AC11-64015A1F596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26df51f00a916100725a1aab7c734c829c9df8c0","datavalue":{"value":{"amount":"+0.8296406269073486","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":"Q5712546$3FC79A19-005A-40AF-87DC-280237AECD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a51a0c7ebb1b24b7e1eb67929759663ab6faafd","datavalue":{"value":{"entity-type":"item","numeric-id":1205176,"id":"Q1205176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fdd59cfc8181c53955c8aa7225cdf8041f4e2e","datavalue":{"value":{"amount":"+0.8295559883117676","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":"Q5712546$8B69586C-400D-4962-B8A7-4EBC058F0489","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program Development in Computational Logic (scientific article; zbMATH DE number 2240716)","badges":[]}}}}}