{"entities":{"Q2881079":{"pageid":2891799,"ns":120,"title":"Item:Q2881079","lastrevid":58048518,"modified":"2026-04-03T14:39:22Z","type":"item","id":"Q2881079","labels":{"en":{"language":"en","value":"Type-elimination-based reasoning for the description logic \\(\\mathcal {SHIQ}b_s\\) using decision diagrams and disjunctive Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021329"}},"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":"Q2881079$3F817339-9F51-473D-AFC4-3BD99EA78700","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44888f08b40aef07694e31c8b5956534bb8ecb50","datavalue":{"value":"1241.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$795C6C6C-B798-4F43-925F-099BDA0F7020","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f6e7a5df83ff1d9e0ef55268c9a3f10ad79d936","datavalue":{"value":"10.2168/LMCS-8(1:12)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$9B75DB23-E132-42E2-96C9-D8C9DF3154D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7d042de70826f8d8f173da27538961fba30026","datavalue":{"value":{"entity-type":"item","numeric-id":507521,"id":"Q507521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881079$210224CB-A799-47A2-84CA-681193A0A3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81161afaa508e2d68667bfb24b0b658ce4a4b13","datavalue":{"value":{"entity-type":"item","numeric-id":831913,"id":"Q831913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881079$C33F3E9C-3523-4F8E-99F9-28FC508AAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbeabc28ae419338d0fc6eb2152a601d7b21813c","datavalue":{"value":{"entity-type":"item","numeric-id":646501,"id":"Q646501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881079$C233840D-7ADC-4504-BC6C-7AA688DEF452","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881079$E1649394-3E60-4F50-806C-AAFA517761F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-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":"Q2881079$1199D6C7-405A-4D05-8829-C5A8A936844A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8553aed2c4f7d3560a71409ddf7d7e2190db8dbd","datavalue":{"value":"https://arxiv.org/abs/1202.0914","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881079$C81C5F74-0708-4390-A7D6-9022191F2593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$3784D795-9796-4DFE-9628-5BA439B55F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$E8908E12-260B-4AE1-BCDB-366113E84649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c0fe0542d66b016897ed03558e2c21ca1d56f61","datavalue":{"value":"6021329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$F6AEC756-9EC8-403E-9C37-F2403B78A14E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881079$826DDED2-D19B-49B1-BAA1-81446176DE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ba421d3bacbc03810e7fbd039c6f4a0da067c7","datavalue":{"value":"type elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881079$55D14305-2BEA-4386-9336-3D27C19EBE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881079$D03CBF91-2504-4921-9502-9A8A38EDD346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881079$D4994FE2-7F10-4C3E-979F-C64DF21154F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1bf5e3690d016e62a3a5e73c7121098eaeca4725","datavalue":{"value":"Q54824466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$99103ADE-1709-4FAD-894F-7BD805B6EF46","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":"Q2881079$D23603BD-8986-4729-A395-DDEA4B83801F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5977eb7c3c0ce4ebe7ef23ba9da06b199a23ad58","datavalue":{"value":"W2951685722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881079$A94372A2-EDDA-42CA-9EC3-6DBB79DC778D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d05045466bafa0591542c82b9dcebfdd8683ef7","datavalue":{"value":{"text":"Type-elimination-based reasoning for the description logic \\(\\mathcal {SHIQ}b_s\\) using decision diagrams and disjunctive Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881079$5B5B5DD5-3F5D-46AB-B1DA-EB0A88199658","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e214739944c853f23078f687b6b984ca05f2417e","datavalue":{"value":{"entity-type":"item","numeric-id":2462648,"id":"Q2462648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09db332b217c7f2d6d02e66a7f3dc1b2ffd2238","datavalue":{"value":{"amount":"+0.8329181671142578","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":"Q2881079$25EFEDE4-B52D-4403-83BC-ED0B6A9B49EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c73273c2eeaad07be5de3a8c4bda4cee876bb8","datavalue":{"value":{"entity-type":"item","numeric-id":2723446,"id":"Q2723446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35509415c9f057515c98e7e2599f3c970aa87a6e","datavalue":{"value":{"amount":"+0.765103816986084","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":"Q2881079$E8F150AE-3844-407D-9701-B7C8BB9DB49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50aa9ddbcd22ffc6453bdbceb2c50d9719a1f90","datavalue":{"value":{"entity-type":"item","numeric-id":2926862,"id":"Q2926862"},"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":"Q2881079$ECB6D456-9361-4430-A99F-6D28B5D3F238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715dd5c82f46f96cf59bf7a1191e3831fc019cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4558797,"id":"Q4558797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd58ccc3fd825d324b23fadbc063b1ead1518ebe","datavalue":{"value":{"amount":"+0.7520675659179688","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":"Q2881079$9EC1E2C2-3736-4974-834A-539732788B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa29568d4075b890fe92b5296e609cb9b3cd6e06","datavalue":{"value":{"entity-type":"item","numeric-id":924723,"id":"Q924723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454e8cb749876d4085c8431fc0f241c3361b8680","datavalue":{"value":{"amount":"+0.7473112344741821","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":"Q2881079$608D45FD-C93A-45C4-B22F-74CDCB1E9975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881079"}}}}}