{"entities":{"Q679244":{"pageid":681093,"ns":120,"title":"Item:Q679244","lastrevid":46734606,"modified":"2025-12-25T12:02:44Z","type":"item","id":"Q679244","labels":{"en":{"language":"en","value":"A correct logic programming computation of default logic extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002303"}},"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":"Q679244$0BEE1B00-BF37-4559-969D-1977BBA0851F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc10278d43161c69f7519c634c44768693f45fed","datavalue":{"value":{"text":"A correct logic programming computation of default logic extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679244$70E15782-69A0-48C4-83A8-9C42181BB3A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2986e5c98f24830a5919fdbe8a2bb7501a69bff3","datavalue":{"value":"0871.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$8B251EC6-FB5D-4B68-9662-DEBFE12C12C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"009e995fb9a66c57ffba50a3b543e9f32899375e","datavalue":{"value":"10.1023/A:1005771523328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$DF7E493F-5390-4A20-8575-FC27A0DE165D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c3148aec313a02e6c2fdd6275819883a763f27f","datavalue":{"value":{"entity-type":"item","numeric-id":360255,"id":"Q360255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679244$3E8F81DC-F01D-4B73-8CD8-CB9613F676FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3057478a723080e84e34f51c55a028da6e2ddb2e","datavalue":{"value":{"entity-type":"item","numeric-id":170471,"id":"Q170471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679244$17DDF21A-D52E-4A86-B8BA-14C1060FDE8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679244$4F605B8B-EE37-45D8-AD85-1EB4D3AA5BE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c89b8e200b9c34622380aa901498691de377367","datavalue":{"value":{"time":"+1997-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679244$DF692ADD-9035-4F2C-8CA5-DAB618C8BD0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"778126e8072142c1b07bd351994a86eb5de029a6","datavalue":{"value":"The main contribution of this paper is to give an implementation of a subset of default logic into (normal) logic programs with standard operational semantics (SLDNF-resolution). First, a translation of a class of default theories into logic programs is discussed and then it is shown that the answer substitutions computed by such a logic program correspond to the extensions of the original default theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q679244$2A4EFBD2-EC04-40B9-AB95-FE6D14FB7D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$5CCCE6BD-5AA5-4D46-A4CA-ECA7162BD18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$01CF3B1D-3748-4CBA-A31B-14AB4DA86697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$5922CC43-76B2-4A0F-8764-E28F5EC8B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$F594F059-1543-4B82-A677-9CC67A1711B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0935c84ce61be9af7a369d5c0616d3648d3d61ff","datavalue":{"value":"1002303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$901FF13B-774A-4572-BBDC-C6B87C3F57A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q679244$D89F8B4C-ABCA-4C20-ABD7-955710558C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q679244$7C6DA278-2FA2-4D4C-8B07-C590F7966D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q679244$6E7504B9-E2D0-42B1-AEFD-81273F8DE1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q679244$8BE2A7E3-2D5C-4466-A6BC-E5BCB53DA088","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22d20eceb312e30c725f44ffe52ae38696760214","datavalue":{"value":{"entity-type":"item","numeric-id":361804,"id":"Q361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679244$B4D0AC17-FE8E-4EBD-A898-4BB0F3EBF3AC","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":"Q679244$275833F6-CA6B-4728-B8B7-0C198C1675C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e8f756a686343fc12a758c1f640f84e582b47a2","datavalue":{"value":"https://doi.org/10.1023/a:1005771523328","type":"string"},"datatype":"url"},"type":"statement","id":"Q679244$8CC34130-D7A2-4F4D-8C8C-26FDF9B5F79D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e30154c7a80b4de33508a6f28d9a892b914c1c3","datavalue":{"value":"W1575064115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679244$15E21C05-8850-4369-9EED-4A503CB41FD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9b6da3485a4b7234e7d09bd92d9869a9c9648c","datavalue":{"value":{"entity-type":"item","numeric-id":4282499,"id":"Q4282499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339975174633a40c568eb2fcf6fe089967d95c9b","datavalue":{"value":{"amount":"+0.9120874404907228","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":"Q679244$563D1E65-A17C-4546-BF1A-798F359ACAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf3fc383a639124916d03743984693589140c60","datavalue":{"value":{"entity-type":"item","numeric-id":4333375,"id":"Q4333375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12e07488b47422dd9d04e13d9cb08a08054a4a8","datavalue":{"value":{"amount":"+0.833572506904602","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":"Q679244$F2137A5D-19F6-4878-A316-83C06F2EDD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f132278cdcfd171dcc21c07947517beb43a8e3cb","datavalue":{"value":{"entity-type":"item","numeric-id":4244297,"id":"Q4244297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e10d894bd5faea6d06ef14ebe64a0f151346fc","datavalue":{"value":{"amount":"+0.8187071681022644","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":"Q679244$A6C98877-69EB-40B5-A023-F795D58A7C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2810bd447c62b2786a70fb7d8999a9aaffd4d20f","datavalue":{"value":{"entity-type":"item","numeric-id":1333283,"id":"Q1333283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b212e3da213eb14c7a228ec7bd43101dcd1baf","datavalue":{"value":{"amount":"+0.817027747631073","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":"Q679244$60C970E7-0555-4082-AAC4-EE2CC0E571F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ecf989acd6341f439040561b340b719e887516","datavalue":{"value":{"entity-type":"item","numeric-id":4025925,"id":"Q4025925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8812388dd2f5ce1567d24451e71abffd5b668832","datavalue":{"value":{"amount":"+0.8044964671134949","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":"Q679244$07BB009D-111C-415A-9A8D-1D6E4519CA65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:679244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:679244"}}}}}