{"entities":{"Q5712536":{"pageid":7742090,"ns":120,"title":"Item:Q5712536","lastrevid":48617782,"modified":"2026-01-05T09:58:12Z","type":"item","id":"Q5712536","labels":{"en":{"language":"en","value":"Program Development in Computational Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240706"}},"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":"Q5712536$6868939A-B328-42E6-9CF8-C2BF674091CA","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":"Q5712536$9991FE00-5599-4FC7-B01B-9E2C0C385C5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09f90c3303ad8c9139da6dd915660dba3147a99d","datavalue":{"value":"1080.68563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712536$DE30FB29-976A-41E9-AF6A-097171A6F363","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f768f98fe090cb0e10f573e4a1be742ce14b932","datavalue":{"value":{"entity-type":"item","numeric-id":1583856,"id":"Q1583856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712536$1EE3A9D5-4A0C-47E3-87BD-F9F1AFEF4ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712536$E86AFC28-F84F-45D7-8E45-50D915ECA9FC","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":"Q5712536$F0F9FD15-B2F0-45DE-9D30-06BAC09C2A4F","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":"Q5712536$6A242984-EF46-4A5C-B007-B299BA331D20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712536$6C8895EF-3C13-4697-A5C1-B2B33624C6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712536$C2474840-8839-4F7A-A66E-B55861ABDD4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"378dbb1052c0eadb8025b86e60b50df103f05d39","datavalue":{"value":"2240706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712536$BF2196CA-3174-4DE8-9925-3884E84310F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712536$EBF23359-4B0E-4635-A552-ADF08232A07A","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":"Q5712536$EA12884D-95F1-4463-BE9C-237EB6F048C7","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":"Q5712536$15C8EC26-123D-4405-9067-95F7EC1EE4D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43654126e66f56c4eaba32f4bb73e39a53069ebb","datavalue":{"value":"W2504992661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712536$29F136DC-460E-4B38-90BE-524E018D0E7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537adbe93b1432bccc75cf5929404f6d82cee7cb","datavalue":{"value":"10.1007/B98187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712536$E96F31FA-246B-4191-9211-C72B67B3271A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a880fb69ef2924c10e9234ca5daac7373c0d052c","datavalue":{"value":{"entity-type":"item","numeric-id":5458803,"id":"Q5458803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46f66cedf001f391245f69ce8790b5da0e232c6","datavalue":{"value":{"amount":"+0.7759846448898315","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":"Q5712536$9EEC8FD0-00F0-4606-8C0D-0E04F86691F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b2ba5b3fb5d88c8559447c47456b00691c1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4808814,"id":"Q4808814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6748911d3fac0eb3c57cf613d11e3c55b3750daf","datavalue":{"value":{"amount":"+0.7457148432731628","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":"Q5712536$89F437E2-0268-4C41-969C-1A78632A78C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135f7a0031c0002118754e31fdf0b810129803c3","datavalue":{"value":{"entity-type":"item","numeric-id":5096396,"id":"Q5096396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f66d678a0fabe11e5ac8e0b9d7538ecf3b89bbf","datavalue":{"value":{"amount":"+0.7332502007484436","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":"Q5712536$0559E51E-1DDC-4D02-A972-0A4818196919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb79e3d95507e295e4cafb016cb8508fb9204ff","datavalue":{"value":{"entity-type":"item","numeric-id":5959856,"id":"Q5959856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05660c611cb16732a121d81ff06f4c45972be78a","datavalue":{"value":{"amount":"+0.7283620238304138","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":"Q5712536$7964E46A-F609-4A0B-9522-AB281CCF5716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bdd1a863e33327372620f4091c38dab8fd6995","datavalue":{"value":{"entity-type":"item","numeric-id":4325359,"id":"Q4325359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93142503f59abef6cd4285fb03be8937b5ae8b2a","datavalue":{"value":{"amount":"+0.720557451248169","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":"Q5712536$AB0166F5-D7D0-489F-AF27-0B49BD51174D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712536"}}}}}