{"entities":{"Q6545548":{"pageid":14156702,"ns":120,"title":"Item:Q6545548","lastrevid":55669354,"modified":"2026-02-17T20:44:20Z","type":"item","id":"Q6545548","labels":{"en":{"language":"en","value":"Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855131"}},"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":"Q6545548$6D8F43B7-A6CF-4744-9AD3-98ED78ACC44F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfbe9e211f833cd13e4fb82025e1dec561ec3af4","datavalue":{"value":{"text":"Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545548$DAF49ABB-7773-4B5B-BA01-07D8F8408496","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1830ed2be4d3691f74fe01fa4921452f3f3aaca7","datavalue":{"value":"10.1007/978-3-031-43619-2_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545548$455280B1-DBA4-4F8A-B52A-B6C97F45673A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bc7137f0ddc076c70e359b44133f7e6bc7c1feb","datavalue":{"value":{"entity-type":"item","numeric-id":2915048,"id":"Q2915048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$84BF4179-79EF-4FE0-8FC5-C66E87D14B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1a983408182ddf37ff02d7183e3c8e2748992b2","datavalue":{"value":{"entity-type":"item","numeric-id":6545545,"id":"Q6545545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$B381CD83-488F-476F-9C42-F78B6CD6C3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdac323a23e3a0f5d3d8cc29aa9dd80911bdf5b4","datavalue":{"value":{"entity-type":"item","numeric-id":6545546,"id":"Q6545546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$733D9424-EC82-4C7A-B530-D40BE7CD4EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28abfccc5a38f76ab0d01a48d9ebf32643137818","datavalue":{"value":{"entity-type":"item","numeric-id":6545547,"id":"Q6545547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$AFA34329-A7BE-4389-89AB-C2BC86687F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545548$1C2E33AD-A622-4AB2-99AA-03FB46FC456C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545548$57E7D001-F725-406E-8143-CAE1CE3C74CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0b37e5697fdd08ed03332bf7eb3548f9db61230","datavalue":{"value":"7855131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545548$C80CC4DC-A62C-42CE-9AFD-2D7DCFEDE705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545548$99249688-7547-45CD-B175-A30C899CFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545548$55C103B2-B9FC-49B3-8618-C27AFF9ABDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38255a01ff8ffb1fa692e624f7913a6f3083aeee","datavalue":{"value":"ontologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545548$1246A880-C6E0-42BF-97E3-357E4DE49D99","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":"Q6545548$0E67EBF2-5CB8-4477-A435-E8DE9B93E3B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$370CF46B-EF56-43AE-8828-5C8C995B858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$E06B23BF-F8A6-4292-AD32-5F27588F9DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$0B8F41C6-255B-42EC-BFF7-66215942B37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f64fb532bf3fbbd92e7d2230ded1d794e7358","datavalue":{"value":{"entity-type":"item","numeric-id":2352492,"id":"Q2352492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$D83B53F3-E5BE-400C-B324-DCB197F285E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$235B3866-8CC7-4842-ADCB-674FF0AEA357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$25946EB4-47D5-44CD-8DC3-23E2C6FF0B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8617859e6481ed3d08ca755aff84b1a6250eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1603435,"id":"Q1603435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545548$DCDFB884-09C1-4A50-8575-E70833BCCB56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1f88e89b49b36a41e68407b0fd32b3db35fe39","datavalue":{"value":{"entity-type":"item","numeric-id":3546348,"id":"Q3546348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e149c245b769373f9fc035cf9fcfef7e66c9691d","datavalue":{"value":{"amount":"+0.7040508985519409","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":"Q6545548$8DAEEB24-8846-4D19-BE9E-DEF592CD02CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923173abf1f8f34e053b13da1a495c5f9b71d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4281509,"id":"Q4281509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8eefd61c6f7416fc9502d24cea545caebf49a8f","datavalue":{"value":{"amount":"+0.6949481964111328","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":"Q6545548$0E76979B-5E35-46BC-A135-C740C838A1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267748e50334658213ed7871477d8581c216fc43","datavalue":{"value":{"entity-type":"item","numeric-id":2999223,"id":"Q2999223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8490c861e65293a4acdddf2d16096c59fd819d","datavalue":{"value":{"amount":"+0.6897983551025391","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":"Q6545548$3318B98E-B707-4FB9-91F4-7A013A61C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30992873cdfe4aa131601abba963a75f12b8ef70","datavalue":{"value":{"entity-type":"item","numeric-id":5262485,"id":"Q5262485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053a45878f916d6aab424eb686e578c48b13df1d","datavalue":{"value":{"amount":"+0.6869701743125916","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":"Q6545548$C4A38326-FAB1-43F2-A81F-D8AE4533C7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcdca6a1723a9fded274a9ffd1546ea4979f86f","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a3b0d175edb3f7355939dc3ce526c39331db12","datavalue":{"value":{"amount":"+0.6841816902160645","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":"Q6545548$A2D293F5-AD92-40AC-BD07-F487A9EC23EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545548"}}}}}