{"entities":{"Q2695534":{"pageid":2706278,"ns":120,"title":"Item:Q2695534","lastrevid":79289495,"modified":"2026-05-06T13:34:46Z","type":"item","id":"Q2695534","labels":{"en":{"language":"en","value":"A henkin-style completeness proof for the modal logic S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671034"}},"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":"Q2695534$B772C859-7575-4C0B-9B7A-873EEE487F28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"352f5ea659e3b4d5ef1a206f2c36bd20e23252a4","datavalue":{"value":{"text":"A henkin-style completeness proof for the modal logic S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695534$66F2FFED-A5DD-4CE1-8024-6404395F2135","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc9cb011a8d1b9d10f65af9e5acf9e8126d7c2b","datavalue":{"value":"10.1007/978-3-030-89391-0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695534$272B8233-09A4-4262-9767-EC15E3BAC496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e1ef40bef9bb0611f6243ffc364a5e627a8bf9","datavalue":{"value":{"entity-type":"item","numeric-id":2295735,"id":"Q2295735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$DD70CCEA-4DB0-4EF9-BDD9-45FFBCEED4E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ef9f4f305b7318a6b75fa16ddb737b2de6b534","datavalue":{"value":{"time":"+2023-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695534$85B95865-0F00-4E08-A7CD-6033E24A793C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbe885486b9e78a79f29e55f71640c5999996fbb","datavalue":{"value":"https://arxiv.org/abs/1910.01697","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695534$646FF4CD-0116-42ED-A225-4DB82C6A8F7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695534$B359E44F-1439-4EE7-97E4-9A8B25E7F648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695534$78F61AA5-2667-4371-ABBE-04B5CA6DB663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cbc83d20ee2ca9755feea77481f18fea9570309","datavalue":{"value":"7671034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695534$7053C8F5-A918-443B-8FC3-106A61BDF007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695534$A1AB284B-51F7-45DC-9F1A-18CFC78B6455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695534$1B3F2B8A-2779-4B96-9C5F-926F82083F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695534$B6F022F9-BB28-4F15-BD30-ACC0153E48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32326ff555e1f2f0643729f0e831a80f656fabb0","datavalue":{"value":"lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695534$7B65E089-07F2-4316-A1A9-DE73964138FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$F4994118-C911-4EF2-AA7D-C8BF6B159AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$E6C810E9-1EEF-495E-86A4-4E27474ED113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$29290750-B747-41B9-AD11-E8FCA63D46EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$53A4FB9B-2B60-4C3E-95F7-DBB812770510","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":"Q2695534$EBF9F722-8B8C-4A4A-AE7A-FA2D1A769633","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f73f2f618cd22e207ef5604d2422c159b8b4405e","datavalue":{"value":"W3208200734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695534$5BFB0CB6-0BF8-4F3B-8EFC-168930E3EE42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ca3169b9facb7516f26162b8b9f1adfa3076fd","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$2D30671E-FAFA-4472-8713-DCA8C3505C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$69E8DFD3-C120-4589-B1C7-2B6E04A2735A","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":"Q2695534$257C9FAE-6A67-4B51-8ABB-F7CDDF5E6AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068a52ca49a57fbf130380c4abb6bc570a25aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":2879254,"id":"Q2879254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$EB5177C9-21DD-464D-8FF0-2C9FFEE2BEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509550bb15dc4a24dd6e031ebb52f20544819d09","datavalue":{"value":{"entity-type":"item","numeric-id":3638285,"id":"Q3638285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$2BA92A34-6C6D-4C74-9EEC-466CE1FED8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$E499F085-9751-4C59-9715-2B5BD98C44A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913035e52c858da48a0725971a9cc07bca973b64","datavalue":{"value":{"entity-type":"item","numeric-id":3101107,"id":"Q3101107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$52A21808-9D7F-40EF-A571-A50DD19A0C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$C25DE3D9-5749-4BBC-AB28-C4EAEF4B49B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$1B823FCA-EA02-4798-8E42-DF557480DAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1643fcf2d89699448315101028c4fe10eaca99","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$A2B38455-B4AE-4200-9EAC-86573697BB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33016e4094fda3cd5b32720a3e7b9851a82572b6","datavalue":{"value":{"entity-type":"item","numeric-id":5875443,"id":"Q5875443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695534$5957284D-A794-4581-A628-18994E438641","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e0345e81dfc6c6c69b4ddcf7cb9e67f787141","datavalue":{"value":{"entity-type":"item","numeric-id":6119646,"id":"Q6119646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a300a881fa6d7a19843396ceb5e1b40b272a36","datavalue":{"value":{"amount":"+0.7997556924819946","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":"Q2695534$B48F6DED-96AC-4FBF-8763-BC2C1DE95215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a0a19674d33bd16963fef0e94e84dc0462250e","datavalue":{"value":{"amount":"+0.7507195472717285","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":"Q2695534$C6A5F350-87B8-4226-9E86-0074F0FFFD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9785f9a231d01138f2ed876cca6ae3a3c7bb50","datavalue":{"value":{"entity-type":"item","numeric-id":4916063,"id":"Q4916063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccff93141b097dddb2c1b814bffe87c39110fc7a","datavalue":{"value":{"amount":"+0.7460178732872009","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":"Q2695534$F13E7F3E-61CB-40B5-A3F2-6613B9127500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc1f8856c39bd81b16f98bc3ad17e5c6196b3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4731168,"id":"Q4731168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180fa56d2365e3330a90e97db74dfaf2be095cbf","datavalue":{"value":{"amount":"+0.7406226992607117","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":"Q2695534$145D307B-1782-4887-A59D-8F70CB298ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a3e22ae57c677a491f48d9a06edaa40b07d41e","datavalue":{"value":{"entity-type":"item","numeric-id":3101107,"id":"Q3101107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2aa21be29ba0a13bb061151960a6bfe12104c0c","datavalue":{"value":{"amount":"+0.7351219654083252","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":"Q2695534$5E73140E-C9E0-440F-9984-60CD2E324903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A henkin-style completeness proof for the modal logic S5","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_henkin-style_completeness_proof_for_the_modal_logic_S5"}}}}}