{"entities":{"Q4591503":{"pageid":6621088,"ns":120,"title":"Item:Q4591503","lastrevid":56877684,"modified":"2026-03-24T09:56:20Z","type":"item","id":"Q4591503","labels":{"en":{"language":"en","value":"Simple decision procedure for \\(\\mathbf {S5}\\) in standard cut-free sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808536"}},"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":"Q4591503$DE021E8C-08A3-4F26-A39E-5999033B4D65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"453da7c56f98f980d82be3ca76087d2e662538e1","datavalue":{"value":{"text":"Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4591503$04597858-A8CB-4CB7-9BCF-E88140D4D2A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5742a3a6ee920ae469c6625a1c91e39805afa91d","datavalue":{"value":"1423.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$41107B1A-1641-4554-8B58-D16C0B33DE75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd2f6515961f16acb2d7271f94a1725191f0c7df","datavalue":{"value":"10.18778/0138-0680.45.2.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$7326594E-1CE5-4828-93B1-6C41D4337B5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4591503$9658A98B-64E8-40CB-9BB9-37F27E69ADC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4591503$4BC07C94-D1DE-4D12-AD0B-46F8B2515568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4591503$EF8D0508-D860-4F0F-8A1A-AC8BDB7DC297","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$0D33B50E-9E1F-4F5A-B1B4-3870FD7DAD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$41F4B2E3-C5A8-4392-BAAC-3BD50A48EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$815CB5DC-3FC4-441D-98AB-5434A44FAB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2d7fb40ba41b03e19c80f5007dbd885d4c4b25","datavalue":{"value":"6808536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$F10F5FFD-9117-4CB8-8AAC-3E114F9595D0","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":"Q4591503$2B0CB3F7-5780-4EE9-813E-C80333BC920F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"469edadf6a0081e2716291951ed8a0143dab6aaa","datavalue":{"value":"https://doi.org/10.18778/0138-0680.45.2.05","type":"string"},"datatype":"url"},"type":"statement","id":"Q4591503$88A2C147-D3ED-4EF8-BE30-7248880C9742","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"633fac9f69eb4ca187696b2f6f61989ab2c65ac0","datavalue":{"value":"W2620170203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4591503$107152E1-F11D-4ABD-84C8-EF6C2535AC99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78cabeb13a32b667fbe6926442bb0d873293f53","datavalue":{"value":{"amount":"+0.8663219809532166","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":"Q4591503$6DE2C2E7-5A3B-4F6B-B510-89AAD7554C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50b448ca2ddb9ee66e64ca64d548758fd3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":5283968,"id":"Q5283968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a60829f75011ea5b239efa8fa864faa907861d","datavalue":{"value":{"amount":"+0.8197821974754333","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":"Q4591503$CEE23BE1-8168-449A-B6C7-3C408D24B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e0d17050f52afbcebc05fb6e2dc95eec60aae6","datavalue":{"value":{"entity-type":"item","numeric-id":3656762,"id":"Q3656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72b133b360e99c05d7a69b898d2dbc0cc625404","datavalue":{"value":{"amount":"+0.8051038980484009","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":"Q4591503$01A6794E-C2F7-4AFF-87D0-A3A989AAA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb7051288014263ab7e27ee69689e8865a31e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c5a2ca6e5c4ea01693dd08b55c6ae443f562f2","datavalue":{"value":{"amount":"+0.7981047034263611","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":"Q4591503$791DF311-897B-454C-8413-9F6733459D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c5a2ca6e5c4ea01693dd08b55c6ae443f562f2","datavalue":{"value":{"amount":"+0.7981047034263611","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":"Q4591503$C8CA9180-1838-438F-ABD0-C92F6C181A5E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4591503$33129B8C-C8F6-497D-83B2-1BFB27EA5284","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4591503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4591503"}}}}}