{"entities":{"Q4934884":{"pageid":6964466,"ns":120,"title":"Item:Q4934884","lastrevid":91667057,"modified":"2026-06-04T23:45:32Z","type":"item","id":"Q4934884","labels":{"en":{"language":"en","value":"Tableau calculus for local cubic modal logic and its implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394710"}},"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":"Q4934884$BA68254A-DEF8-4152-8F6F-7528E50D3D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a0e11273a58f6b8008c053276d33f2203887b4d","datavalue":{"value":{"text":"Tableau calculus for local cubic modal logic and its implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934884$1613B0B5-5BFE-475B-BBC0-BF28763E662E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8a3961703820339498dc0334dd3e08d72b26f1d","datavalue":{"value":"0939.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$1932CBE5-045B-455C-ABEE-D03616234CF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934884$E79E6F7A-7194-40FC-8F66-1B86DA8F7794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934884$DB0FCDAC-0245-40A9-8B3D-935A332FE521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"869ec75fe4ab50e2248051b39fb15b7d7aa039e0","datavalue":{"value":{"entity-type":"item","numeric-id":2060750,"id":"Q2060750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934884$3881E813-3858-4618-9BEF-550153BECF11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be5ba67ef43776cb1ea5c3063837b367d1caf4b","datavalue":{"value":{"time":"+2000-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934884$93BD87E7-AFD8-4284-83BD-2D2B608A9BEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59b03de21c510c2d8784c535a388f804a77c49d0","datavalue":{"value":"https://semanticscholar.org/paper/8b43dff5cbc2842bf782467dca38410b9ca30c94","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934884$9667C220-E510-4141-8129-3BC38030061F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$46422464-A856-4F95-8D32-C5884165B91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$7F842B1B-8B37-4EB8-8DB3-C6DEBA16404D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$EEC9B0AC-8AF5-4315-98BD-DE53AE0C961D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dffba9191724831c9dac8adf88905384e1855e42","datavalue":{"value":"1394710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$CB16B66F-A258-493F-A0A4-58AA56393E9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934884$1E25ED84-4EEF-473C-B790-DCFB36C33283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934884$31BEBF3A-7E35-4CA2-8241-3E8A0A893E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934884$8976E86E-3960-4698-B50B-796F9C338A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345322a68f316eeb67f12479d9590fb4579fea96","datavalue":{"value":"two-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934884$82E6AFD2-84BF-4721-890E-00A821C785AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3c2c2eaba8984beb575e6612ad7e4655001e84","datavalue":{"value":"labelled tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934884$81F8110A-8B1F-4EF0-AE63-12248C3A7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934884$F7007446-2F80-42D4-A0E4-8D7FB6202B1C","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":"Q4934884$0CED4A24-A2A5-48BC-80D4-D90C091386F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07de4d47fca2b780aec25c573ae7f7d38f61460e","datavalue":{"value":"W2089921049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$36D7521B-EB5D-4C93-AB7C-94E526663473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4868e1324a543a41ce92685a9eb9b4a588cf9963","datavalue":{"value":"10.1093/JIGPAL/7.6.755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934884$0590C9EE-9FEA-41E5-B68C-6605C4757C44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934884$D22583B4-03A5-48B3-81D1-5E900C8481A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a21697993344dad2a7043c9bdc16d86b093dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2701985,"id":"Q2701985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a6102f72c2c2212fbe8792a7cb3dc4d5390fbd","datavalue":{"value":{"amount":"+0.8492107391357422","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":"Q4934884$EC11C6AD-E13B-4E33-BDEC-01C9E82CA8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d686f0784da8f2b08eb273d6269398391465297","datavalue":{"value":{"amount":"+0.7941567301750183","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":"Q4934884$BC3CCBDF-25D4-4DC6-8A71-77006F916F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebed697d98659109a96dfd606a9e86820548b45","datavalue":{"value":{"amount":"+0.7867882251739502","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":"Q4934884$B399A12A-8B9C-4839-99C8-F5FD78B4E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb1a107a2ec8825a0816849f453827735781060","datavalue":{"value":{"amount":"+0.7681930661201477","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":"Q4934884$3F84B8CB-D3CB-45D1-8DA1-B79260FFF6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da025574d6d3ac68997d14db720ee57b13f7791","datavalue":{"value":{"entity-type":"item","numeric-id":3008387,"id":"Q3008387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8172adb0cac4ffb40ed80e23e0963dae0b41ee4","datavalue":{"value":{"amount":"+0.7557032108306885","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":"Q4934884$F3ED2397-D309-4FFE-A4B5-3538D77729FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableau calculus for local cubic modal logic and its implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableau_calculus_for_local_cubic_modal_logic_and_its_implementation"}}}}}