{"entities":{"Q5192939":{"pageid":7222511,"ns":120,"title":"Item:Q5192939","lastrevid":50741768,"modified":"2026-01-15T00:20:17Z","type":"item","id":"Q5192939","labels":{"en":{"language":"en","value":"An efficient tableau prover using global caching for the description logic \\({\\mathcal{ALC}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5593277"}},"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":"Q5192939$56F6181E-1B59-45C0-A93A-035F02DCC3CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06484cd308ce15b4bacfd2a427e94f3c0b56485d","datavalue":{"value":"1187.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192939$F05892EB-502C-4ECD-B503-777518EE5022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c8a3463588d03aabdbee9fe2be045fdc246384f","datavalue":{"value":"10.3233/FI-2009-102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192939$4F95DEEA-EAE8-44E6-8386-A9B8C9E48B30","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":"Q5192939$800365A9-B27D-44F6-B8DD-92278593ADCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506c1325d3a4f4147f4f3add6b73065b15a733fa","datavalue":{"value":{"time":"+2009-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5192939$6E33C34E-8858-4BFD-9AF9-B3AB4FC36B0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192939$D8F99D30-E4AC-489D-9256-54FB94C6F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192939$DFDDFAC1-ED0B-4889-8458-C47FED91855C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77f96b5fcc94fd892f98b3743e7c0e3b01e1d4ae","datavalue":{"value":"5593277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5192939$AC3B6870-197F-4A41-A8E8-2D85F0AA8200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192939$896B5A50-76AB-49CC-884C-C35045D0020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192939$C712CCCB-72B6-4F26-A063-4391A29A363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192939$28F296B2-9C73-42C8-8168-5B504E2B2FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2553818fb24ab49fb6ab2137904641c9db9df7","datavalue":{"value":"global caching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192939$A2572E8D-EC56-4097-B539-4406F6101CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb4ba9d60c408b7748bf297f3e5679cd4a95aa4","datavalue":{"value":"optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5192939$34270301-7A6E-4C0A-91BD-858B2BEDE36E","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":"Q5192939$96A1FA3E-6F15-4D88-9CA8-8F473A5D67CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b71f219109408b440c9b362488cff1985b5e53","datavalue":{"value":{"entity-type":"item","numeric-id":3541710,"id":"Q3541710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fdfe23f0ca784641e40e5c2c2267875e24f877","datavalue":{"value":{"amount":"+0.8610013127326965","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":"Q5192939$B77CA183-5062-4D2B-8683-1C78C19D0559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0e8e47c111721c304d92b2e049d83d1a26069d","datavalue":{"value":{"entity-type":"item","numeric-id":352943,"id":"Q352943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7cf34f344f3201f3d0b396a2ac483d6d774f8ae","datavalue":{"value":{"amount":"+0.8595239520072937","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":"Q5192939$87B996F1-AD5C-4DE1-A94D-D78D4B199B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c0a9e8d1b86cb71a59323fdfa986fd6d26e065","datavalue":{"value":{"entity-type":"item","numeric-id":3648732,"id":"Q3648732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e179eb7530b6be60bd411139ec9e0fbd921c9fb","datavalue":{"value":{"amount":"+0.8188822269439697","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":"Q5192939$AA3DABC1-03D0-42E5-92E3-27306D58A72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ac3d182f8dc5fe4123dfb396ccf283d3c9dc7d","datavalue":{"value":{"entity-type":"item","numeric-id":3052749,"id":"Q3052749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9de208febe7e4c6aa7e315aca41d22ea0af094b","datavalue":{"value":{"amount":"+0.817721962928772","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":"Q5192939$46B181AE-E5AF-488B-8E2F-99AF2692F01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c390e4661bb3e32531209a939729c88094487d4","datavalue":{"value":{"entity-type":"item","numeric-id":5747750,"id":"Q5747750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93bd7e686f83aa3bfd5134a41d134131b374780","datavalue":{"value":{"amount":"+0.7999681830406189","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":"Q5192939$FD140923-A971-4BA5-970E-571BA9F6B762","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5192939","badges":[]}}}}}