{"entities":{"Q5712537":{"pageid":7742091,"ns":120,"title":"Item:Q5712537","lastrevid":48617785,"modified":"2026-01-05T09:58:13Z","type":"item","id":"Q5712537","labels":{"en":{"language":"en","value":"Program Development in Computational Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240707"}},"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":"Q5712537$9E82ADE0-6115-4C23-A483-7573C637D2EE","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":"Q5712537$66AF6325-7A09-4E35-9622-B9E5D3A7CE13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9ed2d06465dbbb9cb8821fa7c8470b59cdbdecc","datavalue":{"value":"1080.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712537$7D979B60-F05F-4953-B44C-3D668C31E0AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712537$7F09DA36-4880-4B35-8260-65D7E7F443D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712537$3A60BB76-B859-44DD-8CA5-2DE153C4BA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712537$5668330C-42A5-4583-8CD8-7D9E96BA3B63","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":"Q5712537$7E7B0B0A-E4BA-4AF3-8AC8-E35CC532CFDE","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":"Q5712537$DE6921F9-24D9-4EE1-B31F-ADA852BB970D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712537$E00353F3-4070-41A9-930B-FC63EB34CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712537$79B5D62C-D887-4BB9-A64E-23508F7A36FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1edfbfa50086c15d6de58e201f48fee04b971c6","datavalue":{"value":"2240707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712537$E1B4F4E6-063A-4709-BDB0-9D3527A2D45E","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":"Q5712537$BEFB1B0D-6AEC-4E17-A3AA-0B68222FA448","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":"Q5712537$FD95D4F6-CFB0-4B1B-A089-4A2DE575ECB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43654126e66f56c4eaba32f4bb73e39a53069ebb","datavalue":{"value":"W2504992661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712537$E2CA49C4-A81C-48D4-AABB-FD008D48B8E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537adbe93b1432bccc75cf5929404f6d82cee7cb","datavalue":{"value":"10.1007/B98187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712537$C15F19D1-A081-475F-8894-161A9C79812D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c7bf7430022f24353a90eca5847b724de65527","datavalue":{"value":{"entity-type":"item","numeric-id":1274969,"id":"Q1274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff82dd6d8d2d8e866cc9f50ab299df653419f8b","datavalue":{"value":{"amount":"+0.8199052214622498","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":"Q5712537$65507051-2229-4C6C-B100-008D80D40C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31c3f13f766afaf8bc8e2e1b0204f4741c74c10","datavalue":{"value":{"entity-type":"item","numeric-id":2767091,"id":"Q2767091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f164ab6bb0d7fa832cc373b30a1a67f12227ea7f","datavalue":{"value":{"amount":"+0.8122820258140564","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":"Q5712537$3C6B4583-8CCA-4E16-BC02-68D97686F6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8c9595ff9c2620074ae5ff7ad2665b1a026b43","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b75be3040562ca33195714fb1961b78a355b0b3","datavalue":{"value":{"amount":"+0.8086029887199402","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":"Q5712537$5D1B27F0-D258-4E9B-98D9-BABF7BD3C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0b9fecf0fd081eac2b4d706ad665fbc9ba56d9","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03320ea429f8f5192c76cf4506e2efd646ebd903","datavalue":{"value":{"amount":"+0.8082702159881592","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":"Q5712537$8974A49D-210A-455E-8471-0B66900F418F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6668327212b42c3fcde08c42cc7b1abb85f4b22a","datavalue":{"value":{"entity-type":"item","numeric-id":1200979,"id":"Q1200979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e437e28fb5683e56b6e355e773c6d718ad7a2b","datavalue":{"value":{"amount":"+0.8020505309104919","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":"Q5712537$3F094712-B792-4B33-9E84-813E3B0A0CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712537"}}}}}