{"entities":{"Q3580655":{"pageid":5610559,"ns":120,"title":"Item:Q3580655","lastrevid":51055232,"modified":"2026-01-16T10:18:10Z","type":"item","id":"Q3580655","labels":{"en":{"language":"en","value":"A cut-free simple sequent calculus for modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770053"}},"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":"Q3580655$DB6698EC-6EF7-4C43-B309-1880159C93A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7751c9d55c7293438a43cd8651e7e29485228bcd","datavalue":{"value":{"text":"A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3580655$9CF4A762-B055-422B-A974-186A7BC59DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f4ac0ae537380e0e53b612e73d4c2b7073d4d32","datavalue":{"value":"1204.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580655$98808683-98F6-40C1-86BD-8A18D56EBE40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04ed595e4cdee0cdfb8fa7c0833ccf8f197aac8e","datavalue":{"value":"10.1017/S1755020308080040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580655$16B34341-D93B-474B-9C65-EFDB46DF158E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$1E558C27-DD2D-4AF4-BF90-EC07A225A31F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$855ABACB-E9A2-4CE3-955B-9A719DD8B3D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3580655$A8BBEC12-2437-470D-90F9-DA4C348AFAFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580655$AC902224-2C5B-44E2-8DFE-EC7F28709C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580655$9E9B6DDE-2F26-48AE-8673-E4A38A6F4D16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"626ea8a200fb7a9acd15fecbb7339db4c531aab1","datavalue":{"value":"5770053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580655$87504D12-07AB-4848-8A21-3CA98BBB833D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3580655$F9E1A314-C0E9-49A9-9347-DC2E1FA66DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503c302af729a54f5ef7a384721ee369ee80e6b4","datavalue":{"value":"modal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3580655$A4618B5B-5DEE-4C03-B64D-726371F39A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3580655$E8889076-EA6A-464E-A931-1CB30F891B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4ce5f17cceab2bce88593807419d2ba1409297","datavalue":{"value":"contraction-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3580655$01B969CD-0763-4072-BC04-627BBF056346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28046153e6a63b99702aeb062d78e5f8cea664f9","datavalue":{"value":"cut-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3580655$E1396E7E-5799-4FA9-B44D-6740935D29DA","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":"Q3580655$813FEC03-1ED4-4954-84A8-2A415EBE02F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$8AF047CE-E426-4436-8BA0-5B5D241C5894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29bd3fb046590d8a5b165cf211e62a2078a71ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1187165,"id":"Q1187165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$B6903F1C-EA51-4973-8634-22C9F9B3491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811458264a650a109340a5030fad038d17897be7","datavalue":{"value":{"entity-type":"item","numeric-id":4511541,"id":"Q4511541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$F54FBFCE-5356-4764-A804-D59E354076A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$71304E9E-9944-4CE2-AB04-2D604F98E93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc065e1443641621f51f300432ca9e2304c0fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$E39289FB-D36A-4155-BA3B-9D6B2B160AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$ADFE6543-0E2C-4113-935E-78AEFEB9461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7007d983f7272b825303e660ef4da93ca5ccee","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$99D7D78E-EFE5-4699-911B-9756CA06BBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626844e9f28589d93bd8625672a9cd46823c520a","datavalue":{"value":{"entity-type":"item","numeric-id":3262211,"id":"Q3262211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$90E248DB-68F9-4BA6-AF5F-803A873C940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$8EAD988D-8AEE-4381-9591-4700335D4A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$6C7A8193-2F8F-42CA-8167-736100C35AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$14BE0605-FD8E-4A79-9846-1A5D37A03E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$095C3885-D867-437C-A00E-801A7FA971AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c232a4ac94055e2cc6462047a2680a2578759dc","datavalue":{"value":{"entity-type":"item","numeric-id":3887437,"id":"Q3887437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$2F5621E4-933D-44FD-9D5D-69E65ED874E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580655$412D5393-6DA4-4C0F-893D-1E0F202DEB6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"267b6b8c42636876a444d34ed8e945f970ce1674","datavalue":{"value":"https://doi.org/10.1017/s1755020308080040","type":"string"},"datatype":"url"},"type":"statement","id":"Q3580655$0BAC9CB3-1D26-46A5-9381-45F4A9A0BE29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b848367cec2fd937b15932fa3e767437e10fd65","datavalue":{"value":"W2164133707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580655$66FED259-B4C9-4244-97FA-D222EDFFA94A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14fcd4eabf80fbe08a403e5882bd3fe1348fdfb","datavalue":{"value":{"entity-type":"item","numeric-id":4591503,"id":"Q4591503"},"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":"Q3580655$0951E79D-252B-4277-A1D0-9A23D9A67C3A","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":"93b102a2c2e121579710b802341c73c0a883135b","datavalue":{"value":{"amount":"+0.8643166422843933","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":"Q3580655$3B4F9365-6ACD-46C0-908A-C3903ADD4D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b102a2c2e121579710b802341c73c0a883135b","datavalue":{"value":{"amount":"+0.8643166422843933","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":"Q3580655$76BE4486-0B57-4174-8DE8-915F221597BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154147a13c9d60a29b39367a8cdaf3b6f48c670c","datavalue":{"value":{"entity-type":"item","numeric-id":2810012,"id":"Q2810012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385247abf24659d0ccd0e3a161377fe445f64953","datavalue":{"value":{"amount":"+0.8617147207260132","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":"Q3580655$C8FE42FC-4BE2-41BB-9DE7-560F71050C08","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":"ad22df9909d450598928b9173a3c8bad0624063d","datavalue":{"value":{"amount":"+0.8601005673408508","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":"Q3580655$AE1BC7BA-1029-4535-9B00-035D152AB924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3580655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3580655"}}}}}