{"entities":{"Q5712544":{"pageid":7742098,"ns":120,"title":"Item:Q5712544","lastrevid":96967247,"modified":"2026-06-05T12:54:40Z","type":"item","id":"Q5712544","labels":{"en":{"language":"en","value":"Program Development in Computational Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240714"}},"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":"Q5712544$AB3F1F5F-0F40-47FE-9556-E7A6E0E37052","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":"Q5712544$C222CF04-E456-447F-AE41-97B1D29DC048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef90aa1654b82f5525d0479eaf3c98179ce0d060","datavalue":{"value":"1080.68550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$A151CF85-2E63-4A7D-A74D-824512525285","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712544$B7C80879-7961-48A2-BC03-20C73E1B2268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712544$337D094B-2C74-4F11-9D8A-839FAEF5267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712544$3488E172-5F66-44AA-AA7E-227A57D940AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"401acd651156f8f24a4edd9efe62ea6cf40a784e","datavalue":{"value":{"entity-type":"item","numeric-id":2841261,"id":"Q2841261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712544$481CF88F-9515-4049-9287-7454BC4B836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75898a5123f24d2694ce7df48e6c7c69dff7ed50","datavalue":{"value":{"entity-type":"item","numeric-id":1370154,"id":"Q1370154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712544$F6F7AB73-8B56-4915-8D09-B27BB413F83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c2dfba78a04b1615c287fc4b443b44d5dae01f","datavalue":{"value":{"entity-type":"item","numeric-id":1121799,"id":"Q1121799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712544$DDE8C29B-C028-4EE2-8E9B-32AF324DA896","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":"Q5712544$D28C6C2B-3D44-4D7B-BD55-2ECB7523717C","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":"Q5712544$6B9A5A90-FB90-4A42-B8E8-8D3A9F3D0378","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$276B9813-7E6C-49E5-9806-F130CEBD995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$AFA2C458-3E87-41C5-BCF5-A57F68FC7F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$696CFD53-EEEC-4045-822E-D532CCD8E400","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f2a6ef38091585d01d73e760dda7d02f9ae206","datavalue":{"value":"2240714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$B4A8C312-21DF-4056-A9BD-E20FFA75550A","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":"Q5712544$5D91E0E1-0139-46DF-BB55-8141CA4A284C","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":"Q5712544$2C7D12D8-0C6E-4AE1-9141-7CAE0E04B1C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43654126e66f56c4eaba32f4bb73e39a53069ebb","datavalue":{"value":"W2504992661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$086AA184-F0AB-4A5E-8C66-114A61AF35DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537adbe93b1432bccc75cf5929404f6d82cee7cb","datavalue":{"value":"10.1007/B98187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712544$F59E9750-3F4D-4A92-9194-8BFF22679C0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76551ff5c9fd5fb8842aa63064a20073649bfd60","datavalue":{"value":{"entity-type":"item","numeric-id":5437648,"id":"Q5437648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae7eb95395aec4f1991c748586d689e6c678081","datavalue":{"value":{"amount":"+0.8251703381538391","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":"Q5712544$56066536-1C62-4834-B680-206AABF96B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d090d085cff50384ab46fc0b59b96caa6d641","datavalue":{"value":{"entity-type":"item","numeric-id":3079921,"id":"Q3079921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6703b81c12d37a262824a2046c1586287258f8bd","datavalue":{"value":{"amount":"+0.824049174785614","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":"Q5712544$1F954917-3085-48E0-87E4-5A18BB51C9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ac42d60317fde4c37666f10d986c26a4eaeea0","datavalue":{"value":{"entity-type":"item","numeric-id":4452605,"id":"Q4452605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0203e1a21a7f13f2863776f464d5d39cb60d6c15","datavalue":{"value":{"amount":"+0.8141382336616516","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":"Q5712544$52AF5E31-4A06-4D6A-B0D7-3CD2EF8F207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2a9c6e13c18069753bd75884f331f4db799284","datavalue":{"value":{"entity-type":"item","numeric-id":4421869,"id":"Q4421869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed62aeed5d2effdb99b5799f59e13ec7153d658f","datavalue":{"value":{"amount":"+0.8019605875015259","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":"Q5712544$06D30EFC-9A3B-4D40-8AE4-F127165A4C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03a389a585267318fd7b7efea6a34800fc7f1db","datavalue":{"value":{"entity-type":"item","numeric-id":4250656,"id":"Q4250656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a63c0b72b485c0872a7b1fa58e97344a7f78df","datavalue":{"value":{"amount":"+0.7935308814048767","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":"Q5712544$183BD984-9B97-40C0-B39C-487E8D1B622C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program Development in Computational Logic (scientific article; zbMATH DE number 2240714)","badges":[]}}}}}