{"entities":{"Q5187258":{"pageid":7216830,"ns":120,"title":"Item:Q5187258","lastrevid":48796201,"modified":"2026-01-05T21:24:26Z","type":"item","id":"Q5187258","labels":{"en":{"language":"en","value":"Sequent-systems for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895037"}},"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":"Q5187258$24C84017-B419-4E78-9651-1F5E89FED0B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc99462422f6f31c2a0ee8769b9c622dfb30dd00","datavalue":{"value":{"text":"Sequent-systems for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187258$C6891215-9D8E-4CDD-B0C7-8BEEBC9082FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91de0f08ae94011376d1fb734e3ed162eaf32b3c","datavalue":{"value":"0562.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$9FF15357-7ECD-4DC1-9641-218E00A493FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55bb067a5fd50fe5182744d98a7743c849ab3b3c","datavalue":{"value":"10.2307/2273797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$9899EBEB-96D5-4D70-A555-F7EA674C6493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187258$BC0F823A-F890-45A3-95B1-9E4AAD611C44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187258$35A81A6E-C192-4E68-94DA-604CC07A38A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187258$B7BDA740-5A94-4E60-AB38-33D358642E1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$BB4B8373-F3CF-494D-B0AA-BB615004AF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$3DA77A8B-CB3D-4334-A0AF-D7595A28FFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$759B1611-D922-4D46-89D2-588633ED56B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76843cda8e47e9cc2157e87f2894fa68a8630490","datavalue":{"value":"3895037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$5279C208-FEA4-4486-8289-503D85CEFD27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c806445eb8bb0ec8cd39ee168ec3482eb3084818","datavalue":{"value":"Gentzen-style formulations of S5 and S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187258$62226AA5-B2DE-4B22-8924-1C415E23BAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78eb1349e4ab1b935e9cd3bd63ad39e971a583d1","datavalue":{"value":"sequents of higher levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187258$EF13F974-DE16-40D9-82AD-0CED12A7CF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f392ed35c5dade10cc22bb075afc9d03d77cbafa","datavalue":{"value":"logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187258$82F82442-928C-4765-A4B0-78730286806B","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":"Q5187258$82EEDCFA-6B66-45AC-96E6-45C0EE53C80B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f4829bd047e4efbbf950823c969242ac256d41b","datavalue":{"value":"https://doi.org/10.2307/2273797","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187258$1C6364B7-7CFC-4BFC-B8A7-9A1741DF6A90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6bfaf29abaacd1daad88d30eff238d010c37747","datavalue":{"value":"W2118895762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187258$E35CFB66-4D00-4787-9E78-D239E0024A67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187258$886D040D-465E-420F-A5F0-16A243CB0D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187258$C399C72E-C0DE-4852-A596-15C1D3631128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187258$08338429-4194-470B-B058-B9399FBE4D2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9c59e0563bb29f6db341d78e7e02c6f7e877c0","datavalue":{"value":{"entity-type":"item","numeric-id":3712315,"id":"Q3712315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd0c558334f881daeb608e90e1b46c98194b4ce","datavalue":{"value":{"amount":"+0.8413432836532593","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":"Q5187258$F3F65648-40CB-44D5-B482-6045586370D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf8e0b096686ee4ff6f6a8faf280bdf178bfef8","datavalue":{"value":{"entity-type":"item","numeric-id":2851947,"id":"Q2851947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d82102e86965859d19b0f79610ae3c6c503f8c8","datavalue":{"value":{"amount":"+0.7936183214187622","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":"Q5187258$876554BE-C12C-4E38-87E2-1B8D65B76884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ee48b0507b90681e2965a5a2444e45192d6543","datavalue":{"value":{"amount":"+0.7912914752960205","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":"Q5187258$52A271B6-5EA5-45C0-86BD-687B16DC7571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b5357675f6f899cd49cfa3a134f75911dcc66","datavalue":{"value":{"entity-type":"item","numeric-id":4879198,"id":"Q4879198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59da22463410443bb6a554da33aed52fac90e64","datavalue":{"value":{"amount":"+0.7882601022720337","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":"Q5187258$12846C8C-9379-45FC-B9EF-6DEFF5615764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3b0d1edc49d26705aeb256847102f07e16f27f","datavalue":{"value":{"amount":"+0.7882596254348755","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":"Q5187258$297888EB-7FFC-4CA4-B282-D1EA1D5750A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187258"}}}}}