{"entities":{"Q812101":{"pageid":813949,"ns":120,"title":"Item:Q812101","lastrevid":64554969,"modified":"2026-04-11T20:40:25Z","type":"item","id":"Q812101","labels":{"en":{"language":"en","value":"Proof analysis in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000204"}},"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":"Q812101$FCA8C872-42AA-4B21-9488-2AA3C08B2490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67f6a66459af6932dad2d55e17bd96799c4c18a6","datavalue":{"value":{"text":"Proof analysis in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812101$FA86BBC6-C2BC-46CE-9953-A26FECD00778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9dfaee06e8a5e4fce4accb767a54079ed340cfd","datavalue":{"value":"1086.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812101$01386CAA-D101-487E-BB3A-566CEAA9EEE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$38F363EC-2288-4E1E-91F3-66362A9203A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$4F266561-F6C2-4420-8179-F08BBBD8C5D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-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":"Q812101$BC6C2F48-B581-4D5D-A6DF-7AE533EBCB3D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e85d31a6fa8e045b1ec3d6499b23f0b9ed70290","datavalue":{"value":"Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved syntactically. The interesting case of G\u00f6del-L\u00f6b logic GL solves a long-standing open problem in the author's opinion, though the results do not quite match that claim. Firstly, the main open problem has no mention of labelled sequent calculus; so this is a partial answer. Secondly, as the author notes in the beginning of Section 6, in general cut-elimination alone does not ensure terminating proof search in a given system. So, she introduces some explicit upper bounds for terminating proof search in different systems such as those for K, KB, TB, S4 and S5. But unfortunately, the case of GL has been neglected; if it is implicit, which is not clear from the text, a brief mentioning would have removed the doubt. If there is no such a bound for GL, then the passage ``decidability properties get established in the strong form of an effective bound on proof search'' in the introduction may mislead the reader when it is not said that this does not hold for GL.   Apart from these doubts, the paper contains good and original results: after the introduction and the preliminaries in Sections~1 and 2, labelled sequent calculi are introduced in Section~3, and in Section~4 the admissibility of their structural rules are proved. Section~5 is devoted to GL, and in Section~6 decidability of some of the above systems is settled. Equality is included in the systems in Subsection~7.1, and finally the paper concludes with a very interesting result on undefinability of some Kripke frame properties, such as irreflexivity and intransitivity, by modal axioms/rules. In Corollary~7.5 the author gives marvellous syntactic proofs for these well-known phenomena.","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$530DB918-4088-4A31-AFDB-FBDAA7479D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812101$002BF178-FEF8-4B3C-99E3-1F8383524EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812101$C62DA997-DD8D-40A1-9EA9-58506F83804B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82c0fe24cc3abbf636e0062108a455cfff3d1f6d","datavalue":{"value":"5000204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812101$A8CBFAA7-0672-4E38-96E6-1FC7A0AE3D0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$F34C1746-36D0-4640-889B-18EEE06CCE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$45EB86BF-49B9-4329-8C0B-3C62A14E5FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$CF77401F-DD03-4873-AD36-9224CBD60F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd9c82e2289413df0455a94c9abb74bf80d116b","datavalue":{"value":"labelled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$2B7D09E8-3A39-4E48-B427-AEB2E3345F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dadd2f8a54bfbae1d3ec32fd3cbf83b984d2fc2","datavalue":{"value":"admissibility of structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$D7A9A89F-0C6B-4CE0-B6C0-09DD8C33B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$A17E9BC5-C96D-42D8-A452-0D17F78F9764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q812101$F70EE58B-8E76-4FD7-AF5E-72474FD6C3F5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$35074C1E-0D37-400F-BCD3-C5496FE614F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$A21CE94A-BFA5-403E-A9F1-10915FC97473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$877E2A68-7866-47C5-965D-EC6FA574F852","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":"Q812101$13FE3203-36EB-49D5-8793-55FD635DF939","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fb7373c59a61ee8807b31e73445437d3560b2f3","datavalue":{"value":"https://doi.org/10.1007/s10992-005-2267-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q812101$2EEE7071-7B67-4BE9-B3DF-A8E4A1A2C093","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4037e8e0eddd1084f95cf97bed10d3f70a4ab587","datavalue":{"value":"W1995718667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812101$B4755918-F317-4188-9C8E-2F6D76D78EAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"595dceaecc016f2005aa5a7685befab0d744999a","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$DC3128AA-C5A7-476B-89B7-4D3923084196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$87DD2CDE-C89B-4A88-9FB3-AAD2045C543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$FC97908D-8328-405B-81D5-1CBD233C99DB","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":"Q812101$BF88732A-C83E-468C-AD08-31422E418ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$3F57C40D-1742-4E13-B8D0-5CB5CB9148FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb539f4340a3b122713825beb6206958ba3b45c","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$C321701E-4AEA-431A-AE29-76C114EC7078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$E54300DD-BA21-4FB9-B6D7-1D9BE75374CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$AD6EF2E0-3276-4EC2-8AD1-70B4868F5D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$21275B0E-A03E-4C59-BB1B-A13DAF174D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$7A7AFCF3-C52E-4259-B6AC-0F50CA64D4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e08c496357f5420eaae8c039a1693d75f850661","datavalue":{"value":{"entity-type":"item","numeric-id":4650293,"id":"Q4650293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$30150830-36E1-4C68-A6AE-1B14150DB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$CE7D56CA-94C2-44A1-B70E-07AF08C15B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4809852e773671781a76300a7acfb1d5b189851e","datavalue":{"value":{"entity-type":"item","numeric-id":5598335,"id":"Q5598335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$4AE05901-6C34-457B-ABD5-E4F1482DE07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$51B6C631-EF71-4993-8C26-892A43F0A9CE","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":"Q812101$161D6C0C-2B29-47DA-BF27-95C92A750BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$102FFE21-1C89-4455-A651-D13F3D31313A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$D350E923-4A4A-48D7-8462-661ECF7EDE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$D93A484E-E7A0-48AA-89C6-867B9D688A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021eae6f3c8645635c6c1caa857e4959ad23a662","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$D6C3D0B6-22B4-4AEB-855D-20D35BFDF96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cb010ae1c1f82f142d7f1427cb01809e5c6acc","datavalue":{"value":{"entity-type":"item","numeric-id":701722,"id":"Q701722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$4FD64727-93D7-4CF5-864F-535BC5743A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af09af750f954a8fefe988cc93afa52e36b198f6","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$A05215E2-76F9-4E97-A317-67FB6B3EE77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$CEE8B3AC-C5F6-4AC6-8034-694407979386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$33BBB473-78D0-4609-93B2-ED064AE45DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$9F9F8F9C-2A24-4156-9A77-FB636DD9C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$D98C35DA-40DE-4823-AF59-EAD8EAED8512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$51114CFF-FB83-4241-AA69-586D705E624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$46CE36C0-B4B2-4605-8542-A695DD2FDC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812101$39AC1699-B838-4D93-BD3C-F2A533187C58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a098a9c5fee4baeb36ea2c3fba395dcf754d6c8","datavalue":{"value":"10.1007/S10992-005-2267-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812101$60B69BE2-C8D0-4E3B-92E2-492376D170F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5176f8e81de260e52eef42fa1d2f2b0d967b162","datavalue":{"value":{"amount":"+0.8229548931121826","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":"Q812101$0F4ADFC1-08CB-4A89-B16A-7C4AB9D05BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd41cf85860439b3be7d63566773110f79f919ee","datavalue":{"value":{"entity-type":"item","numeric-id":377468,"id":"Q377468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8902003f1f022a0158953b4ed5ddd0a86097b2","datavalue":{"value":{"amount":"+0.7995346784591675","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":"Q812101$59A5548B-98DC-41CA-80DE-77C4AE07BC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef73cccc380fa318bae1885b7abb211c528963cf","datavalue":{"value":{"amount":"+0.7958710193634033","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":"Q812101$4767D8F0-0E8D-413F-8069-F6CB8B67A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce47d86d6377e5013ec1de03bb3a499a5d8b29b","datavalue":{"value":{"amount":"+0.7957776784896851","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":"Q812101$61E86C20-DD23-44DD-B741-6739EE5F6188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26b0bafd973c29839586c72c8bf08f8df0a161","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea70653682505559b573eb3b9ef16572df9a99e","datavalue":{"value":{"amount":"+0.7909497618675232","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":"Q812101$C53C0C31-A4B5-41E6-9421-E1961C6BCB08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof analysis in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_analysis_in_modal_logic"}}}}}