{"entities":{"Q2142089":{"pageid":2152832,"ns":120,"title":"Item:Q2142089","lastrevid":43592632,"modified":"2025-10-28T01:34:56Z","type":"item","id":"Q2142089","labels":{"en":{"language":"en","value":"Cyclic hypersequent calculi for some modal logics with the master modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532526"}},"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":"Q2142089$0512C4E3-698D-43F0-BC48-1163F3C000F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6140d50d2afd29632e017e71757523257f1924b9","datavalue":{"value":{"text":"Cyclic hypersequent calculi for some modal logics with the master modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142089$711744AC-0891-462D-9A18-DB1EBEFBC0C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f211800c981392fab817ea20a6c07e1746fff0b","datavalue":{"value":"10.1007/978-3-030-86059-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142089$B20887BD-9332-4D7F-A798-EA154CB6AECE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fea7eebfcf1d24fa8b58fd2bf7032e829fd5073","datavalue":{"value":{"entity-type":"item","numeric-id":2142088,"id":"Q2142088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$C8A370F5-9111-477C-AFB8-D5E39655F8FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142089$8C2D0947-292B-420A-A28F-ECBE84499759","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142089$25527E5A-7CCE-4EF7-8A5F-6373F98A5981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5185f65e47886e76490afe7d9de732d0564a6b37","datavalue":{"value":"7532526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142089$4A161E37-4F92-44A8-A1C3-8B5B8150D70D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142089$1A1901C2-1DA0-4414-A28B-F330D6418DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142089$84F3CB4D-A0FC-4BDF-9214-58D7A3BA23D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf8d18ef6eb73c1331fa588fc62b9f4d4a83520","datavalue":{"value":"master modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142089$CDD3AC06-8F99-4EF8-9DED-F03C39F623DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24d14bd0e7f89a2e34311c00f42033983e8d95","datavalue":{"value":"non-well-founded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142089$43AB5E1E-32B4-4A64-9DFD-C18BC2A6D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142089$4E20BEFE-EF93-4DDD-ABA1-C7772F9D07E3","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":"Q2142089$C6A99FAF-91E4-4ACD-8140-A1B70BAE8BB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c946555b45fc067544bbf6eba8cf3bfbb6e232","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86059-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142089$54D42F26-9E8F-4777-A7DF-4648513E2BB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"650a0e52f5b7dbc7d9d39cdb0e98836f8ca79a94","datavalue":{"value":"W3197136608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142089$DE2E8BA4-F05B-45F0-95AF-05643966E3B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$2743A7AF-C4A8-46E1-9DA2-060DF7FFB376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$90C9D777-DCC3-4E59-8F22-9E00F2C55E3E","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":"Q2142089$3D4EFB94-F814-4B6E-9206-E1397EE0C4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1711a731b85d2f5076f846979dde55051a928613","datavalue":{"value":{"entity-type":"item","numeric-id":2180527,"id":"Q2180527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$0CCA2592-6F0C-4977-B1C1-504995B0BE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a83e9d4b2466541daabb18a182df31c046f1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4916063,"id":"Q4916063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$4F7E9A69-92C9-44A8-BF66-D47D987D7B5A","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":"Q2142089$4D32DFD5-7083-483D-BE8B-476D23BEA068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$68B4B0A3-3829-4B3D-A880-F618867C1692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142089$1C8B3321-51CB-4B6B-A734-9E84C5DDAB6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142089","badges":[]}}}}}