{"entities":{"Q946573":{"pageid":948421,"ns":120,"title":"Item:Q946573","lastrevid":50460872,"modified":"2026-01-14T02:52:59Z","type":"item","id":"Q946573","labels":{"en":{"language":"en","value":"Inconsistency-tolerant description logic. II: A tableau algorithm for \\(\\mathcal{CALC}^{\\mathsf C}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346257"}},"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":"Q946573$DB4A70AB-3EED-46D1-BD88-8F2015719152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"943769f493b94a62343ff1079aebe33ac4f3f806","datavalue":{"value":{"text":"Inconsistency-tolerant description logic. II: A tableau algorithm for \\(\\mathcal{CALC}^{\\mathsf C}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q946573$D27A1C7B-1D1E-4C18-B4A6-D0E8C114FF91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f62dcbb829fdb7d8f88bda196f3a6c80b1474d8","datavalue":{"value":"1149.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946573$B644CB60-756A-4603-9D2A-1F53A0896508","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$6508055F-636E-4ECB-BE79-60480B7D89AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$2B4583EC-6896-47F1-8A5A-912BDD5E73B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$402A7A2A-DDF2-4231-9BD5-BC4EA1D9FDCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5974dd87aa4f0aaee17beaa07c015c32b4db7f85","datavalue":{"value":{"time":"+2008-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q946573$AAF447E3-6CEF-4DBF-8B88-5F910583B179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946573$E91F09A1-729D-4BB3-8F39-9D95B50E29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946573$6B79D640-ACFE-4F60-9585-C5949C0F918D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb3c4af14bca4bdccf289d88ea3264494813f218","datavalue":{"value":"5346257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946573$E01CCA93-A6B2-4578-A9F3-5B561AADE1BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q946573$DFAAB786-BF10-4975-9D23-CDB926C77844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b599c632afab7446b41dd6783dffd2cfc80c02","datavalue":{"value":"tableau algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q946573$FA7A7AF3-85D0-4CBD-8838-6F2604EDBD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q946573$A5333AB0-4A8A-46A9-B884-BFB60E21FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q946573$A5A45D01-E70B-4FA2-A1FD-AAB3E4FA5EDB","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":"Q946573$777F8AF6-E8B4-4A68-A553-AB8FC6D49870","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d31243dc61aeac071f4f214d6f9976bc68d1189c","datavalue":{"value":"https://doi.org/10.1016/j.jal.2007.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q946573$F6E837EC-7DA9-409A-896A-A9AF88736238","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd34e6fff03422a55d983e52d75ab23e00335c6e","datavalue":{"value":"W2092329913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946573$855F78F3-E927-4B12-ACBA-EE4EB30258EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$F5CCC3EA-D917-4BE4-9D5D-9A2A0C954763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$DAF36961-1B93-4771-AD80-CB5F4C7501CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$BBEC2F22-42CE-4F8D-9516-13EB46AA54C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$2819EEBC-DE07-4E3E-8770-C282B84CDE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$BADE2BF0-EB9F-495B-BE4F-56D2CECB8A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$339A22D1-7D52-4231-96B6-3BF262212CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be18a7c2921ab4585ab28df990a61f1c801652","datavalue":{"value":{"entity-type":"item","numeric-id":4215613,"id":"Q4215613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$7039C452-335F-4942-80CE-8B007CC80503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$BFB91D41-C355-4D32-A45C-9F5077D8EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$360B0065-EFA3-432D-80B0-4A2E5638E490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441a97a82e4975c51be3b2494ba5c741725a8c1a","datavalue":{"value":{"entity-type":"item","numeric-id":1006444,"id":"Q1006444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$32435B1E-42A7-430A-89CF-1B655CC683E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91008a0f6911f9bf2f953bb0f9bacec6f7c6a225","datavalue":{"value":{"entity-type":"item","numeric-id":4463936,"id":"Q4463936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$5180304B-C286-410E-9130-08B3E07B7DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b06659dcbfbceea13cc9b46d4e991d6efe3d6a","datavalue":{"value":{"entity-type":"item","numeric-id":3367330,"id":"Q3367330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$B3E34B19-AC2E-44C4-A6D8-A484477D14AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cc731ea8cde283851c25bcb96915051ac50f92","datavalue":{"value":{"entity-type":"item","numeric-id":1115428,"id":"Q1115428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$98944884-BA9C-4337-87C3-4ABF0B7A6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4f6cb2d520e094401e2b9c919689c522d88ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2748497,"id":"Q2748497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$A6EE0584-6303-4A36-A52A-488A78AEFEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$755BD93A-83FC-48E9-AE4C-4D91C93115E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9a86924eff454547a9c0ae3247064e79718753","datavalue":{"value":{"entity-type":"item","numeric-id":4610338,"id":"Q4610338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$E3283F26-A638-42AA-96EF-06D0FA4C0211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946573$5659B9F7-2D0B-465D-A53A-D2DCD525A533","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064666cbacc9f3e94ea4a7c5b7d64d87cd249f62","datavalue":{"value":"10.1016/J.JAL.2007.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946573$5E6C9F85-D61A-41FD-B338-0CD862BEFC7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6713a3e743468b203537a7a17fc403dc5190b575","datavalue":{"value":{"entity-type":"item","numeric-id":4463936,"id":"Q4463936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b9db196603f9d9c4f1522aed57eecfb5b41f77","datavalue":{"value":{"amount":"+0.8267085552215576","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":"Q946573$247C8417-911D-4008-9861-A738A741DF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c23c0805d13438493581faf2a206b6fd134e88b","datavalue":{"value":{"entity-type":"item","numeric-id":4930754,"id":"Q4930754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23daf5ffe05051c544d54d5500b83109e2bddd25","datavalue":{"value":{"amount":"+0.8151779174804688","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":"Q946573$9E476284-85C2-4046-A9D3-6BEC504C708D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4a9838e61a6260264cd3ae1d55d29c0d61ca58","datavalue":{"value":{"entity-type":"item","numeric-id":2721180,"id":"Q2721180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c170396bf9ff94c7847e9069897ad05c686c32e4","datavalue":{"value":{"amount":"+0.7930647730827332","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":"Q946573$FDBB03BC-9B91-4D85-99E3-C9D964EF8584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d08edb698be6a55cec33ae443c81f3ff6ac8213","datavalue":{"value":{"entity-type":"item","numeric-id":3074460,"id":"Q3074460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c170396bf9ff94c7847e9069897ad05c686c32e4","datavalue":{"value":{"amount":"+0.7930647730827332","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":"Q946573$D0DE0192-468D-47B8-B52D-C0C1A1C8C00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7159edf1302f2f95693fc0f94f231850d654a1","datavalue":{"value":{"entity-type":"item","numeric-id":2901214,"id":"Q2901214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fec5c8c5504e276d73b1b90e42dec41e59f4e5","datavalue":{"value":{"amount":"+0.7884730100631714","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":"Q946573$AC6BC5A2-1FBF-4100-91BA-0A924A002CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:946573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:946573"}}}}}