{"entities":{"Q3052749":{"pageid":3063465,"ns":120,"title":"Item:Q3052749","lastrevid":45348217,"modified":"2025-12-05T22:59:16Z","type":"item","id":"Q3052749","labels":{"en":{"language":"en","value":"Tableaux with Global Caching for Checking Satisfiability of a\u00a0Knowledge Base in the Description Logic $\\mathcal{SH}$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5809237"}},"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":"Q3052749$0911A1A9-9BE3-4BA5-8B1D-E2BCAEE44B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2847f397c6e804adffe6a2ddda81e0e2cdf60533","datavalue":{"value":{"text":"Tableaux with Global Caching for Checking Satisfiability of a\u00a0Knowledge Base in the Description Logic $\\mathcal{SH}$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3052749$4A3845BF-3FA0-4AE1-8AFC-57D72DD987CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eb5e20738ad2a9edebc23abf2db2f7a2997dcd6","datavalue":{"value":"1309.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$BC26258E-D797-4B5C-83B7-82BB0EF292A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6b892c4e2f2a9b9b6d30c992a4726260d137e56","datavalue":{"value":"10.1007/978-3-642-15034-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$C5AAC6AA-0EE2-4E63-B19B-6AADCE9B7C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3052749$94E0AB90-C2EC-46CD-9EB6-74047D425D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3052749$18F2D97A-297E-496C-A02E-421B367780ED","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":"Q3052749$7C37F113-4161-4F0D-8C88-862680E6DA73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a678b5efea4e2ced3ebac88998f1a1a6aae2d07a","datavalue":{"value":{"time":"+2010-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3052749$03D72004-9445-4E57-B5D0-C42E5D939042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$FE1B479B-9BE3-40A2-9F6D-612969D4455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$8A9D8256-EA54-4862-91E5-398A60A473ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$13BEB779-890D-4F7A-A8EA-CC6EBD2A81FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f039befe9e2a483af2e3208281827119fab0633","datavalue":{"value":"5809237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$202C36A0-1DDD-4CC9-83B6-E37610B7842A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf0c0985f0f8af4998fd85d33426951edb468e2","datavalue":{"value":{"entity-type":"item","numeric-id":23923,"id":"Q23923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3052749$B8B019CA-AC21-4C82-BBFD-68608E0BE255","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":"Q3052749$BB7F275C-CD2C-4201-9A62-06410E514C30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"874f261e9f0242f6be5548343ecd863c3e2ae084","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15034-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3052749$FAD0194B-693C-4E20-8205-9704F59693C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"831c7b2b317e01092fc35887a9f225ceeea9e644","datavalue":{"value":"W2120921192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052749$405827A6-5BFF-47A0-85E8-A62AD2DE87ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b9c0afcc51d464dac0de69e317d5a624f7cb51","datavalue":{"value":{"entity-type":"item","numeric-id":5192939,"id":"Q5192939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff53e693add0ad0b26fe1a37ee49b00efce388f","datavalue":{"value":{"amount":"+0.8994575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$EA3D82A9-9B10-433A-AF03-CB51474EC4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd77e8bbdad5015f01657073c24bbbf0d1094847","datavalue":{"value":{"entity-type":"item","numeric-id":5434485,"id":"Q5434485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a86900d2861f287164a3f535f7394c73e8838b","datavalue":{"value":{"amount":"+0.878018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$F41034AD-A232-401A-999B-BFEE5A77CF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7341743cb46fbeb1bce75a328032df8f38d269","datavalue":{"value":{"entity-type":"item","numeric-id":3192211,"id":"Q3192211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e75c043720fb5ba01d2b4287799e99a965cc17","datavalue":{"value":{"amount":"+0.87091464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$D563DBD2-A87F-4F39-97C3-1906A606469B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b67515a8b64fe08fdfdd02056b48fbcfe123b","datavalue":{"value":{"entity-type":"item","numeric-id":631080,"id":"Q631080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a88230e17834f410a53e83e13e109e5289d4889","datavalue":{"value":{"amount":"+0.8655869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$FBA5A893-138F-4F6C-BEDB-0FCF75A5B671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abf2e12f9c441b6981f19bacf7e6b31452c70d9","datavalue":{"value":{"entity-type":"item","numeric-id":1675810,"id":"Q1675810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5c3fa9fb54265c29141f80e4a2b0e76d70286f","datavalue":{"value":{"amount":"+0.85509425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$B1508A9D-F03D-49C5-8AB4-417BE2825EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e1cf3ac260d7ec7bfd11176fca799e042f11e00","datavalue":{"value":{"entity-type":"item","numeric-id":877890,"id":"Q877890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb044c37103ec5319308528343e705c7fb6df60f","datavalue":{"value":{"amount":"+0.8490491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$7272A5D5-816C-4397-AC7A-91452DA89655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f780ab8c793f675d6f00ff364232f4f47d8e12","datavalue":{"value":{"entity-type":"item","numeric-id":4589204,"id":"Q4589204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1c32a905569f7b607e48989a6f814d4890d599","datavalue":{"value":{"amount":"+0.8489032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$7CF55239-0AB1-4C3C-B599-D4E7EA95F439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31681001248c0b55574e0f95a6f392c4e83ef367","datavalue":{"value":{"entity-type":"item","numeric-id":2351147,"id":"Q2351147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bf6cbca978cd734209ffe940ef27348975318a","datavalue":{"value":{"amount":"+0.84768105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3052749$7AB74B44-9EC6-4E59-9442-0CA148D69DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3052749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3052749"}}}}}