{"entities":{"Q814639":{"pageid":816487,"ns":120,"title":"Item:Q814639","lastrevid":64541124,"modified":"2026-04-11T20:34:51Z","type":"item","id":"Q814639","labels":{"en":{"language":"en","value":"Decidability of SHIQ with complex role inclusion axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003987"}},"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":"Q814639$FA76BB1F-D2E6-4D22-B66A-CED624088AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3e4977ee0636b5331674e3f420a6020eac019f","datavalue":{"value":{"text":"Decidability of SHIQ with complex role inclusion axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814639$B2B2AC98-89D0-4050-9F14-3E90ADC4C0D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"601bcae04583c448ca3f5d6f916f9384a73272ef","datavalue":{"value":"1086.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$926FD544-7108-472A-8DF4-82F693091546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b787c151653507489e8a5af88ca1b96d25a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":438565,"id":"Q438565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$2DA2D379-57DB-4D44-9131-494AA0FAD88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faba8a041f2410cf65e45e40a1807e773a945b14","datavalue":{"value":{"entity-type":"item","numeric-id":229742,"id":"Q229742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$43BC94EE-5110-4D47-BA1C-936B8E6BDDCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$AF27BF84-0EFA-4FE7-9B7C-07C22F5649A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814639$CB6DE848-ECD4-4564-91F4-E2F4B9C5F94E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$C28E1BA6-D229-4B4D-846C-5217E038548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$D76073D8-3389-475A-9941-5CD005E5B061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$75A2ADC6-D249-44C2-B7E3-200DAD2C77EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d9302645045366fc308be5a479704bc743e4069","datavalue":{"value":"5003987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$B868731B-6FA4-4793-AA55-CF0992939481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f1afc52c56bb66486f3755a8155c1a32873893","datavalue":{"value":"Description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q814639$09D7DDA0-CF68-45C5-9B86-F40866D7BFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb9ebd18bfea19c3ac2d833227d4dc6442a5071","datavalue":{"value":"Tableau algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q814639$CC58C014-BE04-4885-9DF8-4A9A8E51ACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971ee52cc98a88e4d13233657f8338e7e6b622d","datavalue":{"value":"Automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q814639$A2717A47-D66B-4AAE-B8E4-FA109D82F4F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aff3e9394a5809a81df861c4ad530474881942d6","datavalue":{"value":"Q56988851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$557F9D14-E9AA-4ECF-B5F8-AEB27735DDA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$F9A91DD5-A79E-4A1F-8B82-CEDA3419B023","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":"Q814639$EDB00EB6-6C84-4A0A-9ACA-1EFB09C966D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11ca29ade40a43794fd745f89383103a586c6b03","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q814639$D4E9856B-C60A-4509-A430-D522A981C1A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0e1631737ed3a9a8609a84dece9e2c09e2e8bdc","datavalue":{"value":"W2119478850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$601D4731-2C66-4094-A961-918F51C5E4F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cb8288f4bd70c7a0e1a5334ff31c1e7f21b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4012241,"id":"Q4012241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$2D5DBB19-9E07-469E-90D9-C46BE0B91597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2587e87b8c864babc29189ac4f11330f78790c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1314281,"id":"Q1314281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$C94F3130-191D-4934-AD73-0AC68C4DDB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6654ad769f2a465edfb201062980ff3941c62e81","datavalue":{"value":{"entity-type":"item","numeric-id":3838802,"id":"Q3838802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$B34BF80E-6EF4-49B9-8599-3F07AC76A428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$AD551E30-DAA2-4D2A-B958-DF8AE11BD00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601eb92fb4eb5672b421ee77f36023e965bb0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":4529491,"id":"Q4529491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$F036A66B-6CD2-407D-8B51-C24DC6C4A9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07f95c5fd50a46d383b94277127dd30c9cb0cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3351355,"id":"Q3351355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$390BD639-D3C4-43B9-A2A8-8938F004BD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d14b1ecbe3662398f81bd2a0e0822e0e1177ec","datavalue":{"value":{"entity-type":"item","numeric-id":4539653,"id":"Q4539653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$1192242D-D70F-45DC-8C89-3E46B3AF53DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$80B8C24F-8816-4E47-AFE2-7B3923C16975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98afecea6c9bf2b569ab9987ff42dfd676b47f5c","datavalue":{"value":{"entity-type":"item","numeric-id":814639,"id":"Q814639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$86188F2D-819D-4604-86E3-751A5FA60DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce756cff5325e84ef31a6f28e3264cf9abbc9358","datavalue":{"value":{"entity-type":"item","numeric-id":4938424,"id":"Q4938424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$149BB910-F0FC-438A-A221-2C20BB867D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc61bca8fc6b36bd3188902a097b16572a1fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2723446,"id":"Q2723446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$7D054060-58C8-4C9A-9438-3EBF6F760AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$C8E6C01A-A402-4F46-9277-A50A40DEE840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$61C7F285-9470-4F04-A8F6-B154FCBCA5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4d37118257c4c396de9bde103ecbbda28c1b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3493318,"id":"Q3493318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$EDEA060D-6BC0-4D22-A543-9737E045E6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$E23043DE-964B-4509-A2CE-09F0786C4F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842c938cb6a5b5dcec2679ef2d8cfec8c304197e","datavalue":{"value":{"entity-type":"item","numeric-id":4534739,"id":"Q4534739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$C4E1C797-9A9E-4A5B-8A3B-A080BDD1DF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814639$B01CBF9D-249A-42E2-BED7-2894F4E7C52F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c3556dfce6777bc08661a0828fe78854ccfc7bc","datavalue":{"value":"10.1016/J.ARTINT.2004.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814639$A585EBCD-0BFF-4D22-A08A-5E42EF25BEE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eabb51a8e0a2ff7e7942c695b7eb487cd6db796","datavalue":{"value":{"entity-type":"item","numeric-id":2846571,"id":"Q2846571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef027e3d8ac4aa2c83ed26162651846d1aabbb2c","datavalue":{"value":{"amount":"+0.7970638871192932","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":"Q814639$EBD334CF-0F5D-4A50-AAE3-7ABF049886F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf0d708bd5801c27fcb5f29396dedfbdac8eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5747785,"id":"Q5747785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1952e4fc391c0a0278b9234c068763d383c7366","datavalue":{"value":{"amount":"+0.7958877682685852","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":"Q814639$60CFF3EE-A3E7-46D1-BBA6-C195C3483BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32327be7c7ee0d8956daa6ec734a71672d8e32f6","datavalue":{"value":{"entity-type":"item","numeric-id":2815247,"id":"Q2815247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58d06fe206f082f05f4492adab97c9d2ba567f2","datavalue":{"value":{"amount":"+0.7490679025650024","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":"Q814639$253386B1-FD1E-4C76-A831-EA2B6D8DFC51","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":"24f969d8abe443c6efa42ebe073a537ba423f6d8","datavalue":{"value":{"amount":"+0.7449150681495667","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":"Q814639$BF0C7C9B-6DD9-465A-A822-9A1A4A887D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200b792414900ca861a87407559f36257c09b266","datavalue":{"value":{"entity-type":"item","numeric-id":3624113,"id":"Q3624113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93c3977f7a45060b95a1aacd2da5457f1da331d","datavalue":{"value":{"amount":"+0.7445454597473145","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":"Q814639$682BF628-596B-47AE-856A-C784E70C88AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of SHIQ with complex role inclusion axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_SHIQ_with_complex_role_inclusion_axioms"}}}}}