{"entities":{"Q4991928":{"pageid":7021505,"ns":120,"title":"Item:Q4991928","lastrevid":54013922,"modified":"2026-01-26T02:24:17Z","type":"item","id":"Q4991928","labels":{"en":{"language":"en","value":"An improved set-based reasoner for the description logic \\(\\mathcal{DL}_\\mathrm{D}^{4,\\times\\dagger}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7355381"}},"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":"Q4991928$EBC6D8AC-F7EF-4A45-96F0-CD6392769D4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9b1b87541ad390c74ba523873a47b6c17cb4134","datavalue":{"value":{"text":"An Improved Set-based Reasoner for the Description Logic \ud835\udc9f\u2112D4,\u00d7\u2020","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4991928$0C6F1005-9613-4C27-92AF-38112C996D39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdc9d7d1ea1d85fee3a868ea38237a56fd69703e","datavalue":{"value":"1497.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$CE895A8D-C218-42B6-A742-3AFEC6DC2A0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09317246685c96170d26862c274c0297a11ecd01","datavalue":{"value":"10.3233/FI-2021-2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$BB69990B-36C8-495E-9526-5EDCC898C591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$90E1CAD0-2DDA-4225-9DBC-0532BA492ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$BF139EC1-C4C3-42C7-BE9D-CF6BD14BD3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59234b64b46ba540192e70f93e8b7d53e741cf09","datavalue":{"value":{"entity-type":"item","numeric-id":2360183,"id":"Q2360183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$1A2D4498-338A-4AD4-8651-822CFB64FE82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$77F10814-CE6C-4526-AA9C-972A3C55A32F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"992b0aec234196984d2cdf256bc6f4d8ba8b2c44","datavalue":{"value":{"time":"+2021-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4991928$7CF19520-ACC2-423A-96C7-0BAFC1914822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$4C5F1990-1C0E-4B6C-BCE9-79DBDEF4EB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$3E474665-D995-4172-947C-B66446907118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$F3030FD7-0C48-4CA3-95AE-EEE2F507F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$1B360895-270D-4195-B84E-9C9D0BA7A3BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c9b53e04b6d85f1852467f9e2673c4ab0bc58c","datavalue":{"value":"7355381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$A253AE31-D52A-4B59-97E8-02BF1F26791C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a1cf296aac06d4602ac60df14877d5be22789fc","datavalue":{"value":"reasoners for description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$F281CE36-A69B-4340-951C-7FA6EBA8ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$2AAE8B45-BF59-42D6-8B6A-B1B709A224D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5240d60dd1710ce42cdbe4bcb2b55a57f28548","datavalue":{"value":"classification problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$2D0C0776-1F72-48BD-99D2-087C97F0AD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ffd9f07d85156f35cf9e8628b42ba61de17155f","datavalue":{"value":"conjunctive query answering problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$E6B23491-587B-4C08-AC70-3E8ECF90FB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a204119aa79534769826082f205e2d442b6864","datavalue":{"value":"KE-tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$4DB3E09A-46F8-4569-8BD7-73326308F84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e689fe87c9a8a73399991b2f96dfb21a7919dcf2","datavalue":{"value":"semantic web","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$C03036EC-39F5-45F8-8301-9DBC1A7ECDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$03CB7637-5024-4F69-9B09-F18DAC8C5B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4991928$C06C8F80-5DC1-4FCA-8A17-93F1EFFD4AEA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0829dbe86038ebf166e85d3ffc458cfa18c7a65","datavalue":{"value":{"entity-type":"item","numeric-id":25911,"id":"Q25911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$87757C01-8156-4907-BC9F-4EBEA25F9BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$D662177D-5821-4F6D-BEE5-D09726CA3391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79da409b0ee1f21e2cab8f7625752a0df49679a8","datavalue":{"value":{"entity-type":"item","numeric-id":24347,"id":"Q24347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$93C30510-EE7C-4909-A6DA-B0ECF7960E49","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":"Q4991928$A59D1ABC-327F-4C61-8EF6-42E662F1D2F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9520b33bc54d0e26cf7a4d2f0857b42d1c2223b2","datavalue":{"value":"Q124544767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$7F71D721-FCCD-4F8D-9327-EBBF6B94B504","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$9497984F-ACBD-4B1E-8A93-36EB66FC0AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$8604A47D-FE03-48F7-9791-782A3724A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e2bea039ea2718ebc70c750027954e701914b","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$585C652A-8AA4-4C86-AEE0-74BC312BFC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cc4126b204e6d89149561def188b1071edad47","datavalue":{"value":{"entity-type":"item","numeric-id":4571911,"id":"Q4571911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$5A08FDDB-997D-4C9F-8547-CA848E78618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2629fbbb5ddd31d3f868d7c9f57ce47336b06936","datavalue":{"value":{"entity-type":"item","numeric-id":2405250,"id":"Q2405250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$A9FFD20C-D40F-40A7-AD5E-023690BF2302","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":"Q4991928$499987A6-029C-4EFC-AA62-A8AFDA02112D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e4dfe68dbebff4d8955b855ffc6114f4f01ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2841956,"id":"Q2841956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$66861416-8CDC-47DC-90E0-D56EA39819DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc7115e8584605f405d281013d430825ff343eb","datavalue":{"value":{"entity-type":"item","numeric-id":2360184,"id":"Q2360184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$C167B8E7-BBB5-44B4-9745-79E8CD61DF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3a3011feb1e8eddbfb104989ef6482cfade344","datavalue":{"value":{"entity-type":"item","numeric-id":4632323,"id":"Q4632323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$E3533345-5743-4C3C-895C-24205174EFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330cb6475b334662ae8e28256d527d0821d458fe","datavalue":{"value":{"entity-type":"item","numeric-id":5086207,"id":"Q5086207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$9857B163-C308-40B4-80DC-992902EA1069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f35ddaf4940652d8f946bd1c9b53b468d0ac81","datavalue":{"value":{"entity-type":"item","numeric-id":4988948,"id":"Q4988948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$5A4D0376-1E7E-469A-84F3-14949C74A3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e735a1f87d8eea5b5b6d5911adcae09ad1907d","datavalue":{"value":{"entity-type":"item","numeric-id":4647815,"id":"Q4647815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$657D3A0A-698F-4388-A52D-CC21B849F740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$15E974F0-8AD1-497C-ADD3-A1AD301E03CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$505BFDA7-9D79-4DF8-90B8-C1B9174183CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b780a68c8eb6f01f1d95c9677b116a164573c20b","datavalue":{"value":{"entity-type":"item","numeric-id":2351420,"id":"Q2351420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$29ABA880-DBA9-4576-9DA8-C6CAA5F7322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4991928$36A04847-A6B3-450B-8F33-4E1F1E2B53A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55f78229e757a60af75589b910e841844ba5a29c","datavalue":{"value":"https://doi.org/10.3233/fi-2021-2009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4991928$0750FC7D-BC28-4197-9330-43E2B7276611","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c598859a96a364a7774bc5e214f405179b430a6","datavalue":{"value":"W3127511143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4991928$83F6E4EE-42B7-4120-AF94-82764382213D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2feed26d2315c79545fbdb385a7d54d9282bf065","datavalue":{"value":{"entity-type":"item","numeric-id":4988948,"id":"Q4988948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b959c94ef20d6f5ed1726ab4f979543b4553ff","datavalue":{"value":{"amount":"+0.9024828672409058","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":"Q4991928$9DC78EA1-4DE4-4015-BFBC-B25271574D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9033063774bd07b8017c1f1f54bd3584debc96a2","datavalue":{"value":{"entity-type":"item","numeric-id":6104768,"id":"Q6104768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a07a4af685a68b5583d7ca62d01352b20aa4a2","datavalue":{"value":{"amount":"+0.8805553913116455","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":"Q4991928$825E2F1D-30F6-4501-88C1-DD70C630075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef4ff4481890a42807dc4add4c6e59da502350e","datavalue":{"value":{"entity-type":"item","numeric-id":5086207,"id":"Q5086207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1857fe2e781924c6459c6a0032b6597db443c8","datavalue":{"value":{"amount":"+0.837712287902832","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":"Q4991928$E28C1DA8-22FB-4A61-A670-0FA8C98AD1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0568d24c9e46037cb3f44ec1e2681db6202fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2360184,"id":"Q2360184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1e393d6fe4a5717a5b6a8054adde12148c15d9","datavalue":{"value":{"amount":"+0.8137598633766174","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":"Q4991928$CAF40271-1BB2-40BB-A340-2B58DE5474BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77838326060408aff04f2253158355d5b9f5bfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2915678,"id":"Q2915678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb558977ec207bfeb0679ca33d550bc1af70804c","datavalue":{"value":{"amount":"+0.7603314518928528","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":"Q4991928$EBDB9462-3D51-49F3-9678-312A827AEDDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4991928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4991928"}}}}}