{"entities":{"Q4982117":{"pageid":7011695,"ns":120,"title":"Item:Q4982117","lastrevid":52231562,"modified":"2026-01-21T05:20:12Z","type":"item","id":"Q4982117","labels":{"en":{"language":"en","value":"A tableau decision procedure for \\(\\mathcal{ALC}\\) with monotonic modal operators and constant domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418737"}},"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":"Q4982117$16D5BD1A-D2B2-4EF6-B495-143D4DC29E38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7876a65c80828138e8397070a5906df40167f59e","datavalue":{"value":{"text":"A Tableau Decision Procedure for <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"><mml:mi mathvariant=\"script\">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982117$D76A0EAC-6C9E-4B75-BFF6-77649F47201A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fd63d0770e74ca821337c30106b1bc6860d5348","datavalue":{"value":"1347.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$7C7846A4-8EE6-4E4D-A9D5-6D5BB3E00618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e92206c37300ae4b5566fec3b0ebcd98cda7afe","datavalue":{"value":{"entity-type":"item","numeric-id":2825408,"id":"Q2825408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$F93451F1-52FC-4D9D-81D8-355C9F98B74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1861427543bb295e3bfb6d23a74a587a81fad2b2","datavalue":{"value":{"entity-type":"item","numeric-id":4410983,"id":"Q4410983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$DA5BAC70-8E51-409D-B53A-98E2AE2A1932","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$D2B47FE9-7663-454F-B0B8-005FFBD57D25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-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":"Q4982117$CFF2119C-FB23-4068-839F-31BB7F74A566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$C6FA05C2-6349-47B2-B19D-0F8DBE13C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$B7551607-63F9-438A-926C-88F623E39823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$5CC62F05-2551-4562-AC05-5C060B19D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$D92D29E4-778A-421B-9BE7-ED0101D29DE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"869c1af6ad5c9d0bc1aa3b35b511f382cb8b561e","datavalue":{"value":"6418737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$1F9B088D-4BE3-4D75-97D0-8DD6ECC4AC80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4a0cedf6ebc059ebd3fbaaa6871020bdf41fe7","datavalue":{"value":"modal description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982117$ACBA1D11-1604-4569-B189-786B20526AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982117$9DDF7F86-A235-49B6-8E75-96977C592AAF","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":"Q4982117$23FA717D-3DBA-41AC-980E-9AEDF4F86AF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74868b38cfc3f9d92852241f6a2e483f862c1006","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982117$656CC192-54F8-4964-A7F2-2116045F4BDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"088538a9c77982868cb1f19715326c43460634ed","datavalue":{"value":"W1982775212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$D01BC865-F2FC-4A31-A451-FD4D24379C51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$53160C2F-B36D-4A5E-B4FA-6BCBEFB5AF26","rank":"normal"},{"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":"Q4982117$227562E1-0452-4340-A87B-A151A2E164CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$64B3C9BF-3048-4D1D-AE0F-CF90D3541C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34ede55c5bb382f735465de28b94071e613df3e","datavalue":{"value":{"entity-type":"item","numeric-id":5688815,"id":"Q5688815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$5C79A3F5-7148-417A-8DBE-1998E18A7C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066cd4aa2727fcf2939d8d889a4ccf4e4246bef","datavalue":{"value":{"entity-type":"item","numeric-id":2462647,"id":"Q2462647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$DBEC73A0-5E61-4AE4-9543-0C771976C060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce756cff5325e84ef31a6f28e3264cf9abbc9358","datavalue":{"value":{"entity-type":"item","numeric-id":4938424,"id":"Q4938424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$083A8933-0966-4D81-A079-277B27324451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24897c0f8ad829c2656c4cf140ee683cd0e282b","datavalue":{"value":{"entity-type":"item","numeric-id":3424135,"id":"Q3424135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$2B43C784-E01B-4413-A6F3-29369FD104DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1120d22d2148f89d6d6588cc87a25d62d218b79f","datavalue":{"value":{"entity-type":"item","numeric-id":4539602,"id":"Q4539602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$EA8B3155-57B5-45BF-A73B-62D1F53FCCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139c7d9efdeb56f237ad395d93ed9d91278792cc","datavalue":{"value":{"entity-type":"item","numeric-id":1863829,"id":"Q1863829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$14A38437-93F3-40B2-A062-8709BEEFC54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$647AA7B3-B0CE-416A-9DAF-9836C922D950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27717c70fc4fa398836fecaaf2a3c6c62af18cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4779588,"id":"Q4779588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$9CC1EF18-C9E0-436E-9E93-381F8C43CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e843e7001c909754f0c4ea51f370232ae5cacdd","datavalue":{"value":{"entity-type":"item","numeric-id":4329248,"id":"Q4329248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$86948A94-61F5-4CE4-8ECA-FD36782C63FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8307b889c98abe0d57e4bbd3e72c1928d8f72af0","datavalue":{"value":{"entity-type":"item","numeric-id":4939661,"id":"Q4939661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$667CC137-95ED-4689-815F-2EECBB3C3E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e851c5380a2b1703132dffe3ce2f30a1f0b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":2782498,"id":"Q2782498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982117$AF8CDB82-FABC-4BF3-A2F9-9169BEF66D07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f40c189c6e1e3e27ee8dc77090a7403f18e1dfc","datavalue":{"value":"10.1016/J.ENTCS.2009.02.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982117$50A0FEBF-4702-4AF2-B0B0-85B9F9DE0826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0731fe3a9c0609e8054224047c5b2a50f394c06c","datavalue":{"value":{"entity-type":"item","numeric-id":1863829,"id":"Q1863829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d716abd672da79654a92de3376279dba50f08f5","datavalue":{"value":{"amount":"+0.8671748638153076","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":"Q4982117$B30AF395-A08D-4AA1-B2E1-B9EE92244463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de5ddf460e31d3e88511a4ba078404a9d86c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4539602,"id":"Q4539602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d716abd672da79654a92de3376279dba50f08f5","datavalue":{"value":{"amount":"+0.8671748638153076","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":"Q4982117$227323D1-3663-43A8-9B68-53E16B7E97DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e9743b5e63fbbc55bd68d8177c0b50ec9742ad","datavalue":{"value":{"amount":"+0.7909224033355713","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":"Q4982117$8660A6C5-0A29-47EC-9E24-581C0312567C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5446294fc421669715dfb219a815b5c4ae8273a","datavalue":{"value":{"entity-type":"item","numeric-id":3609627,"id":"Q3609627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e9743b5e63fbbc55bd68d8177c0b50ec9742ad","datavalue":{"value":{"amount":"+0.7909224033355713","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":"Q4982117$AA1EA0C7-73DE-4ABF-B1DF-486EF0F83E57","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":"565dd65f62e391e949a9efaf314b8f2c7b1a6f55","datavalue":{"value":{"amount":"+0.7902225852012634","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":"Q4982117$5EA1C4A3-15C5-4237-BCA7-C2CBBE328A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982117"}}}}}