{"entities":{"Q5236438":{"pageid":7266006,"ns":120,"title":"Item:Q5236438","lastrevid":100664435,"modified":"2026-06-05T22:43:00Z","type":"item","id":"Q5236438","labels":{"en":{"language":"en","value":"An abductive framework for negation in disjunctive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114574"}},"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":"Q5236438$A1F26E4B-7102-4719-A737-6096B2576E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"157e33af37442896715cceaa7a3e4c25d90f29f5","datavalue":{"value":{"text":"An abductive framework for negation in disjunctive logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236438$EBC1D6CE-9C2A-483E-8375-7C8576F1D909","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea954d36111aa8b91ff490d7cddc4eaa0207a7f5","datavalue":{"value":"1427.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236438$D09E4076-B924-4AD8-829F-253A28341D10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d139e3ca7a6bad92f4c3a42582c82bf7f2d1b2f7","datavalue":{"value":"10.1007/3-540-61630-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236438$99E48AFB-45E6-466B-9B1E-A0E4653DB70F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e7babc33bdfb2d05f3a9f08cc0c8b417a47a42","datavalue":{"value":{"entity-type":"item","numeric-id":167056,"id":"Q167056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$FA09D058-2797-45B3-98D8-B06656C3BA55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$FDD6BAB0-2085-49BA-BBCF-147518454AC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236438$C39A5CB7-4D56-4865-A90D-466F5F528552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236438$A1F4BD4A-B7FC-464B-87CD-249C3F4AF1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236438$35CD8254-3251-411A-A62A-B8590FC3220F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b77da45967fb12e03b4f1dc62e13f2bde4f023c5","datavalue":{"value":"7114574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236438$46A9B15F-D0AE-4835-81D8-1B806701BF33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236438$055CBDE8-ED42-4A43-8745-81C8951F909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236438$59F85663-7679-4924-B90E-2851BE43E1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236438$CA62A5A2-78A4-4F4D-9B30-94F0D19E3A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236438$7755F508-3F56-44E0-B818-920F18172007","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":"Q5236438$0B8B80D3-CE96-405E-A720-B850B4B52817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f663b1bc5534d22dd8ed52f7b15799fcbb70c251","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236438$6D46EC43-A4BC-466F-900F-2C04503A459B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e32e109c2b6d4831b37f4b4fa790488f2551d4fc","datavalue":{"value":"W1526031460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236438$A3AB576B-9038-45DF-AFB5-2A420320225D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d51506a7596e8959151c2c9b9334a415c6932a8","datavalue":{"value":{"entity-type":"item","numeric-id":5210764,"id":"Q5210764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$6DAC8978-D90C-4550-B367-CD7B6F858D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3650cacef83c730547348629436bf0c05225f355","datavalue":{"value":{"entity-type":"item","numeric-id":1402748,"id":"Q1402748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$0A1B6218-F992-423E-9863-E56A1C0B4CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6944c9ec10c1da39bf731d21ffc1c687fc0cd545","datavalue":{"value":{"entity-type":"item","numeric-id":3841101,"id":"Q3841101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$2F99E6CA-4311-4B2C-ADF2-C5B30ACB1D7A","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":"Q5236438$BFBDAA10-91E6-44A5-96BB-9942BE674010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d09a4db477cd1cc17fae10cf6130c461948aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4327844,"id":"Q4327844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$E0F2323B-6326-4F4D-A062-51BCA11E327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$7062C8DF-2D1B-4135-BA9B-371C7791CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$81FCC5AB-FE53-45B9-87D8-9D82A101F314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$F747FACA-4721-45B0-AECA-AE026A8E2D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$2121D43A-3593-48C2-B866-D569B6F07EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac78d6346f739f6266b5a8445a0ccb15bfa61032","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$ADA3033D-6E84-496B-92B7-74B4FE4CC13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$69738A61-4D72-456D-9C2D-B14820D27FA9","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":"Q5236438$39C279C9-5910-407C-B3B3-46290A4F904A","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":"Q5236438$75F61561-2BCD-4838-8D9B-67FF48D026E2","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":"Q5236438$A35743B0-576D-4615-8FDE-41DAFBEA8B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf094e5acdb2735390bab0d7bc1af9fe86b667db","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$DB822FBC-E510-40D3-945A-6207CA6C74EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$691B8D47-B23E-4C70-A5B7-CFE1C1A52734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bb65f0de480cfea02f1c49a74bdb628fca2112","datavalue":{"value":{"entity-type":"item","numeric-id":1825049,"id":"Q1825049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$312F6479-7CA5-4EDA-876C-11D74CEF97DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75fa1aa534ac66ed4ad81bcb1cc66f1148035e6","datavalue":{"value":{"entity-type":"item","numeric-id":1114440,"id":"Q1114440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$64645DE7-9DC6-4176-BA2E-9E8204B04462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c107c2fc96b973340bd00629c33090445e95375","datavalue":{"value":{"entity-type":"item","numeric-id":1344892,"id":"Q1344892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$056029CE-9ACA-4CFC-AA79-0EB96529F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0d118b33aef90aecd3a8ab820b8ba2782296b","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236438$D64AAA4B-1056-43E8-B835-F7B57FA5B450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2569eec109692c989c6df521632c84f39f3bd725","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd9ebb3b6aa36d265a58ea06b3f866b001179e8","datavalue":{"value":{"amount":"+0.8578676581382751","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":"Q5236438$23F42FDA-23AB-473C-8F6A-482007D0AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43917c5f6828a70fd6ddf7e8da8a601ecedf487","datavalue":{"value":{"entity-type":"item","numeric-id":4217935,"id":"Q4217935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd314cf1ce226608b5ec345f0d5b7d164697bb0e","datavalue":{"value":{"amount":"+0.8331795334815979","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":"Q5236438$5F2C442F-2136-48D0-A733-0E6774A1023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3948474a0982c9e1ca34b7b7d4c988201c9f654a","datavalue":{"value":{"entity-type":"item","numeric-id":4507854,"id":"Q4507854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fb52068404035fc7b8684be5388305323ec476","datavalue":{"value":{"amount":"+0.8301464319229126","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":"Q5236438$90DFA583-BA9D-45CE-8D01-55CF40284197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceaac8408f63e85e657afdf92274159236a1ef1","datavalue":{"value":{"amount":"+0.8293740749359131","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":"Q5236438$6D4B9606-8A16-44FF-B937-BF475F6F2B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311897917ddcb19ca71f997d1e586dfb3858b44f","datavalue":{"value":{"entity-type":"item","numeric-id":4484725,"id":"Q4484725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457e7abd167b75937bb51edd963695c8c5cbb3cd","datavalue":{"value":{"amount":"+0.8195424675941467","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":"Q5236438$112E1AF8-B435-402D-B4A5-1A96772AF06D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abductive framework for negation in disjunctive logic programming","badges":[]}}}}}