{"entities":{"Q2486582":{"pageid":2497325,"ns":120,"title":"Item:Q2486582","lastrevid":48525043,"modified":"2026-01-05T02:52:02Z","type":"item","id":"Q2486582","labels":{"en":{"language":"en","value":"The complexity of finite model reasoning in description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193213"}},"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":"Q2486582$F22BD4B3-F120-41ED-A944-EB8461080D08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03202758bd4f52ea15e8b1b428bedcd547dec867","datavalue":{"value":{"text":"The complexity of finite model reasoning in description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486582$06F221BD-C16A-4C96-BDDF-CC2305557AE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6774802f855d572a0214b22ba7395ad256dbc419","datavalue":{"value":"1097.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$6AFED03F-F935-4B94-B2F2-1C022DDAC42B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$BB506DE1-67D5-44A2-BFA5-0B298B4106B4","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":"Q2486582$234F36EF-C319-4F60-8575-96DE6CC957B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$E77E5788-0FBD-45F0-B4AC-E0902AA6E7A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$55BBB5DB-21C3-428D-9DE2-BA0523C7B04F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-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":"Q2486582$C9E520E7-C93B-4F70-94C6-F8DB4337FCD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$F9E95200-0E61-42F5-895E-87F63D9B3433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$3936B889-A16D-40D7-9F94-6F6D255C72BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$DA58A86B-050F-470F-AC52-3C998D992797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$EC3280D2-72BA-4853-AFCE-39F6EA16EAD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f80b6120bebe10bff4ee78b5b688e83d76d020df","datavalue":{"value":"2193213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$E6BD2996-F51F-4629-9F58-68FE7347ECB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fb3b5910162999df08c272bcc64ce7a568eb66","datavalue":{"value":"Description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486582$B879309A-1FF1-4A7A-A5F5-5AD42D3D867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae63976c7c7f4124b251a724304ecc811b38153","datavalue":{"value":"Finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486582$AC95CEEF-7E56-4B2D-A80B-6DE562161163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5c1bf4a0d4c0f686c0aa3880d9877d6e5813d0","datavalue":{"value":"Number restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486582$58C343E2-8607-4D64-856B-0B8E4F269371","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":"Q2486582$701F0A5D-DF18-40EB-9DF1-69CF54E598E5","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":"Q2486582$FD249EF9-EE35-4DE5-88FD-B4D13AD68A32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a89bbc076551232ced2edb7aa3c0616042ea68e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486582$BB81FB34-C773-4037-8ED7-882B925D73E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cd1e97af34d75a4cb711ac4c7ef74e4ec2f49a9","datavalue":{"value":"W2080057244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$929ED91A-2BE7-4134-99CF-3A725874D0BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$E4F5CEBC-2332-4B8D-B350-C826CB973847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220880797c6280b7f700f0ab5b37f125c36d5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4737212,"id":"Q4737212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$A99CEFFE-A28B-40B3-850F-140299120616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ffd6eed86bc162dbc98975cfbcc995b7e6e806","datavalue":{"value":{"entity-type":"item","numeric-id":4400805,"id":"Q4400805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$974BBF4C-B2DB-461A-BEFB-67766CA3D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3830f8c607a6c42d90a9d8a06165d0b33f320f09","datavalue":{"value":{"entity-type":"item","numeric-id":3476305,"id":"Q3476305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$69EC61A3-BCE7-4F06-A4DB-1533921D491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$23364BC2-F0CF-488F-91D3-DEEF6196776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110453ba88ecdb6cf1c680eed7ff59247b7d8cb6","datavalue":{"value":{"entity-type":"item","numeric-id":2767029,"id":"Q2767029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$382DAEA9-FF2E-4FF8-80B6-9DC322F91570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098752ed24582b3ae33aacc04dec5430fec7c7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5900710,"id":"Q5900710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$480F91FA-E43B-4EA6-8DEF-F98AB5569109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e900bffeb0fa39cad78b98f0ee33fe60626b797e","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$A42D2F30-8F73-40A6-B214-5E53B1A9AF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$9420D364-B4CE-4AE5-9F89-E180BBCDF8CC","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":"Q2486582$43077676-9FB2-4C86-8BD3-9C80FD62E5D1","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":"Q2486582$08E92CE1-C960-478D-A2F2-B66ECFD076CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$C82CD5BA-9884-43E0-96A9-941A23F8CD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$7392ECFF-807D-449F-8383-BD8942502564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486582$571B95A7-9138-4857-9C77-536794542029","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"044c7ebdcafa3d2281d92638894655cf5666eeb8","datavalue":{"value":"10.1016/J.IC.2004.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486582$E204A646-4304-4FCC-B78D-F65BEBE1F2D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8315cb2112c5e8fa81131f969bb3749ae1ca85a0","datavalue":{"value":{"entity-type":"item","numeric-id":5900710,"id":"Q5900710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd9bc5cbbeed126a26eed345ad8188b833e07e3","datavalue":{"value":{"amount":"+0.9969438314437866","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":"Q2486582$B9A36D7F-2B51-4515-AE1C-BDA67A543F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2bfbac368ebde2626735f889be9b48893f6e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4954172,"id":"Q4954172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c87f9ff2d00b4a1c18dbc2782e8aad1e9883a7f","datavalue":{"value":{"amount":"+0.8163547515869141","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":"Q2486582$A3D6046E-9957-4DE2-A703-FA8851E192C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ca087e80d29178cebabf697249fb1d6c4bfcbc","datavalue":{"value":{"entity-type":"item","numeric-id":4945232,"id":"Q4945232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c6fa062a0fd57e1fb2fa218a4d7b9ec5eb981d","datavalue":{"value":{"amount":"+0.7860941886901855","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":"Q2486582$6DF1DC5F-CB95-4867-A6E9-DD79B6239A0B","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":"8b79cb0830e3625d9100d8fda5869dbb1788832c","datavalue":{"value":{"amount":"+0.7783715128898621","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":"Q2486582$C8700B5C-8713-44D2-A4F6-4475E8EC4312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b41e09fbb24460099cf49aa210919491f71d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541701,"id":"Q3541701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7e943d6c7a4ec254a3cbac6314f0aa95101fad","datavalue":{"value":{"amount":"+0.7778558731079102","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":"Q2486582$406C04E7-90B9-49D1-AA4D-97C73DD13806","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2486582"}}}}}