{"entities":{"Q557790":{"pageid":559557,"ns":120,"title":"Item:Q557790","lastrevid":48508042,"modified":"2026-01-05T01:26:05Z","type":"item","id":"Q557790","labels":{"en":{"language":"en","value":"Ordering default theories and nonmonotonic logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184037"}},"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":"Q557790$A235B5A0-CDDB-47F8-82C8-B6405E4EB7FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f4a93ccfbef1c91bd7b8d97b09c44f8697e0822","datavalue":{"value":{"text":"Ordering default theories and nonmonotonic logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557790$3273239D-37BE-47C0-BA7D-3BF61B0D1F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"428be4e1f1a1baa8d988c04dc173a76e8b3e6d47","datavalue":{"value":"1076.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$9D01E02E-1476-4C8C-A7BF-080E7BFD4045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f365089f19283ba2a09add7a0eb7b4b253f67","datavalue":{"value":{"entity-type":"item","numeric-id":413853,"id":"Q413853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$7E773727-159E-4DBE-BA82-5030B10BB04D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$34281311-996E-4519-99EB-E8B5E07738D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557790$B853206A-1463-4A57-A824-6663F04C8BC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfb5ebe89793c15c827430269cf256dcefc38149","datavalue":{"value":"A default theory contains different portions of information: classical/persistent and default/ten\\-ta\\-tive. These different portions are used in the paper to order default theories. The default theories are characterised by means of a bilattice-based many-valued interpretation having two orderings: information content ordering and truth ordering. When \\(Th_1\\leq_{DL} Th_2\\), conclusions derived from \\(Th_1\\) are relatively less certain than those derived from \\(Th_2\\). Such an order \\(\\leq_{DL}\\) is nonmonotonic w.r.t. the increase of information. This allows the author to study ordering relations in the answer-set semantics for nonmonotonic logic programs having many-valued interpretations (for this topic see also the influential paper by \\textit{M. Gelfond} and \\textit{V. Lifschitz} [New Gener. Comput. 9, No. 3/4, 365--385 (1991; Zbl 0735.68012)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q557790$EF4B3AB2-FCC4-4C92-B61B-3642AD1CD266","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$4F12E8D6-884E-436F-BB7F-6000FBD5DE58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$F7AA5155-6168-4714-950A-B59124B072A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$7892BF95-E8EC-41A1-8A12-6BC99976C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$38976F6B-BDD3-4599-93F7-322339853CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$F3F5C2CB-A2D3-49BD-9CA9-D9800952BDBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43af2b127d1bfd30e22f1668f9c5dc389d718979","datavalue":{"value":"2184037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$D050C552-4B37-4198-8482-4BB3BFC83A06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd67d93628f3fef046540125e9355b4bd7299bf","datavalue":{"value":"default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q557790$D780FADA-EA1A-435D-9D79-BB07CFDC6745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45625231019d415fc5cbea900e351ee73bc5a7dc","datavalue":{"value":"nonmonotonic logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q557790$28C703C4-EA02-49A9-BF47-1AE9463295FF","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":"Q557790$14D224DB-52BB-4838-AD20-F245A1E4EFA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"607b28018bee7b4141e5dccfb7c2341cd3a0ede2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q557790$F8C2BE15-C6CA-4745-A981-99B9C851AE23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c629a3096958da4c4f9fe62c79d93ec909f6a9d0","datavalue":{"value":"W2094463551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$FF2D9CF3-FCEC-40CB-96C0-9296B5FAB56D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9567afdf9aa7b5a523e188a2465c4f1254f30c","datavalue":{"value":{"entity-type":"item","numeric-id":3125899,"id":"Q3125899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$61E4D598-4E2B-40B4-AAE7-6C84337B46BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c07e4811bb629b6ba7cf520dbc00dbdc1ef1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":4305625,"id":"Q4305625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$7E13E2AD-2843-4AC4-A35E-A3E456D3E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$DA6BEF4E-1BCC-4C5B-8161-A34B6CB8477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba59f545f64e54457ca5d34dab41b749e79a5438","datavalue":{"value":{"entity-type":"item","numeric-id":4236380,"id":"Q4236380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$44C64632-6845-4AE0-95FF-FB414874DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$DBFA08B9-1414-4E6D-8E72-0BBBD948020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$75931DC5-D446-4DF7-B087-EFF428C31091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$C6FF7274-3565-491D-952C-C5554D2F4624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$72F82F33-22FF-47DD-9A83-78D133B0C598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$B13BAFC8-CFDB-429D-9B0D-ED6A307E26ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777ab2fea1fe21bf7c230b27cd82595402d79274","datavalue":{"value":{"entity-type":"item","numeric-id":1356228,"id":"Q1356228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$CB514F0D-C8EF-4770-A02D-2D05CBEDFDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$A3BE958F-24C2-4912-9EBF-67D6F0900C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$D0CCF9D6-0655-4292-BAEA-EB5D3CAAC657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daabb9cab8332da9392cc355d82500922643f04","datavalue":{"value":{"entity-type":"item","numeric-id":4800160,"id":"Q4800160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$F72EDE31-3BF6-407F-8FA8-D04FCA0E2938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48459d6ab298829108e82230c8447d371a5a58c","datavalue":{"value":{"entity-type":"item","numeric-id":5277720,"id":"Q5277720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$F6FCF657-7406-4ACC-8100-1FBD5439DCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6dfd012d5aeffb758a1244231e92d7c412e3861","datavalue":{"value":{"entity-type":"item","numeric-id":4835533,"id":"Q4835533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$6F102DF4-63B7-4D96-988A-3696F15361F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833a4842312df09799e01a2169500c9742e137db","datavalue":{"value":{"entity-type":"item","numeric-id":4799292,"id":"Q4799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557790$3B6D94E2-4260-48B4-9A00-C7877FF5CD17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c26c48497a204de54ccd75613f15a046e9e7dde","datavalue":{"value":"10.1016/J.TCS.2004.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557790$CFFFC5D6-7C9D-4875-A95D-3F1ECBA7160A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8869b32ce9b73c6218e322db9cd5efa937ad94","datavalue":{"value":{"entity-type":"item","numeric-id":4004731,"id":"Q4004731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25637b4f3820faf8b1f37d8a53e84d8c17ab9a4","datavalue":{"value":{"amount":"+0.7572225332260132","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":"Q557790$92880008-1AB5-443C-A40C-3671E2403BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406ab5e7173096511fc89532608823b1dee44c00","datavalue":{"value":{"entity-type":"item","numeric-id":4260695,"id":"Q4260695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a45b605b54e32a358aed91ad37fee3426c7d8f4","datavalue":{"value":{"amount":"+0.7562265396118164","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":"Q557790$B0E838BC-0426-4A25-B7B3-8089B0F012E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66dbb9a6e432134b3eb9729d4027a1b06fc99e51","datavalue":{"value":{"entity-type":"item","numeric-id":1370598,"id":"Q1370598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e847c6649a1c6314b7073df445e8a6ce499cb0a","datavalue":{"value":{"amount":"+0.7548698782920837","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":"Q557790$684E87B7-7728-4ECB-980A-CE87ECBBF719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3669d0f69069bf210c15c38bf20f45b9af38fe87","datavalue":{"value":{"entity-type":"item","numeric-id":1589465,"id":"Q1589465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e23fda72a620714ad1f43cac40d719b4bb29700","datavalue":{"value":{"amount":"+0.7492731213569641","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":"Q557790$D56C423D-9108-408F-A3E4-A3A2A69A7509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a7bcc8909d3db607201b4be381f10cff4e61a2","datavalue":{"value":{"entity-type":"item","numeric-id":3829534,"id":"Q3829534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311470b5a0033cbe9cbb73bb69fa37cc5205d7c3","datavalue":{"value":{"amount":"+0.7419731020927429","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":"Q557790$8B5052E8-B5B7-4532-8D24-D5AF843C6211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:557790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:557790"}}}}}