{"entities":{"Q3546348":{"pageid":5576252,"ns":120,"title":"Item:Q3546348","lastrevid":49517680,"modified":"2026-01-07T11:03:06Z","type":"item","id":"Q3546348","labels":{"en":{"language":"en","value":"On computing all abductive explanations from a propositional Horn theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426612"}},"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":"Q3546348$A61EA2EF-1CA6-4531-BB70-A08AFF1D370A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"174dd928950095acef35266f292b5e507e6769d2","datavalue":{"value":{"text":"On computing all abductive explanations from a propositional Horn theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546348$3015D01A-F668-47EB-8226-7B0B9C422C23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"695b196a75d60085c83ed993f7bc40cbbe1d9969","datavalue":{"value":"1312.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$645EB0F6-4F6D-41E0-8024-DB0AA9480561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a58c5c5a7228c6e178807d30b5f7811588f5d565","datavalue":{"value":"10.1145/1284320.1284323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$51271DDD-0C25-49A9-A1B6-7256C9F92678","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":"Q3546348$394F21FD-72FA-4E14-A414-BDEB04BAB05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546348$77224C75-7643-48DC-B6CD-7E0C7935EFD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546348$B2078F91-02BD-4D35-8CE0-AA49EC2AF636","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546348$BFB345D8-C828-4583-9F25-3D745216B833","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$AEA1B168-24B2-4DD5-8F46-CFF50E0F2372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$B10D5072-C0DB-4FEA-9B74-E08139AF2F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$DB084B7F-995C-4058-AFCB-7478AC7C6023","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bddc3132fa53d4f165e00f70e309e8aec2fad843","datavalue":{"value":"5426612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$F2B9D1F0-7660-4008-8E1C-9C9F30509BC9","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":"Q3546348$A12CC4AE-6066-410B-BE0E-E4968E64E879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a4335e11e646cdf7c47610ae833d4663c2f2882","datavalue":{"value":"https://doi.org/10.1145/1284320.1284323","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546348$CD295956-FC19-4F29-9645-29868D6E85AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c594aa7a02dd66133bfa18ca3d32636aff8b875a","datavalue":{"value":"W2085261789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546348$481B3FF1-76D1-4F37-889F-52B25E2649F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7384049ab0ed5cd17647c54b40bf6fda07984d84","datavalue":{"value":{"entity-type":"item","numeric-id":5292637,"id":"Q5292637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f582418890af64fc4eed32d601b9220681b69bd5","datavalue":{"value":{"amount":"+0.94891226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$2A4094B4-829A-4335-9D1B-DE5284FCADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d976d9cac9281f0a407ddde26f6999c5cba1c38c","datavalue":{"value":{"entity-type":"item","numeric-id":5038472,"id":"Q5038472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50593231add2b35a80ff893fa2ee06ddc4e48f4","datavalue":{"value":{"amount":"+0.8916551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$814FEF52-5E43-428F-BF98-FB286BEB0ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfee02f9b81bf72670d58e5144baf8dae06af9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5688791,"id":"Q5688791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3daaacedaad14a05c7f815b2b38e1a2cdd6aba13","datavalue":{"value":{"amount":"+0.88686717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$02A69617-0604-465C-90C9-1D820E5C4494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c700ecd58890d5cd47754c9d26b54634b47687b","datavalue":{"value":{"entity-type":"item","numeric-id":5470752,"id":"Q5470752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0725490b1e361b37f14142584b43fcbec5626232","datavalue":{"value":{"amount":"+0.88344395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$23F5EA5C-66B0-402F-9EC6-7DA709DE4640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33496806bc50a091c39feb747096092443281dda","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd3f5cf40527f5db6b6aa6133bacde19dc301c6","datavalue":{"value":{"amount":"+0.8794916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$1F7DEC32-1116-4E4B-9958-31525434B8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ceb2b6595944181c2f2e56bd3fa30811b82a936","datavalue":{"value":{"entity-type":"item","numeric-id":5101437,"id":"Q5101437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a2056970d4d8bcbda09c88129b38e8a4bb2575","datavalue":{"value":{"amount":"+0.8749613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$5E2DECF5-4BF4-4A78-9DFE-D886A5608213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ef701ba3bc01b655179156e9f08d2298100297","datavalue":{"value":{"entity-type":"item","numeric-id":3411854,"id":"Q3411854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96884fd3f1b9f02b135978f1a21d15cb481c9ec0","datavalue":{"value":{"amount":"+0.8723215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$CABDD410-776D-4840-B6BE-0BAF5DA13E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d4dcf217d33fbbf41640637435d2b4517e912e","datavalue":{"value":{"entity-type":"item","numeric-id":5277767,"id":"Q5277767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efb4625b160e9fea7e812561205dc2bc204714e","datavalue":{"value":{"amount":"+0.8713443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$1B1DF173-32B8-40FD-B972-2F2FC037E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee19fc19c1770ee3784151eff4e674ca4d0663e","datavalue":{"value":{"entity-type":"item","numeric-id":4632300,"id":"Q4632300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e98b67f6325ba6fa8c9f4e94d86302ad647241","datavalue":{"value":{"amount":"+0.8706037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546348$3A1FCDE3-722B-4D45-9127-54401CF4E460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546348"}}}}}