{"entities":{"Q2818038":{"pageid":2828776,"ns":120,"title":"Item:Q2818038","lastrevid":52614965,"modified":"2026-01-23T02:52:05Z","type":"item","id":"Q2818038","labels":{"en":{"language":"en","value":"BEACON: an efficient SAT-based tool for debugging \\(\\mathcal {EL}^+\\) ontologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623532"}},"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":"Q2818038$B773570F-29B1-4B3A-8D86-1393643FA79B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"667745475354b2b52ff13f6fffa37c83b0db227e","datavalue":{"value":{"text":"BEACON: An Efficient SAT-Based Tool for Debugging $${\\mathcal {EL}}{^+}$$ Ontologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818038$633A7B21-6F61-496E-A772-EF43F7A768F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121436820c38d5ca69f38b29c974d0f951fd6f55","datavalue":{"value":"1475.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818038$0DCBA391-EAE5-4AAF-AD05-2BC60D757F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e533e32b229bae08c8198d4358e8acda1612d03","datavalue":{"value":"10.1007/978-3-319-40970-2_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818038$6F76CC37-3CD5-44D3-83E1-B6E523A54930","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61a545a93ee0578943fb6340ff9ba1345bfdfec3","datavalue":{"value":{"entity-type":"item","numeric-id":2818037,"id":"Q2818037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$363E3C3C-1C03-465F-9304-494B6CDC5B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467860733bf369e6af27f18b03d9d65162ff29a0","datavalue":{"value":{"entity-type":"item","numeric-id":363572,"id":"Q363572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$5567EFA9-776F-464D-B645-9CF7EFAB7729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$FB436E75-3753-4E53-BBCF-0B0EF4207DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63463e2ddaf3f2f568848f59f2b8d314cfe6b5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2118328,"id":"Q2118328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$BF55F8C8-A479-4017-ACF9-49000A89CC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e484f66b2d4d80476efc2741bfc7b501692ca02d","datavalue":{"value":{"entity-type":"item","numeric-id":465591,"id":"Q465591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$71EA502D-07D5-4509-8785-25696913B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$5E2E975A-8702-4772-9930-951D27967560","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$87925710-6073-44D7-8A18-6A206E7514DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818038$A7F31909-DD49-466A-8BDD-B5F658AC81E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818038$1A7A08F7-F0BA-4C16-A6FE-D7D8E8520496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818038$663AEF99-1304-43DC-BBC9-FF9BE8D5A1A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdfb9f92d147496da4b9314600b24d7662b0d473","datavalue":{"value":"6623532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818038$92C7C08F-88C3-40A6-90D8-F89B6601B2BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a77065fb5b3949d0a6963ef0f140900afd8e004","datavalue":{"value":{"entity-type":"item","numeric-id":32998,"id":"Q32998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$4B6FA35E-37E7-4A35-B0CF-76CCE9D02C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e790e34c1124eab87f8bae09bccd11990af9eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":55821,"id":"Q55821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$0D90CF4C-8264-4A8E-A4AF-C23FEF7041A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$933A3581-3501-483B-B4D6-401496AD3946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5a242de69c79c07438513990ae78359ebba9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":28610,"id":"Q28610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$FF1AB814-B09E-4AAD-8241-687735BEEFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa05f17406dfac96b57ce641361f6541fee06796","datavalue":{"value":{"entity-type":"item","numeric-id":28611,"id":"Q28611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$9190CB29-EE87-4B4E-89C3-EEDF44CCF8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"000a59c76fe8271e045a72b8e028e7c0252cfc1d","datavalue":{"value":{"entity-type":"item","numeric-id":40338,"id":"Q40338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$B856FB8D-B719-42C2-8D8C-A0CDB3B72E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cec1186c2876f00b8627c690711f3a8b1bc11e4","datavalue":{"value":{"entity-type":"item","numeric-id":24405,"id":"Q24405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$710E7E53-03B2-44A8-8BCD-04605327159D","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":"Q2818038$3EA26346-1170-48CA-A02C-4DB1CD22CE5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d32c467f87a1facdbe1c270dbaca46eeea3923e1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818038$74BB1676-BAC4-473D-86ED-3A64959A5369","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec3be0bfe00b694b4f36d14e0ca7d030f7a5352f","datavalue":{"value":"W2487667488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818038$09916EFE-0ABA-48D3-A931-A0D48C315C75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8901f28a910eab4e88b7744745bb5e25d76859d","datavalue":{"value":{"entity-type":"item","numeric-id":3453236,"id":"Q3453236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$EDF3FD08-11D4-4E32-BD01-7B6FDE568E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$2B483A26-01DD-40BC-B076-CD6EF3CF10A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca9cd7786a555a68bf8f9117f3115c81729ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4407240,"id":"Q4407240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$C216622F-3873-48F8-A735-93E52AD3FE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$FA221255-9C19-478E-BF07-A9958FE0B84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$0EFC0554-E727-4E04-BF87-4A85139434FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63019fd555042b1e8808a516f4903ec6bfdd79ae","datavalue":{"value":{"entity-type":"item","numeric-id":2457681,"id":"Q2457681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$2E63F2E5-D997-4FD7-A181-4BE93CDE89B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ee1e5a905f8c09fa418f752e9a954b73793842","datavalue":{"value":{"entity-type":"item","numeric-id":4922910,"id":"Q4922910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$A31A8A53-8A1C-4B20-8C50-EEED42CC5186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$7C60586A-B879-4F5D-AE4E-3A5E0E3EFA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$35C3F08D-B5F4-48CD-A9D5-DA1343549AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$E358089E-1854-47CB-8BC8-A658F8AECAFE","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":"Q2818038$43CC585E-AFA0-4F05-8C68-9CCA67BBB805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af513cb1cd8af1f444d2812d66fcc4ed31ebd21b","datavalue":{"value":{"entity-type":"item","numeric-id":5191098,"id":"Q5191098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818038$D76990A8-8C17-4341-9002-0DB9BB98AC2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cd2a1663feab16fa1988ff6ea61c7ff45f390f","datavalue":{"value":{"entity-type":"item","numeric-id":2938488,"id":"Q2938488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3614ac548f7aa28701faf274872c1ab87714e203","datavalue":{"value":{"amount":"+0.7473751306533813","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":"Q2818038$6C405A4E-296C-487D-9540-16DD791226C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8632ebe0ec5d28baaad85d52e2d9f5d382ae472d","datavalue":{"value":{"entity-type":"item","numeric-id":3638996,"id":"Q3638996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46127c633450716494b5e01652945a0d93de352e","datavalue":{"value":{"amount":"+0.7418040633201599","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":"Q2818038$6048147E-4BF2-4A37-9040-AF0D4799B06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b62f142ee10c31ac815c360e929f426e831de5","datavalue":{"value":{"entity-type":"item","numeric-id":2352492,"id":"Q2352492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df56e7458476e1ece6648fdb505b21040abfa88","datavalue":{"value":{"amount":"+0.7341279983520508","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":"Q2818038$23C61D93-83DC-4674-89EF-0ABB044F47C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a826fb7d44c7df3837095390de83c0d1cbea78","datavalue":{"value":{"entity-type":"item","numeric-id":5191098,"id":"Q5191098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0b1ba123569d4ba0d3361e078da0393333cb40","datavalue":{"value":{"amount":"+0.7330937385559082","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":"Q2818038$38703E39-FACD-4E67-B217-945CD30AEDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec1a54469d6f14e1f1fe29e595dc2322b0661b2","datavalue":{"value":{"entity-type":"item","numeric-id":5479264,"id":"Q5479264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7ea5e14029297c293e292705f9384574db3b52","datavalue":{"value":{"amount":"+0.720089316368103","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":"Q2818038$9DE8B3DD-DEC0-46D3-AFE1-328A78E828ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818038"}}}}}