{"entities":{"Q5712542":{"pageid":7742096,"ns":120,"title":"Item:Q5712542","lastrevid":40751013,"modified":"2025-04-04T13:55:45Z","type":"item","id":"Q5712542","labels":{"en":{"language":"en","value":"Program Development in Computational Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240712"}},"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":"Q5712542$77B39C6C-8D7A-49CF-9A3A-63B05F597185","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":"Q5712542$F0D9925F-F9C9-4BD5-89F6-CA85D4D7C048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b70d773d6c20da5044611323fac2cdee79e75dd0","datavalue":{"value":"1080.68551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712542$163A8CFA-3795-47E7-A412-345794F30722","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712542$32EAA5FC-098C-4A8A-B453-16F0E8E1A4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1964be5c8ceef4b9238150c92361a03509499c04","datavalue":{"value":{"entity-type":"item","numeric-id":265706,"id":"Q265706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712542$564CAF50-239A-440F-9FD1-D73F6117178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"756fd7141fa6e4c241fbc803c71fc5201c223549","datavalue":{"value":{"entity-type":"item","numeric-id":698088,"id":"Q698088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712542$C850BEAC-EF8B-4C58-A43C-4F7BF7394C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bddadb379981dd0f077e58c750bc30e8d5224e7b","datavalue":{"value":{"entity-type":"item","numeric-id":672412,"id":"Q672412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712542$C692CA23-9B69-4A3F-8554-397D09884F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20bbff1ec17daa37592ce912ada796be6c6d25","datavalue":{"value":{"entity-type":"item","numeric-id":2723925,"id":"Q2723925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712542$BB70800C-9822-4B06-AD5F-7E9A31C3E242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712542$4ACFD109-BAF6-4D24-96E3-07AFE9C7E6EF","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":"Q5712542$A98238F2-17E8-4253-AFA2-509A0A870039","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":"Q5712542$EC6A037A-02B1-43DD-A1E7-C5C46FDD6076","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712542$EC8104A0-AA34-46EA-805D-01A2E2F8AD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712542$C66DBFB0-5DBC-4953-B13D-260A0B838776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"450ed3180838e93273f141e199600adb4a15949e","datavalue":{"value":"2240712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712542$9F15697E-B2EB-484F-8303-D802BD57E36C","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":"Q5712542$9A3F9617-C0DF-4B32-8A3F-6BE33EA532A9","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":"Q5712542$3665D02E-F114-4A0A-9EDC-A9F9F235D67D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43654126e66f56c4eaba32f4bb73e39a53069ebb","datavalue":{"value":"W2504992661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712542$ABCAEFC5-B7C4-42EE-B547-89798FD7A009","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537adbe93b1432bccc75cf5929404f6d82cee7cb","datavalue":{"value":"10.1007/B98187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712542$869739B7-49FA-4DFD-9B9E-1B25688E6D0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfad02af9140442cd0857639b2fb72ca16a1fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":4736506,"id":"Q4736506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06ae4887ffa6b5f836afa70c065dcec8582fcda","datavalue":{"value":{"amount":"+0.81988066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$1231F004-6F9C-4F0E-B51A-CF33B37F8F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3819822a062dd90004774dd73ea9aad06281bae1","datavalue":{"value":{"entity-type":"item","numeric-id":5696595,"id":"Q5696595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c01ecfef8050eab7a932c92387fe75b6c3bd3b2","datavalue":{"value":{"amount":"+0.7786661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$477AD14D-F3D1-4C99-8945-DAD781F916B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ba84f59038de4a83c9874efeafefe7fa8a6d20","datavalue":{"value":{"entity-type":"item","numeric-id":4735930,"id":"Q4735930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660ac3520fc662cbf3e77c1b4b0707a851cfd31b","datavalue":{"value":{"amount":"+0.77828467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$AF1CAA8A-09A1-4C6E-8B38-C76810385863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dce7299328e6e333b7886820e9a79ed8de170fa","datavalue":{"value":{"entity-type":"item","numeric-id":2922861,"id":"Q2922861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657352f708122ea5295af5a2c67fa5d9ba85064e","datavalue":{"value":{"amount":"+0.7731498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$B1B179EC-3E13-4317-867A-0AB2AADDB396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82899aef2b21456338b2672c9462b50f8da824d1","datavalue":{"value":{"entity-type":"item","numeric-id":1321064,"id":"Q1321064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b57ce3517ad50661ca619d499262210e9684959","datavalue":{"value":{"amount":"+0.7725715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$B8006381-8506-4C25-A111-61F9728E64C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce193d07ad03eeb029e942149acc6c9a9f99359","datavalue":{"value":{"entity-type":"item","numeric-id":2251469,"id":"Q2251469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1845bb04f3f2269dbcb0a540017e9cc037894d","datavalue":{"value":{"amount":"+0.7719282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$E168020F-C9DA-4C1F-A920-4B5B01FA01D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771a34155436b282d214988a1d4cc167b80abdb3","datavalue":{"value":{"entity-type":"item","numeric-id":1274280,"id":"Q1274280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1960cb56888a0ef8ac5f07ea8a7a8c16d4162a83","datavalue":{"value":{"amount":"+0.76977634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$CBC8598E-F86A-444C-B9C0-1731BF61DCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac52a64365e29a27cec37abc58cac083fc24a8e1","datavalue":{"value":{"entity-type":"item","numeric-id":2909151,"id":"Q2909151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b9a71a5504ef23ae9aeba706f6eb79dfb5128b","datavalue":{"value":{"amount":"+0.7697446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$08FB8F76-3DEF-493E-8D79-BCFA8C2E161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad23c36b1049d51b6559246b4e211e47d116f46","datavalue":{"value":{"entity-type":"item","numeric-id":2956713,"id":"Q2956713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16408da4014535e7f37ac5ba5a5824230e56906","datavalue":{"value":{"amount":"+0.7673297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$71B63733-2169-4777-B2B4-C56228DE5585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf7c1c9691c2328d4a8b860261c7f7632f2b5a0","datavalue":{"value":{"entity-type":"item","numeric-id":5900340,"id":"Q5900340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0531cd1f8522eaa920d3b38f7023c12fd2e2ec0","datavalue":{"value":{"amount":"+0.7665604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5712542$5A1114D1-EB9B-49C2-BBA4-0D859AEBA163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712542"}}}}}