{"entities":{"Q5850981":{"pageid":7880532,"ns":120,"title":"Item:Q5850981","lastrevid":97706570,"modified":"2026-06-05T15:16:01Z","type":"item","id":"Q5850981","labels":{"en":{"language":"en","value":"A purely syntactic and cut-free sequent calculus for the modal logic of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5660729"}},"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":"Q5850981$D02967EE-9679-4CD4-B6A9-AABAF0D572D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357da7b11710b32f531d34a6af086205b16140fa","datavalue":{"value":{"text":"A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5850981$584324BD-C313-4C3E-ADF3-0B2AFEFF280E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9de69fe80f64ee982ec93a96cef80a36e40751d","datavalue":{"value":"1189.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850981$DF46A86A-0349-4E4F-ABB7-E6BB339172F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d08ea0d890b35ee80bd611341254abda5cb93589","datavalue":{"value":"10.1017/S1755020309990244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850981$CCFDBE1C-3B21-4398-817D-607B67D27DC4","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":"Q5850981$E568D9B2-A09A-486C-B55F-999C771CFF2E","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":"Q5850981$2E12EAAB-A43B-470F-BBD5-0D14512E2F18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d41c38ed480d2e464933417b446e6f70f39ae41","datavalue":{"value":{"time":"+2010-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5850981$1D4DE8A8-3208-44B6-94BA-825744489906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850981$32269D77-31AB-48FA-8EB0-75800EB71E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850981$B3C05F3A-15ED-4F46-B9E8-4E0C0137D27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850981$4FE8B38B-99F4-4B3A-949B-CC3FC6F787E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fab0bb9041e4a1f4b95d1b6777fd63a08bfffe1e","datavalue":{"value":"5660729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850981$8046D070-1E07-4497-BC7F-9F454ECDF8F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb98e75a2aa2cf3d72b832ae69015151815415f","datavalue":{"value":"tree-hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850981$AF9BA44E-7234-42B3-8535-1A2FAFC8378B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894d4cffe0e448b0a58004593401ea9dc815d128","datavalue":{"value":"modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850981$2071C47F-7AFB-4845-B40F-98F9CAFC6668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71aaa9fac8e115deeeaaaac57f480b7bcae9061","datavalue":{"value":"GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850981$3EDB3446-2455-4690-B77B-7E5D8A224310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850981$9258DF5E-1525-4543-BB7E-828146CA97E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d412c8f09e557ce150206de14b4a769b31d0b5d2","datavalue":{"value":"contraction-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850981$46634DF8-B3FE-4284-AAA2-5A5A9475EF1E","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":"Q5850981$34F2C8A9-A98A-42A4-8650-80834CE97D06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850981$1F4BF040-5C3A-447E-A4F1-896631D63EB4","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":"Q5850981$31C6DC04-24C9-4A08-9D42-910D36953AB6","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":"Q5850981$F9C4CAEA-8EB6-456E-A4DA-C5ACE91872C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850981$C631083E-1765-4B3C-BA55-C59A129F6020","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":"Q5850981$D47C64D6-34ED-41AC-89F3-ED2AF671EE64","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":"Q5850981$6E7F24E5-6721-4E03-B05C-BCD5E15A2505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e4a49133237d53dd76bbe31995ef7fcc82aad6","datavalue":{"value":{"amount":"+0.8230707049369812","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":"Q5850981$3415632F-FE8F-4829-BE89-48940D4F247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd06ef7d6424ddb23372c2826acea3bb9077d95","datavalue":{"value":{"amount":"+0.8228680491447449","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":"Q5850981$3506898D-776D-42A4-81E9-0234650C5D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137ece3485bd94eb6384fe30979b166becb136e5","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d929e88227c2b7dc501508fe5a05bda4320305","datavalue":{"value":{"amount":"+0.8194348812103271","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":"Q5850981$9DC1B9A2-AC4B-464C-B971-B19CAB4669A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b20811d1a53707a170f8dce51b91981e3c62a6e","datavalue":{"value":{"amount":"+0.8182536363601685","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":"Q5850981$4D3C1121-4B14-4A33-B0AC-5DBD01E20060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d338653d858c73059e40f94309975e846f4a596","datavalue":{"value":{"amount":"+0.8175722360610962","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":"Q5850981$A590872E-22DB-4131-9FD6-88CDFBA6FE69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A purely syntactic and cut-free sequent calculus for the modal logic of provability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_purely_syntactic_and_cut-free_sequent_calculus_for_the_modal_logic_of_provability"}}}}}