{"entities":{"Q4304493":{"pageid":6334094,"ns":120,"title":"Item:Q4304493","lastrevid":89233790,"modified":"2026-06-04T16:42:58Z","type":"item","id":"Q4304493","labels":{"en":{"language":"en","value":"Input/Output Dependencies of Normal Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 637442"}},"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":"Q4304493$02B0C2FA-6F74-4A36-B010-72B22E63C8D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"563f7ecd7105a8ae74097ed8127936fa77d30662","datavalue":{"value":{"text":"Input/Output Dependencies of Normal Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304493$3CB4C31C-61A2-4383-ACD1-765686409928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffde1b6667c71447974a7ae6daba77139eeb730e","datavalue":{"value":"0815.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304493$76757C52-2EE0-4D34-A24B-61AFE2FE7C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304493$010F0F74-64AF-42DB-B69E-8A3651FABA7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96fdb8b77b32b6ea175fc0b0d0a15f9722b02036","datavalue":{"value":{"time":"+1994-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304493$7B777C89-89C8-4A8F-B770-69DF1611C1C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81ade35c62db437e1b2fe555660de9bfe09de15f","datavalue":{"value":"https://semanticscholar.org/paper/a1d22d48645ad156414bf0e9975c9b3b145f6d1b","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304493$5DF7B2BE-5B55-427A-B09E-58AEB7A3E851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304493$655AABBF-2458-47CC-925E-9466D7BD2F3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3052bdd95fa3ecf7884c6134ff453a7d2dad0b28","datavalue":{"value":"637442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304493$A8304D3F-F458-4BF0-9DB1-50468F7828EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304493$EAA456B0-7494-424B-AD28-32C8AACC71CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7de05b2e720d445061175d6dd404437c7ce7e3a2","datavalue":{"value":"completion of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304493$055C8073-5B5D-4007-9D5B-285C7AFAFBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304493$1729E47A-92F1-4498-B771-D08CCD2CBA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304493$9EA283FC-1046-49A0-B9BC-16D4DE09D726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304493$E312C1A9-DC16-4329-B986-47F390895046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f75c475f47e64366621547454dd16d54565743","datavalue":{"value":"interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304493$3B01B204-4B7F-479D-901F-A80A016B5C36","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":"Q4304493$BAD4434A-475F-4F4C-9173-92EEB0EC65D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"806d725f334fde11409b0299ceeb9c928dba4283","datavalue":{"value":"W2036335871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304493$1BF96694-C071-4E28-8840-2521DA29B4A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0320ad12c4ca248ead471a8c89bb9b3d5dd5637","datavalue":{"value":"Q114632459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304493$1B1A7A09-4041-4C14-8591-F912DE80AF58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"933710f282b5bcc76ce86656dfb1e8c38b61772a","datavalue":{"value":"10.1093/LOGCOM/4.3.249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304493$D8AAF625-DFAA-4CCF-AC08-1CE8025F80D2","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":"Q4304493$AC413D6A-D904-496A-BC65-7F2CE7D6310C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fcca9a99d15a4dfd82a9ec57248cdbfabce75b","datavalue":{"value":{"amount":"+0.7662197947502136","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":"Q4304493$FC6C3273-F9FC-4F02-A005-E469E137B912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7eefeaa99376282417663dec7df958cf284870","datavalue":{"value":{"entity-type":"item","numeric-id":4736519,"id":"Q4736519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa12687498d66ecaed65fa85b2658cc36ccf020d","datavalue":{"value":{"amount":"+0.7659739851951599","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":"Q4304493$D6790B11-A011-4FBE-B15A-2DE697603457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37653d54316d2263e1b7b87febae44b0c60c1957","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b0c516c93861016ed4ae6e83d20f63f859ca9d","datavalue":{"value":{"amount":"+0.7621042728424072","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":"Q4304493$7AFCE616-0C74-4272-A46F-9B1757E44972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dc3de2200f279f7b3e8d96bb9ae73d0ded0cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4275260,"id":"Q4275260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0599accf4a6bd03fc10bfafffe2dcafd79f18369","datavalue":{"value":{"amount":"+0.7557873129844666","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":"Q4304493$5D0006EE-B5DF-48CE-BDA2-16E51C92FC2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Input/Output Dependencies of Normal Logic Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Input/Output_Dependencies_of_Normal_Logic_Programs"}}}}}