{"entities":{"Q3608433":{"pageid":5638339,"ns":120,"title":"Item:Q3608433","lastrevid":49671064,"modified":"2026-01-08T22:08:25Z","type":"item","id":"Q3608433","labels":{"en":{"language":"en","value":"A Cut-Free and Invariant-Free Sequent Calculus for PLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523413"}},"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":"Q3608433$ED322848-53CD-46A4-AFB7-E7969D258872","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fed4fbe8ee1f8f51d7f6da0c911f908c4bfce31","datavalue":{"value":{"text":"A Cut-Free and Invariant-Free Sequent Calculus for PLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608433$0E4C6249-B1B6-4FFB-A4BC-CDCFB2764F74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"487151db40334d1432bc1a580fe98a02bc34aeb5","datavalue":{"value":"1179.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608433$533B85F8-5042-4A85-93E0-161CA6153418","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f1f14cc07f30082e6491a0a91707d83ad8c21fc","datavalue":{"value":"10.1007/978-3-540-74915-8_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608433$EEF792AB-7166-4D99-90E6-60CB2B932D8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c0adee58be7bdaa6365f0b2894b897a6b15b509","datavalue":{"value":{"entity-type":"item","numeric-id":3608432,"id":"Q3608432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608433$553F5FB4-7454-4AA8-BA11-C08FCA79712C","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":"Q3608433$F9786A09-FF23-442A-B9A2-BD4922FB1E55","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":"Q3608433$22692336-EA10-45D2-BAAA-3640A1FD20EC","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":"Q3608433$3DACDB80-4F21-4CEB-A7DC-62CF51349546","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":"Q3608433$06BBB5C0-F968-4E0B-948A-2EA2355861C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608433$9E6F85E8-8B62-493B-B7AA-6CDE59900B3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608433$BE16CDE6-6121-45B2-B1B7-8066AB623B2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608433$C35358CE-6F58-4C1E-99F2-72714A57147E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608433$4F6F384B-69D5-4F1F-A9D9-9545D6F29282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"491550dd0033b436f59f8f71ed77dbc97317d5b3","datavalue":{"value":"5523413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608433$6A208DCD-D7B4-40D7-8F9C-337A3BD6E4E9","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":"Q3608433$DE703E32-9A96-4442-B80C-AE7F18A15891","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":"Q3608433$D4F5775E-364A-443C-8464-BDA6CF448234","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eda15b11f05d2032e27ff21d4aeadb145518a90a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608433$B7A63C11-F3FD-42F7-94A6-DBF86985C094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a09963f578a9f29e85392207680ba46a0a41238","datavalue":{"value":"W1871326816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608433$232B2068-5CB4-48AC-9680-223B760B295F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4015da87dfac8abdd8c4cbd3c6ffc4e2945f61d0","datavalue":{"value":{"entity-type":"item","numeric-id":2791889,"id":"Q2791889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5774616cf3c6c5036f6481143d46990be2373b9b","datavalue":{"value":{"amount":"+0.969983","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":"Q3608433$98F8A0B8-A7DE-4AF7-BEDD-576274F1EA4A","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":"9cee9cecb9558ab82eb246f9eca6b6279db92cf4","datavalue":{"value":{"amount":"+0.9286154","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":"Q3608433$913BE992-753F-4563-B9B7-48DA4823E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6261dd8c5dc3449fa84a00d5dc9e23ccad4807","datavalue":{"value":{"amount":"+0.8980598","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":"Q3608433$FF1F5DE5-6F15-4C35-85A5-47894F3D70CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fba971aa5d43c0f2b26161860c49fbfc3f9ce2","datavalue":{"value":{"amount":"+0.8906336","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":"Q3608433$44658D70-39D2-4156-A2AB-38526ED30491","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":"6b277948515cf96e832e782830befd6101320aed","datavalue":{"value":{"amount":"+0.8898293","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":"Q3608433$EBE8EC95-CF9E-4849-B191-44B9710A697C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b41289952636ff8ed05d9de7488dea51069b93","datavalue":{"value":{"amount":"+0.88191354","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":"Q3608433$7EC8CDE4-D64F-4EAE-81AE-265D022B743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacb1efe57da7e4f0053849537554b81b452c4ab","datavalue":{"value":{"entity-type":"item","numeric-id":3079922,"id":"Q3079922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3029218a4d586ae96432df7d29030ca8612392f4","datavalue":{"value":{"amount":"+0.88135225","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":"Q3608433$8EE47806-A2AC-47D8-A96E-10B2F02F631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c0d009c07d0cd15580458163aa2eb34621ec55","datavalue":{"value":{"entity-type":"item","numeric-id":4934883,"id":"Q4934883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3126320af3b2d7b81ca6f95297956be90fbcdebe","datavalue":{"value":{"amount":"+0.8812288","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":"Q3608433$E6A52138-5577-4918-A7C2-8F3A366BE6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc025492c3f688012f1576558ed7c64211309902","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e002f80ccde3695da3c79b5620fde4443d88d9","datavalue":{"value":{"amount":"+0.8790797","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":"Q3608433$30F62866-302F-46D2-BEAA-836E99DE0D56","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":"ba24618d64beedb10b42c603a287ae606720fd66","datavalue":{"value":{"amount":"+0.8759914","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":"Q3608433$D94AF966-FC5D-485C-908C-FE82D18CA666","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608433"}}}}}