{"entities":{"Q4276170":{"pageid":6305771,"ns":120,"title":"Item:Q4276170","lastrevid":89306987,"modified":"2026-06-04T16:56:07Z","type":"item","id":"Q4276170","labels":{"en":{"language":"en","value":"Composing Open Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488291"}},"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":"Q4276170$8E747468-C1F4-4366-A9CF-1D2627E8D72C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb14b82462cd26199ba48240a7be8a43fbe7dc90","datavalue":{"value":{"text":"Composing Open Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4276170$2F310880-07C3-43A5-8B07-40123B9C2417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27dcbaf1a77796a7c4186072abd52bc13e03d104","datavalue":{"value":"0784.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276170$1E8FF54C-7AE2-4077-848D-CBCDCDE26F2D","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":"Q4276170$D2BAD3A6-9431-4CFD-9738-E8297E897D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276170$2333E031-54A7-496E-85E0-988180D54E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276170$20AC10E3-B16E-42FC-99AC-6C2F8F9F21AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a98b516b3b9176710c62782f44acda15286afefe","datavalue":{"value":{"time":"+1994-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4276170$78D05098-5BEA-463C-852D-C4CF0AC2A0B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276170$701D4623-BD81-42A8-8B8D-51D198532B05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc51ffbf91304ada0afa3853d0132e4904e1e6f5","datavalue":{"value":"488291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276170$F1AFB20F-C49D-4BE9-9908-49B87BEA5332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b2ad48abaa4835831f96f7d16d224fb4ab2c0a","datavalue":{"value":"program compositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276170$8B5C2418-50AA-40ED-B6D7-C1D923D4F5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f032e0e7bb5355ede9c8601988d25ef60a1b5ea","datavalue":{"value":"open program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276170$8F2FA980-7172-489F-94C0-5DCB8574D8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f26ad2130ddc4077dc89d50aa62c0e6a25724d","datavalue":{"value":"Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276170$4A9C343C-2AEB-46E8-82B7-6A22C0F53C48","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":"Q4276170$6DAA89F4-A2BA-4662-B3FD-2D5BB9AD6DE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6e9c17d57cb6f02c1e4dc8af4aa115ab1bad9ec","datavalue":{"value":"https://doi.org/10.1093/logcom/3.4.417","type":"string"},"datatype":"url"},"type":"statement","id":"Q4276170$61B69EDD-5527-4AE8-93E0-733034CE4CBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41be27d5bfceb1a3d22b6cd2cac9d88c22fcb7e2","datavalue":{"value":"W2027979939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276170$A218D4E0-EA35-4736-A80B-6B7532E57F71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19f9251e3396726ebf0392c65ae801a24fd107f9","datavalue":{"value":"10.1093/LOGCOM/3.4.417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276170$7E8F9F9D-F500-4090-9308-5492081A099A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276170$782CEF54-E9F8-4874-B0CC-E782313C0281","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b4944a38d305aa54dd79311073dea6cdae7736","datavalue":{"value":{"entity-type":"item","numeric-id":4943434,"id":"Q4943434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7e299c36cc2f970e48de5f1b0a0b3b2f4306d7","datavalue":{"value":{"amount":"+0.8203456997871399","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":"Q4276170$694F9B37-BD5F-4B11-82D5-9D57CB222722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd03249181812fe70795f2931c2c4f84ebc746b","datavalue":{"value":{"entity-type":"item","numeric-id":4940939,"id":"Q4940939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52a6ddcd39bf9fe3621be7799c11a7ea9d0a249","datavalue":{"value":{"amount":"+0.8184611797332764","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":"Q4276170$47A1CBC4-0D1A-4006-ACFA-E294BBF57E2A","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":"3c5c8d2dbe958b0e60f391d946294828fa1b1f91","datavalue":{"value":{"amount":"+0.8184608221054077","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":"Q4276170$7D5C8DF2-0062-4783-970F-56C620D57CFC","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":"7080e9df0cf3d3df2aa61ca7d17e5330aa5c6831","datavalue":{"value":{"amount":"+0.8103692531585693","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":"Q4276170$1B7F2351-C570-4667-A6A8-D3EE32D2DF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cdd1cb93876bd592355cb858a9255fda1e1684","datavalue":{"value":{"entity-type":"item","numeric-id":4708906,"id":"Q4708906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041b7f25c2adb0976fec15698564f5a660125bef","datavalue":{"value":{"amount":"+0.8060733079910278","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":"Q4276170$E3938219-D1BD-48F4-BFF3-E9C01CA43A68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composing Open Logic Programs","badges":[]}}}}}