{"entities":{"Q6934038":{"pageid":21107788,"ns":120,"title":"Item:Q6934038","lastrevid":84115232,"modified":"2026-05-10T10:52:12Z","type":"item","id":"Q6934038","labels":{"en":{"language":"en","value":"Syntactic cut-elimination for provability logic GL via nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089521"}},"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":"Q6934038$A91B2035-B78F-4588-A465-508B4CE3A25B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac2553e4e78a914535880b090cbcd20a52261d8a","datavalue":{"value":{"text":"Syntactic cut-elimination for provability logic GL via nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934038$62652B48-9CC4-423C-8C8C-712F4096D8CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24dd46e8b9d7e94294ef24c46cbf47984620dca3","datavalue":{"value":"1573.03431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934038$5DEE6C85-2AAB-4873-B96A-0B25675DA5F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5d5cd2f67fb93f6fa5a57c434d8eeaf71f93734","datavalue":{"value":"10.4204/EPTCS.415.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934038$01574F31-E973-4BAD-9D45-FF32761C815C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3bd207891b00945b71738953d4ea056e8ecded","datavalue":{"value":{"entity-type":"item","numeric-id":6934037,"id":"Q6934037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$C2D14DFA-784F-4671-ACF2-2A277D6E7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$A2D73152-F0CC-4493-8D72-5AAF501CD302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934038$6735C85C-BF53-4DF2-B4B8-1032D06353C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934038$3B1C786B-737A-4E33-9A3D-995658850D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934038$EA6749FB-F78E-42B2-B6D9-1F7C2CD80E8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05692f7582ada9e18f6ed1447c76bd3e6c87f7ce","datavalue":{"value":"8089521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934038$A20B3661-8265-40F8-ABCA-068C72BA56EF","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":"Q6934038$7BDBC93A-B48E-4FEE-AC94-2BEBB4B0DBC2","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":"Q6934038$9A45D3BA-3284-4D3D-82CC-9B325D376B59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$0053621B-E08A-4745-8EC5-3E3D0886EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcfc8403876b09cb2cc770b8d6fb399a97b6112d","datavalue":{"value":{"entity-type":"item","numeric-id":798649,"id":"Q798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$AB735F19-2EC6-4282-AF90-320199D71486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$84E3B206-E10A-46E0-A3FB-D1577DE92E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1deaf640b23ae3a53894ab56d6e520103b44dba4","datavalue":{"value":{"entity-type":"item","numeric-id":2811354,"id":"Q2811354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$E0BE4446-B141-4490-81BF-082B7295ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4829fd07b9b49631e42171c8fc19ce2487bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$BBB52F86-8FA9-4BE3-B1E4-F8EC423CF8FF","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":"Q6934038$59A0B635-5CA3-4E30-9E87-B92C18B2F49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d05a20bc0300fa8a2a3b16de0fb370c82fdaa04","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$1C3F7756-E827-437C-B513-182E934388F2","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":"Q6934038$8EAC2142-F55D-4644-A657-701F455529E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc754cd1fb81e2287ce7d11704ce57a42150183","datavalue":{"value":{"entity-type":"item","numeric-id":5714439,"id":"Q5714439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$32EAAA95-2A39-4D41-89DA-990A0926E0B5","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":"Q6934038$2A9903F6-E7EF-4F4B-BE79-1CC5692C8884","rank":"normal"},{"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":"Q6934038$6F4A011A-7EE2-49DC-B04F-6F052A282052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947643150d637319b5eba17184efd7e207af1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$9C68ADD8-19B6-463F-8C23-C5EF983E744A","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":"Q6934038$8DBE943C-1057-45B2-89E7-169A6D5324AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934038$91A723A4-1F76-412F-84EE-F36AAC208C82","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":"Q6934038$F403BB8B-EE50-4527-B3C5-E1BB56ACD6BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic cut-elimination for provability logic GL via nested sequents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_cut-elimination_for_provability_logic_GL_via_nested_sequents"}}}}}