{"entities":{"Q3887437":{"pageid":5917342,"ns":120,"title":"Item:Q3887437","lastrevid":88973456,"modified":"2026-06-04T16:00:14Z","type":"item","id":"Q3887437","labels":{"en":{"language":"en","value":"A cut-free Gentzen-type system for the modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3693245"}},"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":"Q3887437$0705D027-B299-49BF-82BA-C94F0A76630B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ee1e902ccc43d9971874222e37b29e68868e2ce","datavalue":{"value":{"text":"A cut-free Gentzen-type system for the modal logic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3887437$26028FE0-C33A-41F8-822E-020F34AC9D02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2955e59eec2beb1077b966bfc8a1bdb53a012390","datavalue":{"value":"0444.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887437$79CC4114-AD4B-48E5-A976-643AAD9A0D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d33f42d285d7f90efa8b7c74a69ed4cf0a0addd","datavalue":{"value":"10.2307/2273355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887437$5863213E-1777-4CA7-9D8E-407A62F772D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887437$E2F7074E-DFE1-4CFE-BD7D-B64FA0751AFF","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":"Q3887437$D174BE4A-F575-4871-A6E6-CA91DFE98FAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3887437$706CEB0B-9EF3-4F55-97C4-61FB0039E80E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887437$EB0C6A30-0E8C-46D0-8A58-E00D5091B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887437$A91D701C-8248-47AE-9B76-53F3547DE37E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"964211e48e0030f1ec0ffd40fb2f813005f68639","datavalue":{"value":"3693245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887437$C336B427-FB31-4528-879E-92A96D198F20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e4e4c5575f8a32a878fb6a5445c7528aa4e8ae","datavalue":{"value":"cut-free Gentzen-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887437$C803EE51-BB8A-4C0B-8B98-08BB036F3AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887437$4B599141-AA5B-45CC-A18B-ABAB2746A4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887437$89D8C366-09CA-4F05-AE67-0919AB115507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887437$0B7A2257-8E60-4E65-9C9C-DB77331CF2F3","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":"Q3887437$0208937B-281A-4B5C-8380-4BAB4639832C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c19ad79f2cabc3242e258ff8d16cf3f431fef85","datavalue":{"value":"https://doi.org/10.2307/2273355","type":"string"},"datatype":"url"},"type":"statement","id":"Q3887437$D1700919-E761-46AC-B097-946D41CBE9DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d8f346bd844f35b9aaff514f0797310a78d459c","datavalue":{"value":"W2112784644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887437$3339A7B4-55A3-4AF9-859A-2A2AF70FDD98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887437$6E320423-8E58-468F-B672-AB9DDA691BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887437$BDDD05A7-6C29-4E71-8D1C-27655BFF96B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cut-free Gentzen-type system for the modal logic S5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cut-free_Gentzen-type_system_for_the_modal_logic_S5"}}}}}