{"entities":{"Q5900710":{"pageid":8006991,"ns":120,"title":"Item:Q5900710","lastrevid":50958530,"modified":"2026-01-15T22:40:43Z","type":"item","id":"Q5900710","labels":{"en":{"language":"en","value":"The complexity of finite model reasoning in description logics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695391"}},"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":"Q5900710$D5747D0E-621C-4058-B758-D159FA808A02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900710$D0E1EDDC-4CB4-47D9-9309-A44F45269E89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836005e595bbb25ae28a1f8bc689b1e10e16e61f","datavalue":{"value":"1278.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$1ABC72D1-4FAC-4842-B08F-F6FB6DC187AC","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":"Q5900710$597A1490-B2B6-4327-81C3-EF0312AA6B85","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":"Q5900710$109B09B9-8544-472E-B54E-F144A5BE5E88","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":"Q5900710$206C1957-F285-43E7-8EB6-9444BF3D20DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900710$2215B9C7-7340-4362-AC3B-D73515476ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900710$22974903-730C-4372-B6CE-67BBC5E213A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$E57A57CE-8066-4AAC-8AAD-B149EE95905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$886FEC65-A9DD-4F56-AD90-CF4C4B1DAA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$CD737199-6B8A-4AB8-AF1D-ECD47CA5195E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91a99bf2fbff1422e8a72faac25997633dfaa7fc","datavalue":{"value":"5695391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$60D46ACF-09E2-462B-83B2-2288302B77F0","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":"Q5900710$825D9F88-1FB7-4984-8A5E-026200F79D7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900710$079FE053-8724-4965-8517-CEFCD1B2F2D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$DA311378-52DD-4346-900D-A048DB5305B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900710$21DF3EA2-363F-4842-91E1-D994E9DB1B99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca4d665f5371b0f0eaedeaeeb64c2e7f5eb8920","datavalue":{"value":{"entity-type":"item","numeric-id":2486582,"id":"Q2486582"},"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":"Q5900710$3372D081-88FA-4B88-9F91-B7A7A45568EA","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":"79005457d8d15979183caf8124046578663a69e4","datavalue":{"value":{"amount":"+0.8149221539497375","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":"Q5900710$F6C19DF9-6083-4220-B80C-4B9893B756AF","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":"77b68b9167df947cadd19876b6bd08fa0e99ef2f","datavalue":{"value":{"amount":"+0.7851036787033081","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":"Q5900710$915D7FC6-66D9-4DD6-979C-6CA36E4BBF0F","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":"27b6c738d37a2c3a5845fe65bc8bd9438f24f45d","datavalue":{"value":{"amount":"+0.7796630263328552","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":"Q5900710$B7443A46-7523-492E-8B76-B4D6F3998C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e8fe6b91b44c8bd1b3a8ed2b6b3cb0ba247eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4635832,"id":"Q4635832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8458dd6d2648fa560c15df0b0caca9fa795754","datavalue":{"value":{"amount":"+0.7790387868881226","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":"Q5900710$ED5EA106-AB1D-40C5-A5B4-E216D684A6D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900710"}}}}}