{"entities":{"Q2926862":{"pageid":2937582,"ns":120,"title":"Item:Q2926862","lastrevid":52122833,"modified":"2026-01-20T23:51:28Z","type":"item","id":"Q2926862","labels":{"en":{"language":"en","value":"OBDD-based reasoning for terminological cycles of the description logic \\(\\mathcal{EL}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363918"}},"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":"Q2926862$54702D16-90EC-48C6-AF94-F654A16C53E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a37acd42cdfc71f9465cb40719be9d6efe01d5c","datavalue":{"value":"1313.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926862$7802BDAF-EF11-4EC8-83BC-7F302DC2D22D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0710e7dfa87db1bd39749a097b8e19de98d06d97","datavalue":{"value":{"entity-type":"item","numeric-id":340493,"id":"Q340493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926862$FE991E58-32CA-4356-AFA2-3D2321C2ABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f385d5e9745e62168d925238ca3aa206b4e79e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2926861,"id":"Q2926861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926862$1831B47B-09F9-4B19-A14D-69FE6FEAF42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9615a43d2afa97987241ec96341737f46e8d25f5","datavalue":{"value":{"entity-type":"item","numeric-id":1777030,"id":"Q1777030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926862$CE2E27F4-16FA-41D4-834D-D58F2F3881DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2ff27b73c49a150a96691dc609e7063af16ae09","datavalue":{"value":{"entity-type":"item","numeric-id":1793477,"id":"Q1793477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926862$3F471657-4226-41D5-8B29-5FAFF612D1B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926862$D72D48B2-BB55-4DAB-A44A-8176FBA15054","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926862$4E1C2429-2E23-40B7-8B82-94F4836302E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926862$0BAECE3D-3383-4F99-8C67-CCF0E8717CF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35efcd88a0ca3929626520bae54f34e3ba8cee79","datavalue":{"value":"6363918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926862$B887505C-2FB9-4468-BF53-BDD2F5931DC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2926862$860BDE55-3E4D-44FA-998F-C2714222C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d13cbba26760a6e04cfc061379e62cae81e9829","datavalue":{"value":"terminological cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2926862$848149DB-D0EE-40CA-A657-0BB2068B9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473e8b200cf6dbb54eccfcd814faf9dbc0df721","datavalue":{"value":"ordered binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2926862$D594EC65-94D3-445B-A946-5AB1800D23AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3142ddf7a6d2181e6d644d2875e53976bba81828","datavalue":{"value":"concept subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q2926862$852EA5BB-AB4E-4CE8-A676-1B3D1DC02D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2926862$8DB464F8-F3D9-4BA3-99D5-DB33040D5C35","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":"Q2926862$E273CDD2-E856-4CE6-A6AF-230D35338681","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe2087bbc3d89e0f54eddcff0f0262c5dafd8997","datavalue":{"value":"10.13328/J.CNKI.JOS.004403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926862$631FCDA8-5E61-4454-AA61-EC76C6C273EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca69a31d1517c9197e0742c69d9780c8efd15505","datavalue":{"value":{"text":"OBDD-based reasoning for terminological cycles of the description logic \\(\\mathcal{EL}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926862$215BE317-2FAA-4D8D-B685-1F5FB956BF4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926862$58EAA6E9-EB26-456E-BFE5-588376D50777","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738efc80ea8e48970639b533e708983a4cc39c64","datavalue":{"value":{"entity-type":"item","numeric-id":948503,"id":"Q948503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7cc054d678b4585b49899cc9317155690795fc","datavalue":{"value":{"amount":"+0.7748519778251648","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":"Q2926862$21518A38-1516-45D8-8AF6-7D412BFBFDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60556e91e45837850bc31a3f30e572ffab7ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":2881079,"id":"Q2881079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788ddbbd93bdcce49fe688e57c995dc2735cf2d2","datavalue":{"value":{"amount":"+0.7565525770187378","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":"Q2926862$65A45067-C0C1-40E8-9B10-5514F4F99FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbc5870607bf3b185bb5b79749d04b746d94b03","datavalue":{"value":{"entity-type":"item","numeric-id":4472485,"id":"Q4472485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e31a2eb3a8783a625993674c62d4e832e35c27a","datavalue":{"value":{"amount":"+0.7431359887123108","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":"Q2926862$CFCBE560-373D-47C5-B0A3-74797FFF3784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252a97a2d6a1b7eb686b6c3bcf6438bcc8059792","datavalue":{"value":{"entity-type":"item","numeric-id":5897297,"id":"Q5897297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224741eb79d901ef597d9f83ce9020a547dcb736","datavalue":{"value":{"amount":"+0.7413818836212158","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":"Q2926862$09A09D34-2265-4F7C-AC5A-E7BEDA1FBBEA","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":"15fa1cc44ef9d3eedc0c67abcd9fc4d8d1af6581","datavalue":{"value":{"amount":"+0.7411946654319763","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":"Q2926862$1FDB7F31-D10D-418A-94CA-D9DCC7D3C5C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2926862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2926862"}}}}}