{"entities":{"Q2180519":{"pageid":2191262,"ns":120,"title":"Item:Q2180519","lastrevid":72778830,"modified":"2026-04-14T07:46:12Z","type":"item","id":"Q2180519","labels":{"en":{"language":"en","value":"On combinatorial proofs for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200670"}},"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":"Q2180519$6068EB3A-BBB1-4ABB-AF81-3BFB111D88D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a18a4a8fd60284f631e442e4e5d61c363175330","datavalue":{"value":{"text":"On combinatorial proofs for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180519$9BACEC8F-C296-45A5-A5A6-A9489EC6C7B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bfc1b26052ca4b5aef025a29744056582dd2403","datavalue":{"value":"1435.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180519$7F7CB9CC-DBEE-4F44-A3AD-3A7E13FDA1AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a2ff26c1a2b112ea786af35fda03dfbc7f1fdd7","datavalue":{"value":"10.1007/978-3-030-29026-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180519$79A70389-9CDF-4CEA-9658-8768159796E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180519$0C3EF2A7-030C-438C-B892-2E98AD22F44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180519$1CAF01CC-F22B-4D42-A431-52450738FE50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180519$87A9038D-1F11-4638-AAAA-D6CC84BCB636","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2a94ba7768da144ffe789f57630151c33fe5ab4","datavalue":{"value":"https://hal.inria.fr/hal-02390400/file/CPKfinal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180519$6D3C38F1-B507-416C-BC04-49FD6ECFCB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180519$078FDB37-AB5C-4A32-8E99-C31A8A8E525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180519$9022BF3B-0670-47EA-A3BC-4B55577360BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d11e49c0fc2a1426a48405b6da50a6c24f40065b","datavalue":{"value":"7200670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180519$7F3BA33A-1095-4714-92DE-5A97B9B82D27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4309af4b8f8828493281cfa73802dbc17c80f7","datavalue":{"value":"combinatorial proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180519$1846B0B4-92CF-4436-A64C-66AF287C7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180519$D704FD4D-A8FA-4350-A04B-FDF0DD74C57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3717929a266f77a873ec151412c4f4460462e2a3","datavalue":{"value":"S4-tesseract","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180519$955EF73E-46A0-4607-B864-05B784E2BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659d0ed7071c6f0c2bb78f21e0143da783bbcd6","datavalue":{"value":"relation webs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180519$C7598997-F6DE-477F-B20E-0322125BAA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d591313980d2af5e828dae839c528d467c5bfaf3","datavalue":{"value":"skew fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180519$871594C2-0714-4957-ABA6-DDE99F3CF623","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":"Q2180519$901D3D6C-0AF1-4C64-863A-1C1FC39B4FCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f735b0ad23afa8bf3139e2493ca167afe049189e","datavalue":{"value":"W2969696171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180519$F418E205-CFE8-43C5-A6B5-49DBB42B5F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c241999438b67d7c7b3c4f30b7aaf2bad4fdeb","datavalue":{"value":{"entity-type":"item","numeric-id":2180521,"id":"Q2180521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457d6b45a12299868a7d2b6e6141cb6ae80d6077","datavalue":{"value":{"amount":"+0.7976382374763489","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":"Q2180519$89F8DF0D-A459-4AEE-ADAB-DE346459E523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa68709690b3ab21367cba9a41a29d5984c19f88","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8de351cbdf476e6d6c0d03639fec72277a160f","datavalue":{"value":{"amount":"+0.7957459688186646","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":"Q2180519$2D3B29C5-9960-4E5B-A099-ECFB46E272AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fad5c8bd01d319bab3ffeeed82ebccdbf6d6be","datavalue":{"value":{"entity-type":"item","numeric-id":964500,"id":"Q964500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02094e4a88a720dfa09931ab7828ed2351ae9f1","datavalue":{"value":{"amount":"+0.7660169005393982","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":"Q2180519$462AF108-BA20-488E-9D28-BD9F37BE955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a28de9a49c627d5344d4fd033e884b70bacbf","datavalue":{"value":{"entity-type":"item","numeric-id":5111329,"id":"Q5111329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c77beffb916c06c0cb26368259aeeeea6a7c637","datavalue":{"value":{"amount":"+0.7533963918685913","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":"Q2180519$46007877-C0C0-4EE9-B0F5-9A12F076323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2aee3d025f0f5060e1075af1f6ac70dae9983b2","datavalue":{"value":{"amount":"+0.7466509938240051","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":"Q2180519$4991DD8E-AD2F-418F-A7B4-AD2204A495AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On combinatorial proofs for modal logic","badges":[]}}}}}