{"entities":{"Q1924818":{"pageid":1935560,"ns":120,"title":"Item:Q1924818","lastrevid":82049495,"modified":"2026-05-06T19:58:58Z","type":"item","id":"Q1924818","labels":{"en":{"language":"en","value":"Negation as failure for disjunctive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937301"}},"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":"Q1924818$D461A558-FEB4-48BC-BBB6-9BAA5D7EDDEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ae8abd4a70c51ecd54461ef60fcb0b21527312a","datavalue":{"value":{"text":"Negation as failure for disjunctive logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924818$A6EC7AFF-B237-4558-B777-CDC0BBFDFEB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d0a4915ab6f874e013aa5abea43ba8bf771ec60","datavalue":{"value":"0858.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924818$65A89270-532D-4B2F-B3D5-776F60BDB875","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb8989a9aaa80aa5b4dc83c28c2c55dbd9ddda34","datavalue":{"value":"10.1007/BF01530760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924818$9EEF4BB3-DC44-4416-A1F6-B2104FA79892","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"151a471a2fe214d10b1ee01e83285315730f9ee5","datavalue":{"value":{"entity-type":"item","numeric-id":235879,"id":"Q235879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$55287BE4-F189-4DB5-9D3F-518F25ABCD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d74eb1b7a0b7aea9703b40250e9130fc0035066","datavalue":{"value":{"entity-type":"item","numeric-id":1924817,"id":"Q1924817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$DFE247CC-3776-4E73-AA72-19EE9E0B91C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$E094EF32-8679-4E18-9B36-DA98BE330733","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"463d48832c927fbbc7519816661ffa8c28f58238","datavalue":{"value":{"time":"+1994-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924818$53A46427-90EA-418A-A505-E59942E1436C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924818$98143AF1-B62D-41D1-A770-4A3A984CF826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da7a62beb1f5a6a981c0c9f0672a92ee709176ad","datavalue":{"value":"937301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924818$9C8AFA6F-6F3B-49F6-B857-F2ACF9A57E3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924818$88868628-49E2-4097-8B8B-C4FFC2D226DA","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":"Q1924818$C2937BEA-B1D2-4B28-B968-77458ACA6CD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b0fc355d7fc7d93efd003eb851afde985ba8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3983042,"id":"Q3983042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$66483657-9770-42C7-BFA4-F71C9B790ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$7DF084EA-70D0-46BA-80BA-FCB57F1AA16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$192A9005-D960-4DAE-9CE8-B1EEEA7A5889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa0953f73020ec76ae1cf1a9b1ca599be038f8e","datavalue":{"value":{"entity-type":"item","numeric-id":1177925,"id":"Q1177925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$32C61B2B-360A-4F98-918A-296361C4B77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c357d21d30c9ad2be11bc4cbff9b1a20e4006b18","datavalue":{"value":{"entity-type":"item","numeric-id":5688897,"id":"Q5688897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$BB8AD89B-85FC-432C-AC3E-DB0A9A8516C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$58B3B77F-424D-48D2-A1C2-29726EE17A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87ba761ea104a10fd940e610c3cab53f04e1cfa","datavalue":{"value":{"entity-type":"item","numeric-id":3493314,"id":"Q3493314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$F7CF1EC3-7EAB-4AB3-A1D8-4D27E6452D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3bf3851cb3603b10fadcc13358fc2d3ba2b54","datavalue":{"value":{"entity-type":"item","numeric-id":757031,"id":"Q757031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$50B34B24-220C-4DAE-AE29-CECA9BE99CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$5A0E1D8C-BB6D-4292-B240-CA7E9E0606CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1321059716cc91bdb137f5ea8d376370d9603419","datavalue":{"value":{"entity-type":"item","numeric-id":4016556,"id":"Q4016556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$D4111271-C042-4D87-A76C-6ED0681C2E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924818$2A78C282-706A-4D09-9482-E2C93077F039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b34302ff5cf222e8b5b27ee4e19b45824f68feb4","datavalue":{"value":"https://doi.org/10.1007/bf01530760","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924818$38EB2B51-DB5A-49C9-85D8-CCF96F5D3156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55c76e97246d362d64a4cc4f5129f146b67d6ce3","datavalue":{"value":"W2023070772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924818$CE8855AB-3FC7-404E-B828-C08482B63282","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56edaf5ecf91e67e7cd8f4c7a79cd2143a3f3a95","datavalue":{"value":{"entity-type":"item","numeric-id":1277302,"id":"Q1277302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c668c78737b523e322568805e799a7253a1a55","datavalue":{"value":{"amount":"+0.8282824158668518","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":"Q1924818$5690EF7B-72BE-4F58-A843-2E775F5DE9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a68ef1804f2d2c624b23f624627032b9a5c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":4878771,"id":"Q4878771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031eee2168c852ed3f6296a065848ec1d8682e50","datavalue":{"value":{"amount":"+0.8259745240211487","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":"Q1924818$D78C90DC-BF8F-4AE1-A0D3-927239434985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38b6119e4f06bec6e98b066297961e80399c803","datavalue":{"value":{"entity-type":"item","numeric-id":1346220,"id":"Q1346220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1117d968610939dda3fc118ec6c3f659de6af3d0","datavalue":{"value":{"amount":"+0.8164387345314026","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":"Q1924818$0D06F689-191F-4112-8B62-82FC6EF87686","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negation as failure for disjunctive logic programming","badges":[]}}}}}