{"entities":{"Q1589638":{"pageid":1600378,"ns":120,"title":"Item:Q1589638","lastrevid":74067735,"modified":"2026-04-14T18:14:52Z","type":"item","id":"Q1589638","labels":{"en":{"language":"en","value":"Default reasoning from conditional knowledge bases: Complexity and tractable cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542378"}},"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":"Q1589638$253FB0A1-B197-4869-9599-A57DD0E627CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64888240384faab82718c7d09ddde75da1c603ef","datavalue":{"value":{"text":"Default reasoning from conditional knowledge bases: Complexity and tractable cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589638$43E00FDE-3239-4E05-AEA6-8176FE9A1DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e08c1a9d5fdae803833c9ff31f22a54cf5af4a","datavalue":{"value":"0952.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589638$D7853AC7-8AF2-45D9-A2CA-6295223E10CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4995124955dd6ea8915a9f9ce894249a640ceaf","datavalue":{"value":"10.1016/S0004-3702(00)00073-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589638$0D846D43-079F-4BC7-8203-FC69A703A4FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$F335FFE3-19AC-41B2-BF74-8CE10EE61850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589638$B2C3CFF7-4C87-4A5F-BB34-B3489C4F30DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09a094218a2dd23b512807c090c54f3a42003cf6","datavalue":{"value":"Conditional knowledge bases have been proposed as belief bases that include defeasible rules (also called defaults) of the form ``\\(\\phi \\rightarrow \\psi\\)'', which informally read as ``generally, if \\(\\phi\\) then \\(\\psi\\)''. Such rules may have exceptions, which can be handled in different ways. A number of entailment semantics for conditional knowledge bases have been proposed in the literature. However, while the semantic properties and interrelationships of these formalisms are quite well understood, about their computational properties only partial results are known so far. In this paper, we fill these gaps and first draw a precise picture of the complexity of default reasoning from conditional knowledge bases: Given a conditional knowledge base \\(KB\\) and a default \\(\\phi \\rightarrow \\psi\\), does \\(KB\\) entail \\(\\phi \\rightarrow \\psi\\)? We classify the complexity of this problem for a number of well-known approaches (including Goldszmidt et al.'s maximum entropy approach and Geffner's conditional entailment), where we consider the general propositional case as well as natural syntactic restrictions (in particular, to Horn and literal-Horn conditional knowledge bases). As we show, the more sophisticated semantics for conditional knowledge bases are plagued with intractability in all these fragments. We thus explore cases in which these semantics are tractable, and find that most of them enjoy this property on feedback-free Horn conditional knowledge bases, which constitute a new, meaningful class of conditional knowledge bases. Furthermore, we generalize previous tractability results from Horn to \\(q\\)-Horn conditional knowledge bases, which allow for a limited use of disjunction. Our results complement and extend previous results, and contribute in refining the tractability/intractability frontier of default reasoning from conditional knowledge bases. They provide useful insight for developing efficient implementations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$3638CA31-38DC-4190-8134-A56E9D3A9F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589638$1B657EFF-C261-4DDD-9721-6ED6AA363FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589638$1557E4EC-62D3-4695-AFFA-0C88E9B0AC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a248dc3a026e0b4d19acbd6f0558ee6b329ddc34","datavalue":{"value":"1542378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589638$BC58EDE2-2FBD-4AA1-B09C-7AACE1C6483C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb02fb2f591f44bf543478e7736b90a5ac64a510","datavalue":{"value":"reasoning under uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$393DD373-0FC4-4AB9-B5A3-9DDCBDEBB2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77070028ae3cbb78f39b03b0a9aa96914cab345","datavalue":{"value":"conditional knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$2FC30A58-1AB7-4FA9-A189-A3C6EA1C9FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$9FA35867-0024-4ECA-8213-30560852C1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052acb227b59e3efc7fdecdcffc739e186da33e","datavalue":{"value":"nonmonotonic inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$C82952D1-E620-4E7B-ACAE-80CD40D88FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$DB1CCB4B-67EB-429F-A8A6-ED4BACFCE3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a92166f5adeebffc8c81c6abb980ed495030be8","datavalue":{"value":"polynomial-time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$D8963FD4-0B19-4C03-A3B3-92B98BDE8413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170184f7892a6ef1d7c10ed6ca755ecf6d9c5a74","datavalue":{"value":"Horn knowledge bases and variants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589638$ECD71B7E-0520-451D-97DB-A5538531CD1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$4105163C-0080-4693-98D5-CDDFBE60340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b195348d07226c8e7f0f64d2f40d54b32951e970","datavalue":{"value":{"entity-type":"item","numeric-id":429434,"id":"Q429434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$6F3BAE14-E1E7-4A8F-97EB-94BD4A70FD9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$DA6284D9-B4DD-45CC-919C-60A6F6BD34FD","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":"Q1589638$38B94C44-4979-4E37-9FD4-555BDCBEE26F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7385f2cd7c0404a24668efe1fdbc2cf5bc333f3","datavalue":{"value":{"entity-type":"item","numeric-id":1224565,"id":"Q1224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$A4A233F3-6149-4637-9885-CB320E3A38FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$F99363CF-7904-477F-868D-63340A0AFF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8889526d662bda35eecbe0a1c91263e36aa89f","datavalue":{"value":{"entity-type":"item","numeric-id":2676577,"id":"Q2676577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$17995AFB-7DE7-4883-ACC1-9B3523B6B476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f3e465b99818b5af18984c508f5df1664cef5","datavalue":{"value":{"entity-type":"item","numeric-id":4327631,"id":"Q4327631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$AF4F4AAF-AC65-498C-B620-570B97897543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c9b74e177c4228ae5381f1b6b7972387bb3649","datavalue":{"value":{"entity-type":"item","numeric-id":1402739,"id":"Q1402739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$C17EFA2B-473F-4BD4-B598-6F7724944AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99930a71f80fb18bf7d3377d24d36eb4da02dcdd","datavalue":{"value":{"entity-type":"item","numeric-id":1583512,"id":"Q1583512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$3380A858-CAE4-463B-887A-529946D2828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$4DA77D7C-55DB-48E9-A538-BDCB4FB6DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$20A361B5-848A-429D-B798-1093B74B7809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645dcb74dbe4383b1ca3847f33742c128ee542f8","datavalue":{"value":{"entity-type":"item","numeric-id":1330670,"id":"Q1330670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$81A9081C-A05D-4FF9-A069-5D263E51BA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d324cb7c837e256e674728d08e98b9b9b93f890","datavalue":{"value":{"entity-type":"item","numeric-id":1330669,"id":"Q1330669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$257ED73B-63D5-4716-B558-4D180A03C81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc737e5a5ef3a9394388e96a144f3bb33d18415","datavalue":{"value":{"entity-type":"item","numeric-id":1173957,"id":"Q1173957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$7D2658DC-081A-44FD-9684-2F06CD8F67EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93864aec7824361eaf84afd94a1a6d700ad7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$5DA68007-B787-418C-90D3-71723C39EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e877796c14eb0e482e2206ef51e76c13438711","datavalue":{"value":{"entity-type":"item","numeric-id":1329160,"id":"Q1329160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$DCF6EC0B-B8F9-486C-83E3-2C94FA12A353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d5b06ceb99be438c6330628f7fe7fe060b7418","datavalue":{"value":{"entity-type":"item","numeric-id":1267768,"id":"Q1267768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$73431B50-86CE-449C-931B-DF81E80032CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef7ec0993570eb5b6905b987007d45fa7992eab","datavalue":{"value":{"entity-type":"item","numeric-id":1606312,"id":"Q1606312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$314FCF6E-F6C4-415E-B568-1A2D746FD99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d5b76ee2b45e01763f407213639dc7f1fbb683","datavalue":{"value":{"entity-type":"item","numeric-id":1108818,"id":"Q1108818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$BB8E59BC-D2F8-4DC3-AECB-0D0628629C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef10639af25eb30763df7a25a67b7e8327f9e1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1274556,"id":"Q1274556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$3112B289-6BC5-4CCF-BE43-0606F16DDB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$4C9D66B0-A27A-44CF-806E-0CD9B7968BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efdab2d4bfeb9318612714339cc2e1288670ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4012236,"id":"Q4012236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$0A3DF170-AB9C-409C-8127-81CA8B1A4AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b15b130ea2d635f509ff09bb26797b710b7c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5365731,"id":"Q5365731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$AA3E2641-889C-4386-9A05-1D5C184E4597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$F5B7866A-129B-42C2-AF8D-FC1E56EBBA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$271D8B8D-1B98-4ABA-B473-008B724DB63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$A3B66D94-89DE-4C50-92E6-DB0EFF4C7835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020400486e39b5d509f5d55f7c473b1a3798202d","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$58881B76-9A49-4D66-9AE7-0A008FF9D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe6830e6aed4c8f586ab0527a59c35477a02ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5441354,"id":"Q5441354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$00C307E9-9D1D-475D-A19A-691D7FC8A556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$7431A576-F651-43B4-8426-B73BBC5ACF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e61d192aa367a7934da65c8837c3092f777a77","datavalue":{"value":{"entity-type":"item","numeric-id":4211190,"id":"Q4211190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$3BE51E66-C907-4391-9013-A83553675363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccacf57e44feec87e4952adcb18588307f121d1","datavalue":{"value":{"entity-type":"item","numeric-id":4698061,"id":"Q4698061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$02BDB9C1-68DD-4AA0-9DED-59AF2963A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$2437DBFE-FFDD-4F17-B88B-6F332EAEDDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dca31d9a11eec974759e0648edfc5d06aa380f1","datavalue":{"value":{"entity-type":"item","numeric-id":989161,"id":"Q989161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$618F1E34-18F1-41EA-85C1-1F844F201A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55dc6cb8eab99f8874fca5f115f6a5abb8d9a8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1190793,"id":"Q1190793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$125B135C-31CF-490D-B6C1-39FE0D80BFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c66413207853f9d30811252e18e0aab59b8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2171264,"id":"Q2171264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$87BA1BC0-DC99-435F-B893-CF6B7537EA90","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":"Q1589638$B74756AD-7D87-455E-A0EC-754315874109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0753a219b962e02cc904d943933a92e9e702e617","datavalue":{"value":{"entity-type":"item","numeric-id":4955325,"id":"Q4955325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$CB671D42-B521-495E-85E3-888A1D0C2251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6072506f2ad8055f77dde57f7c29526493b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4246971,"id":"Q4246971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$36458421-B245-4DB0-A84C-7B44C33C1C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5076fcfcf434eb3b1ca9e48ffa66cd782340615b","datavalue":{"value":{"entity-type":"item","numeric-id":673784,"id":"Q673784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$77B563ED-736D-4DA1-9ED4-7DAB9F8CB25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$628B6609-7535-47DF-9FF1-32201CAD12D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7cd9573e04579ced6db98cef8870ef9c20170e","datavalue":{"value":{"entity-type":"item","numeric-id":1189876,"id":"Q1189876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$8FA3E87B-9FEB-4208-9C76-54F58CFE81B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09beb0344c5f8c044554764d6ce151998549bf67","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$5E77E64E-B7B8-465B-8FB0-DFF08E31608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$C7D4504F-70C9-4B63-953A-1B1A581A7E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30f6e432ce9e9ae75031144ac1199e0b83ca0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1107309,"id":"Q1107309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$97D8083D-6894-4635-BEFA-E789ACB625BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dff5e782ef62cb103dafd8fc9d4b6acb682d349","datavalue":{"value":{"entity-type":"item","numeric-id":4028809,"id":"Q4028809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$663FB625-6F2F-4773-8901-C1AE24615074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0286e0b53864bf365371300223636f6ea23e492a","datavalue":{"value":{"entity-type":"item","numeric-id":3493328,"id":"Q3493328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$58546635-191D-4697-8676-DB6EADFE9777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28f765cbcdc6c956e21179476774712687a4edd","datavalue":{"value":{"entity-type":"item","numeric-id":1924825,"id":"Q1924825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$07EDFFF9-EA23-43C1-9E69-C36AE3BE5990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$59C8BC9D-F980-4C99-85DF-6B24059101B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fd5454b827ca1cbdb74937a6133f2eae63666b","datavalue":{"value":{"entity-type":"item","numeric-id":1575185,"id":"Q1575185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$8E4A9878-13DB-42CB-96A8-D84A783E7F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$0312BEB5-89FC-4816-A47C-31839B107D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$05723EB2-370C-469E-B8D3-50176ACBD292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$C572FCCA-E060-473B-A560-B235000D25B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$5C6F598D-E692-4D5A-8EBF-5DE8E72D1AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$64D9F85B-7F7D-4A16-9B86-5929E8E3E319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e724dfd30072c517bda3ea5885b5018ea4eef23","datavalue":{"value":{"entity-type":"item","numeric-id":4028815,"id":"Q4028815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$C75D6E82-77AA-45A0-A1F1-888A23C0FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2a2e1ee7d928d5814d6485249a214dc2438187","datavalue":{"value":{"entity-type":"item","numeric-id":4236365,"id":"Q4236365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$9E6593EE-34B9-473D-977B-B1C6AC0E40B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f277483117a3af5d0ef3d83a8ea453e0fa8b3d2","datavalue":{"value":{"entity-type":"item","numeric-id":4022226,"id":"Q4022226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$7A9FD266-5E53-4F0C-B2DA-17C658869A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$7C755E69-8E15-470C-B71C-9FEFC1EE47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbffd1fef9347f18e1dcd65335cb2585149209f","datavalue":{"value":{"entity-type":"item","numeric-id":3481677,"id":"Q3481677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$C042A5D1-345E-4453-A449-03AF283273F2","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":"Q1589638$794981B5-874C-421D-92CF-3208BA27AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527bc19ca28994e4f1cbc67acf1065ec21b6602a","datavalue":{"value":{"entity-type":"item","numeric-id":1329166,"id":"Q1329166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$CB23959B-2345-424C-833A-6F8AC80BB0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f5d749e4775b9ff8ad70d19f88e3741e680ea","datavalue":{"value":{"entity-type":"item","numeric-id":3495646,"id":"Q3495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589638$B71B47EC-7593-4B1F-AAE6-BEA301458DF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5709e2dda03075383fd9978fbcb3c7a7a208cf83","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(00)00073-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1589638$8F6DA535-5B6D-4B38-8452-9FED281E0E5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab6df1be4926dfd7cda8258403f8bc6a2c7c9cfa","datavalue":{"value":"W2101013415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589638$0A191EDC-9F92-411D-9667-15747EFB6734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448eac3a7e8500585bb965ca3fc00df25227c028","datavalue":{"value":{"entity-type":"item","numeric-id":4536334,"id":"Q4536334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39463693915da1733840df446b60ce36376adb3a","datavalue":{"value":{"amount":"+0.925658106803894","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":"Q1589638$B58D61F1-2FBB-460D-A855-5B96A24E69C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9572fd0d568712e75b370b29f0fe2dd7f57025","datavalue":{"value":{"entity-type":"item","numeric-id":2502153,"id":"Q2502153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265d04d46ce145330051e04f1b14fb31a2a25c7a","datavalue":{"value":{"amount":"+0.8742050528526306","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":"Q1589638$DAF91032-1018-4933-B712-4E16B2D5EE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161f43ccdac475f3d72a4c9ee65736acd40732c2","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50295b284c731cb382544be76e78af2355f7cf8","datavalue":{"value":{"amount":"+0.8005313277244568","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":"Q1589638$5462BDAC-A6E1-44BD-BEF1-6CE5F9071C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6326f0de5c45cb0662ad22f87f6e1295099e48c9","datavalue":{"value":{"entity-type":"item","numeric-id":3493327,"id":"Q3493327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33733835798b5d425f501a0ed427f9728c6d6b85","datavalue":{"value":{"amount":"+0.8005310893058777","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":"Q1589638$B6FFE308-D725-4918-83F8-5571E8FCD5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c47ae3e7546b41dfd3ee1bf17f40e6a35cdcdb","datavalue":{"value":{"entity-type":"item","numeric-id":3830558,"id":"Q3830558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf698173d24f5f17029c289c09cb178772d2d617","datavalue":{"value":{"amount":"+0.7905465364456177","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":"Q1589638$A356DB73-B524-443D-84F7-811BC4106ACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Default reasoning from conditional knowledge bases: Complexity and tractable cases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Default_reasoning_from_conditional_knowledge_bases:_Complexity_and_tractable_cases"}}}}}