{"entities":{"Q4511541":{"pageid":6541134,"ns":120,"title":"Item:Q4511541","lastrevid":47522638,"modified":"2026-01-01T23:35:27Z","type":"item","id":"Q4511541","labels":{"en":{"language":"en","value":"A cut-free Gentzen formulation of the modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523406"}},"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":"Q4511541$48B7B9A3-19F8-4878-9A0D-8DBD44F18DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbc23284a1b4a583f87d99c60c4d3173e4ee88d8","datavalue":{"value":{"text":"A cut-free Gentzen formulation of the modal logic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511541$D33E54E8-A96D-4C28-AB66-02B7A0895889","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5010cfd43cf9c8b751951c8813547de2b97a040c","datavalue":{"value":"0965.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511541$0E57EC07-11C9-4109-A4B2-AD22E225A9EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511541$CC1C1A95-A7F8-4D8C-93E4-E924968F61BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ee4853016f302299c33887f7431c9879f60f44f","datavalue":{"value":{"time":"+2001-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511541$874BA8BF-E58C-43DA-805B-DB5481F33838","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511541$5D5BF908-5DAB-48E8-867B-4E2E29403FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511541$489BC6C4-DA06-4067-A112-DAAD40AF8CE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10a977e5c24c1f1519624a6a77d28153d6849106","datavalue":{"value":"1523406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511541$CF834962-5086-418B-BAD0-9F7AE2142C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511541$6CD888DC-F834-4331-B444-A24A0D4DAF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511541$1F2AC0D8-14B1-430A-AF59-73343AE4F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511541$AD9FEEED-D140-49E8-B2EA-6621EEE58202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511541$C5CBF54D-1CD0-4235-A9CF-66B46B20EF3A","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":"Q4511541$7ECC73D6-1EA6-4984-99A7-CEB03FD1ACE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75290373e54c832d0d3e0638ffdfbb1b5263e947","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.5.629","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511541$E7853248-96CE-4221-AB96-25092098D62C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd800a808de863406628e7081b7615876b445d4f","datavalue":{"value":"W2023863745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511541$D9BD0ACA-2F12-4919-BBFE-339AAD49AE9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ded2e40dfa1d5f2a57a5c1de9fadf59905c94b4c","datavalue":{"value":"10.1093/JIGPAL/8.5.629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511541$8AB60235-11EC-42B4-B376-281111F688E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511541$03A60DC8-4712-4978-BD5A-5384551C7444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6d33d9deca46906e5d4c43b2e5e49039ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":3338219,"id":"Q3338219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a46ac762db024823580b633323b6d536ab89a14","datavalue":{"value":{"amount":"+0.816661536693573","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":"Q4511541$E186D023-788E-4BA4-A88E-776A722CF6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d508eafffbd5c4590bff3fe368bad0a7142a2e2","datavalue":{"value":{"amount":"+0.811616063117981","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":"Q4511541$5BA2E549-696B-4A16-9494-118A3D8E3930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f77b1809910514e76277fc89616ad724fd287c","datavalue":{"value":{"amount":"+0.7875893115997314","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":"Q4511541$35E442DE-A8CA-4E41-84B6-DD749756F7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154147a13c9d60a29b39367a8cdaf3b6f48c670c","datavalue":{"value":{"entity-type":"item","numeric-id":2810012,"id":"Q2810012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4d9d462fd02fc35581eb0a4017c792f0bdbbb5","datavalue":{"value":{"amount":"+0.7811326384544373","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":"Q4511541$0CAC69C4-D62F-4018-B517-F7DF5EB4FADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4bc61a62b50b963eeeeb6be3728a9501ed922a","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1de7343ae9b2df5326250d13dd28bd6517af77","datavalue":{"value":{"amount":"+0.7790258526802063","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":"Q4511541$2657B653-BFED-4B3E-AAE5-14745512D90D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511541"}}}}}