{"entities":{"Q5191098":{"pageid":7220670,"ns":120,"title":"Item:Q5191098","lastrevid":50728649,"modified":"2026-01-14T23:13:41Z","type":"item","id":"Q5191098","labels":{"en":{"language":"en","value":"Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587929"}},"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":"Q5191098$5ECEF40D-BA14-4666-AD3E-227E78E39B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14b6aec97b69fd0c16cda75b6712cf442ca0ea76","datavalue":{"value":{"text":"Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191098$90E4832E-FCDF-4CA3-8A87-B4EF6BD97552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e6fff4de677b05b283555e72fefa663cf64a613","datavalue":{"value":"1250.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$FCFB123E-B8E7-40F7-99E5-8CE1F74EDA7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7624c3113ed4fef4a91f705c492ea2fd19f1721c","datavalue":{"value":"10.1007/978-3-642-02959-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$BB953306-AFCB-46CE-97E8-EF921B0C48DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$C5003380-554B-4D0B-9197-1FD10761ADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11dc4479c6d84a37a43fbbc196047b99b181424d","datavalue":{"value":{"entity-type":"item","numeric-id":3651466,"id":"Q3651466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$8FB6F373-7DDC-4ADB-9300-18B96775078F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$9A8665B8-CC8B-46EF-9D42-91725117CCE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191098$3DADEB66-0267-4764-82EE-A2CF9F1CE8B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd215a5bacee2de4ef28bcd317beff3f0b742748","datavalue":{"value":"http://eprints.biblio.unitn.it/1576/1/014_v4_100309.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191098$F0AAB4CE-02AD-46CB-A631-A41041A626DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$CE49051D-E27D-46A2-ACAB-EDA4167CC95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$CE3D1FDF-1826-468F-9459-65202B49418B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$328FF91B-C021-4E44-8669-EBE8D5871526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$7FB06BCF-FBAA-41B2-8D8F-C33814F96680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86067d37518b99f4a82d53df0746574a0ed85f3a","datavalue":{"value":"5587929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$6C36161C-B5ED-48AD-A9B2-9C813BA992E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$666961BC-56F4-4F8E-9078-93074A05EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$6E52D4E7-8B73-47B9-AECA-27A2BC3D1B1E","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":"Q5191098$DACE07D2-7F58-4F8C-9AF9-8EF1ECE76364","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08a27cb08baef4c90fbe7460d9b3407c7729e316","datavalue":{"value":"W1540668801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191098$CFAE0666-6C1B-434F-AB81-1F62202128A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"946ec71e3ec8de79e3eb46c768ae1b0ab7f17f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5434476,"id":"Q5434476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$496343BE-3F9D-4F01-8227-AA50247EBB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$27D10CAD-073F-427C-929C-A37FC0B99EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$782B5E72-E3B0-445F-A8FA-47012505AE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2dbb5770cf2bfa6d0c75b9c3ea412f957c13402","datavalue":{"value":{"entity-type":"item","numeric-id":3651467,"id":"Q3651467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191098$E48BE4F9-1640-4303-A2DB-132132ABBDA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d766981fafc5ea8b46e722ac678c2994b6660402","datavalue":{"value":{"entity-type":"item","numeric-id":1680678,"id":"Q1680678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f43690e1f4df672201a17d57d7ef448c159ce5f","datavalue":{"value":{"amount":"+0.8140608072280884","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":"Q5191098$13F591A5-798F-4EB5-95F9-F6BB681DC97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6083ef61ee32e3ceb839554be93beab67f8c74ef","datavalue":{"value":{"entity-type":"item","numeric-id":2694580,"id":"Q2694580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398a3568d0d492dafe302e0b7c1b663aa5f08cfc","datavalue":{"value":{"amount":"+0.7720323204994202","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":"Q5191098$F87C4D75-C05C-46FB-869D-651C4A58D593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d83c2098e7b535b75a1fd1f8e10498da1fb64","datavalue":{"value":{"entity-type":"item","numeric-id":2999101,"id":"Q2999101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291bfd43e628e868cff08bf2260a3d5a847f40a8","datavalue":{"value":{"amount":"+0.7666983604431152","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":"Q5191098$1C7E5915-4C07-40D4-93B1-BFA547DE262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef1ac537359df0f068368889116b2ec7a60393a","datavalue":{"value":{"entity-type":"item","numeric-id":5434476,"id":"Q5434476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f22d4a0ff2b85ea451c8af8ecfbba2a352bd985","datavalue":{"value":{"amount":"+0.766562819480896","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":"Q5191098$20683ED9-193F-4409-965F-E8A9824601DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634b567d837427fbde57aa366476f8c711d51dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3406682,"id":"Q3406682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e727d6f90ef128bf095cad29e8743e7f0132a5f","datavalue":{"value":{"amount":"+0.7643768787384033","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":"Q5191098$3AFD3C77-2F42-4726-87B1-DBD369960CAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191098"}}}}}