{"entities":{"Q5889308":{"pageid":7918858,"ns":120,"title":"Item:Q5889308","lastrevid":101858798,"modified":"2026-06-06T03:01:18Z","type":"item","id":"Q5889308","labels":{"en":{"language":"en","value":"A dual-context sequent calculus for the constructive modal logic S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676413"}},"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":"Q5889308$74A835B5-344C-4AE5-95A5-CA923F7A4DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cf37b924e1c5f886c33e16834b8714a701f2474","datavalue":{"value":{"text":"A dual-context sequent calculus for the constructive modal logic S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889308$59E87AD7-49C0-40C4-878A-90FCF8E7435E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d4106e5e98b570685bd84a2ae864492a15bb116","datavalue":{"value":"10.1017/S0960129522000378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889308$3EE454EB-CA56-4D9B-A996-CC0C1B252BB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"617513ed20293f92b2f67987461eb17d18d83c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2133447,"id":"Q2133447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$E6DDE0CE-E7FB-4710-A142-13FA0B145D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77349d7f7398c47e6d2065cd0d80588fae809ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2133448,"id":"Q2133448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$798A210B-E888-47EC-A68D-3845E1C19ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"803bea2a250aa044a568a4d507a15b39a3e843a0","datavalue":{"value":{"entity-type":"item","numeric-id":2133449,"id":"Q2133449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$3FEDFCA4-6D10-4A14-9D70-FA1209E5F655","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$117EF149-1C15-473F-A9D0-45FFDD067412","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45170dd21fa676e67e724b08d39d43dc9ec45445","datavalue":{"value":{"time":"+2023-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889308$B11B78C3-6545-45CE-9648-25E46F812277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889308$EFE864CF-800D-497B-A0B5-D218A3479D33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a27e1059465a39d0f41a71c70a83ec4ca617505","datavalue":{"value":"7676413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889308$F8DBEA73-EFBB-497D-9C9B-8C730237E7F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889308$4555893C-36D6-40F8-AECE-6C8CDF36DBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889308$C979EECA-B53E-41B2-8359-3925C398EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0f5ceab3ffa6a2ea283af4cabeb059465d1b4c","datavalue":{"value":"dual-context systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889308$F8A036AE-EF72-436F-82D5-BD44CC9E1CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889308$E8B26832-E514-4274-8712-CD26F79894A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889308$3B19EE04-1162-4E9E-8BE3-35EEB81F552A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587abfb10815bcb97839de12d5d9baff5f03e40b","datavalue":{"value":"coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889308$EE661AD2-6276-4FBA-8352-4CF37EFEDC20","rank":"normal"}],"P1463":[{"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":"Q5889308$8DF83801-FF7B-4873-8079-E1F402DD67DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$5AE8EE77-23E3-4B06-93DC-46ABA0F3857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$0499A8ED-EC6D-4DB1-A2B7-6DAC12966D29","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":"Q5889308$E8267D2B-96CE-417B-9B9D-90FBA2AEE3B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcaa96d0def54100a797525367d2137ef75edde0","datavalue":{"value":"https://doi.org/10.1017/s0960129522000378","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889308$5F2BD6CD-EBC4-4EE2-81A2-D45F69C7C9D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da2dc3ffee2f420d75bcd887d2adabca27c4ddbe","datavalue":{"value":"W4309791347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889308$8CE49333-95C6-44C8-8C88-19E7CD528169","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$D4D48B42-21BA-461E-A423-2C75BE88E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb0361cbbb1efef9e353a97f34ce0dd1e0e6ed6","datavalue":{"value":{"entity-type":"item","numeric-id":392988,"id":"Q392988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$786D3A7A-414F-468D-94BD-658EC1B43E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$77A55928-D217-429F-A08F-280122DABAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee882c4c5a9419daf883aa80b81512143904988d","datavalue":{"value":{"entity-type":"item","numeric-id":4627753,"id":"Q4627753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$B28B666D-917F-4048-A0AC-3C51D203CC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b5fc9768857e194d5dbade52fddef9a2f39f33","datavalue":{"value":{"entity-type":"item","numeric-id":3623901,"id":"Q3623901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$F1DD3C8C-2E57-4DBC-8927-9538F81A070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91f5b51b7f25d18220469de81a31167afba300f","datavalue":{"value":{"entity-type":"item","numeric-id":4525951,"id":"Q4525951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$5B481D02-914C-46B4-A96B-6787CB2FBD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57189ecb55e1ba61822003d7d3f2f53dca71d675","datavalue":{"value":{"entity-type":"item","numeric-id":5802120,"id":"Q5802120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$0D3473CD-1402-48D8-9BDD-E6CB6EF90DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$FFAD530B-1614-44BC-8950-0D1A39DDAD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$B60838FC-9D13-4963-A6C2-CABE0AA029C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$A0ADBA38-F4AA-4A0C-B281-BA1003E86953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$F025B289-FC27-4A42-978C-2451A0616517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8facf0d51be0f110356c413bcb4d3b0db305a8","datavalue":{"value":{"entity-type":"item","numeric-id":5231279,"id":"Q5231279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$F52E2FDB-FA88-4A1E-AE07-BD621726AF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f753985f54569b7d98ca165f9631a5ed6c006a","datavalue":{"value":{"entity-type":"item","numeric-id":2219076,"id":"Q2219076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$3FFCCAAB-A57E-4DD4-BB74-7ED269EC5761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$6C924A1C-E9FB-4E91-A487-CC705117E0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28cc7d677c1836b2fdeb46b0d31806635665be23","datavalue":{"value":{"entity-type":"item","numeric-id":3608769,"id":"Q3608769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$4A96C640-3FE7-410D-955A-5CBFED3EEDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$2513F57E-904D-4821-BF73-CB846DAB0865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$69421373-D89F-4C74-AE10-BA890C8147C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa93a3e7b401a38900f6649d170ca22aac025c","datavalue":{"value":{"entity-type":"item","numeric-id":5119390,"id":"Q5119390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$D4268B79-6407-42BB-A38D-2E2CB1C95038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$C79BCA01-8E4C-48F4-ADA4-B39ABBEF93A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$F6432F76-CE0F-4937-ABA7-FF5F0EB64D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc577847a14cdafc0f2b62137fc4085fbed27b","datavalue":{"value":{"entity-type":"item","numeric-id":2133450,"id":"Q2133450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$EFBEFD47-AE6E-4979-B70B-A69C28A21CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8447ce1c70c2edee6b21562c8952399ed09dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":5458795,"id":"Q5458795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$48717A1D-001A-4FF8-ACE4-0337BA5985E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$8CD34254-A7D4-439D-A35C-70BD2C6FF5EB","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":"Q5889308$9757473A-D768-4D79-AF3A-30BA605D6C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$69268EE0-07AA-4611-8B53-42FA18B6E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$E01D9F68-06E1-445C-B09D-CCF92D4A1B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$FC40B1F3-8265-4820-A253-1C69E488406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989e30629b0a606961308315e1c7243e974dcc8d","datavalue":{"value":{"entity-type":"item","numeric-id":3406694,"id":"Q3406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$16B7A38E-6F9B-4E15-8C2C-0250D57D567C","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":"Q5889308$7381F585-C4D4-4D6E-A4E2-F818ECB2B95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$5B3F60C4-3FF2-4987-9F28-29454C6A1AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa3e52fba1a9078ffd97183f542871dd8723343","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7778aa30a2ced6916582d551b3949c6dc5beeb","datavalue":{"value":{"amount":"+0.91856503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$98A02118-77AC-43B0-B4D8-B4CDDFB345F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0c5863bdea3422297b4e6c907c798304dea81e","datavalue":{"value":{"entity-type":"item","numeric-id":5119390,"id":"Q5119390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce58113a5b6671359e13c704563120f59517cd5","datavalue":{"value":{"amount":"+0.918565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$E8F8A14D-4B6A-44F1-8FF2-047D888E07C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5fbc40291383c64992afa9498840aaa64c4c3d","datavalue":{"value":{"amount":"+0.90733445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$D89DB2A8-4C13-4317-8D7C-CF82F067452D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9bec9707cb53f2e71347f1296911adc5e5abab","datavalue":{"value":{"entity-type":"item","numeric-id":752686,"id":"Q752686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55377c743e954389ebfdc961b4d328258a601d2","datavalue":{"value":{"amount":"+0.90706825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$ABB71EC0-A800-4AD4-9E9E-BB03137F6C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a791f7386848fdb80ce8b033cdff7f9e78e252","datavalue":{"value":{"entity-type":"item","numeric-id":4204132,"id":"Q4204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55377c743e954389ebfdc961b4d328258a601d2","datavalue":{"value":{"amount":"+0.90706825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$67BDFD0A-F8DA-48B3-9FB4-F8D9C64EAF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b00837db4104f9c763f8b72172c8e59322a3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4296507,"id":"Q4296507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7b5b2f1da1626bc7d394620194253bee80ff41","datavalue":{"value":{"amount":"+0.9052947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$30522FEF-13B4-4BE7-8C0A-298D28434CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22306f86ecbe244c29702ba1468c094f1d60f493","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bab479c4cb40c64c513e4e4ce6cb4869901c642","datavalue":{"value":{"amount":"+0.90319955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$E9A2060D-90B9-4557-8C22-335591C36812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb2447f9bc9046dc91c4d302dcb89150b41f667","datavalue":{"value":{"entity-type":"item","numeric-id":392998,"id":"Q392998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76e442bac27975791a57cb9a0b59ad6d63fcfe9","datavalue":{"value":{"amount":"+0.90095556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$4ACD9D55-1351-4C7E-AC7C-F34780A9D7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84a849a3abe1fd1c9abcaa823bbd5a28e7feb5c","datavalue":{"value":{"entity-type":"item","numeric-id":392988,"id":"Q392988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1b0bb277de54e277331d58b90fb7fb5dde0875","datavalue":{"value":{"amount":"+0.8950439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$EA7540CD-1B53-4C8E-88F1-549F53608AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0346cb07c892f61a7f5b431ff4ebc45d81b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db9626d2a117b53dc748aa43c98357c44b1eede","datavalue":{"value":{"amount":"+0.8947958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5889308$9437A627-5CDB-49F2-97E5-4631C5D7B2DD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889308$32921D84-F7A0-4099-A1ED-424236C41EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dual-context sequent calculus for the constructive modal logic S4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dual-context_sequent_calculus_for_the_constructive_modal_logic_S4"}}}}}