{"entities":{"Q1035676":{"pageid":1037524,"ns":120,"title":"Item:Q1035676","lastrevid":66089667,"modified":"2026-04-12T07:28:56Z","type":"item","id":"Q1035676","labels":{"en":{"language":"en","value":"Dual systems of tableaux and sequents for PLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624925"}},"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":"Q1035676$E521DB23-DF68-498D-83DA-768020C25BBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac95aa6d39427d4c2b87f8179fe455ee0c81bf0","datavalue":{"value":{"text":"Dual systems of tableaux and sequents for PLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035676$59BD18AF-DC04-419C-A450-5EB0F34E31C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70c3f97f4926d2032e6be37bfc9c36d46ccb6407","datavalue":{"value":"1183.68596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$A874EF73-1C33-4F0C-822D-4ED5B11056AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf8e9157016f16de7bf96faaf4cc8f3999545b5","datavalue":{"value":{"entity-type":"item","numeric-id":352971,"id":"Q352971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$71AD5A67-53D2-4D99-A75C-F7D21655AE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$58107567-8ACD-46E5-9460-FE145CA52979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$9ADBDB9D-D52D-4833-AA93-D3051B6AA4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed55229bd3e6c069ce7f99b0f19bc30ef1facc7","datavalue":{"value":{"entity-type":"item","numeric-id":352973,"id":"Q352973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$F2942594-73FB-4E3D-9CA4-D7A00E5F052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$DE84CB14-AB1A-42AA-AAF9-8CA79D8B1B5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$9D466B22-0AEA-4E66-B265-C4439DCA374C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035676$DBF9B310-59CC-40C9-9D05-58112706A17D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$D244673D-2876-4F8B-9304-AAB3978E3C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$DDD1588C-5C49-49A4-B081-563EDA60F712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$5C84D565-2B8B-4789-A15F-D0E747556194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ddd5cb7b2777ffbcb48042521484f798950d13f","datavalue":{"value":"5624925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$46B6B82D-EC4F-4E55-A6F4-9C4176AC624A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035676$62C3FD22-DB1B-4DA3-821B-650FCD29A3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035676$96FE4A66-3A35-409A-8D87-6816DD75DDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a342ab58386521564e96ddba06d417728d72814","datavalue":{"value":"invariant-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035676$7009CF25-9838-4D97-A46D-7941A523F52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035676$2B8C402E-0665-485E-B026-9831615D7BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28046153e6a63b99702aeb062d78e5f8cea664f9","datavalue":{"value":"cut-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035676$E9748C65-F2F3-4F91-8B19-0A229A20F7CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1dd593caa76171727c63057fe580e976fa16cf5","datavalue":{"value":{"entity-type":"item","numeric-id":23931,"id":"Q23931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$4EC7F8F8-45CF-414D-B131-D500D6C062AC","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":"Q1035676$F435C58C-1F90-4904-9193-11016C755F7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f01f6ae15d7ef63ec66ce77244aba5de1163512","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035676$DAD5F93D-64EE-4682-AC7B-93B89DD9D258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb2c34eb9b553c25cbfd19d51511686d9894d4b8","datavalue":{"value":"W1979014177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$73DCA9D1-B1BE-499B-8B0C-BD4B925D6320","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$296006AD-E5C6-4F86-B195-FB0105936939","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":"Q1035676$D55CC04B-5CD5-45EB-941F-60A27A7C461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa9bd4a85c4c49445e39f562d8e5bf96db06519","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$06609746-558B-4CAA-A657-B0C56B5FE3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$0C3D214A-AE60-4C3D-BAD8-FD5CFBF559EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76baf677d1bd1d922afa18500942dfeefac2ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$670B5695-16BD-4429-B230-13396591F8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79adceaea1e40b4cad7838a35b0a0fd442b58ac","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$CCD518A8-945F-489E-8068-F5EF807CEB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$42A82EEF-170E-4174-AE67-562AEC711D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$72FB1B6D-BFCE-4F0D-B3FB-1F1399AEC3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$E4BD81D9-B096-4B2D-AD9D-EF2824168133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d32fbb358fe8ff698056a464a35ad043a50a44f","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$3D0BAE34-F565-417F-B454-6CAA15FF6048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6ef5633e12f6701b6cd89e68936d56c52dfab1","datavalue":{"value":{"entity-type":"item","numeric-id":4560364,"id":"Q4560364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$54343A09-01E0-4867-B34B-E1FA651255CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$2053238E-3E79-4242-86C2-80A1501004CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$8BE36456-ED5E-4801-89E2-E806977E6F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$B50876F6-AC38-46CE-AB09-5DDD42903D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e35b259e0411c8b06c2e811af390c8c34976ba","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$32DA6BEC-6A21-4D2C-8CC0-195D424E3F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$3DCA4AE1-F473-4527-85D2-6B24999A88D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035676$AEA8FC42-166D-4B32-867D-F078AC866F03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a91e52a43beaa1274a0d5b808ecce1e8a7005a0","datavalue":{"value":"10.1016/J.JLAP.2009.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035676$F055583F-EBDF-45FC-B030-2D5ECCC13A64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5032bb635eed503cb160acac5e60a62b4871e6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778bb550f7e19dc58b66040397b60d5810e73224","datavalue":{"value":{"amount":"+0.91648924","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":"Q1035676$041849A3-9CD1-4731-B16B-A554B9BBDF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835be840976d82e0e3e69203203f8f9f3386ef08","datavalue":{"value":{"entity-type":"item","numeric-id":2799620,"id":"Q2799620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3249231a56e47e107e58272cf1b9d8047d5a9413","datavalue":{"value":{"amount":"+0.9047821","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":"Q1035676$D96149F9-DC24-4084-885C-F5C23C16FB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0d18ca4bc6d73bda00df43dcef4646f3293fac","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b376eee2eefbe806f2035880a0ec452fb68f121c","datavalue":{"value":{"amount":"+0.8855749","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":"Q1035676$634A2A51-7DB8-48B3-8CB5-1603FFB65E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0ddbbadc20cfeab9d163adfe7df9e3880bb055","datavalue":{"value":{"entity-type":"item","numeric-id":5040746,"id":"Q5040746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af855e69fcc61c3d2d334cda4a735df3c0623485","datavalue":{"value":{"amount":"+0.8814904","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":"Q1035676$EC63FE36-35D1-41F6-8FB9-D2B713779B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eadd43e0d7e7a2f4ef6dd9f72eb3efbb978353f","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d362facdbe2945521506393a77449dc192626ad","datavalue":{"value":{"amount":"+0.87368023","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":"Q1035676$1E5EE6C6-8FE8-4AD0-8FEB-CF335C18F84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c7bd2dc2dc31f29989bd94d784e75dd94c366","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92af4814214f6dd336195b92329e717501f78e89","datavalue":{"value":{"amount":"+0.864922","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":"Q1035676$B308E815-7011-4EF7-8F91-3816A6E449BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4420a6df33abaa3c3c315a95c6758c2b12439420","datavalue":{"value":{"amount":"+0.86345124","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":"Q1035676$571B1ACC-1A2A-49E9-84B9-8BFE344FE2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d1acbb5cafffffd0902c3d5788f80a60bc7b91","datavalue":{"value":{"entity-type":"item","numeric-id":2851946,"id":"Q2851946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdebafc4b57117c166a75d4830f9f037b85075b","datavalue":{"value":{"amount":"+0.8627954","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":"Q1035676$A07741AD-5F4A-4A5B-9260-A8FAC54A2076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edee35e4af9d5022f54dcdf83639a2da0f37292c","datavalue":{"value":{"entity-type":"item","numeric-id":622083,"id":"Q622083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae2a29df9e5f34adcfb75af5e037462956929b2","datavalue":{"value":{"amount":"+0.8622625","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":"Q1035676$8F633C5F-ECDA-48C0-9D02-7CE95D99A22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766cb08647249dd296f2bd79cd339a53cf3040fd","datavalue":{"value":{"entity-type":"item","numeric-id":1309339,"id":"Q1309339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1103ef4e5368637383933821867caf21ca9b833f","datavalue":{"value":{"amount":"+0.86205","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":"Q1035676$96F327B2-F751-4B23-94A6-35304E609139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual systems of tableaux and sequents for PLTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dual_systems_of_tableaux_and_sequents_for_PLTL"}}}}}