{"entities":{"Q1743993":{"pageid":1754735,"ns":120,"title":"Item:Q1743993","lastrevid":43303200,"modified":"2025-07-24T12:49:11Z","type":"item","id":"Q1743993","labels":{"en":{"language":"en","value":"Arithmetical completeness theorem for modal logic \\(\\mathsf{K}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6860339"}},"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":"Q1743993$947BD25F-2E36-4508-95C1-11C7BCB3A1AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db941eed4abb6ff2e545013864f96d259e0994da","datavalue":{"value":{"text":"Arithmetical completeness theorem for modal logic \\(\\mathsf{K}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1743993$7DE8EB7A-FBF8-4BB6-9477-D5D86942E32F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2154eb1a3d9b5dffedbb3f222eee04a2c5748b36","datavalue":{"value":"1437.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$742F29FA-131B-4E68-B91D-C0B477AB91B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$5022FDB0-235A-41C4-AFA7-98B5C2C21BD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$7A0ADC50-8574-446F-80BB-877D01C491B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cebd514f10184b17197e759da0a7f95e6df8d514","datavalue":{"value":{"time":"+2018-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1743993$1BCA212C-33B8-4ACD-9759-C0364298E9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$D147F8ED-D85A-49E7-BC0B-36985321B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$BFA1CB62-CCEB-4961-A0AE-36A063E8F931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$EC236DEB-8AEB-48AE-807D-045C6D383419","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a416be775b0b07b5d7a7adf56d97458e433f7b5","datavalue":{"value":"6860339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$750AC721-0BFA-4D2F-B1E9-7C580FEF62EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743993$8ED92A54-37D5-4258-BC44-D352F95C64A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cbb63aa75281c989a466157d16ab703e2df781","datavalue":{"value":"arithmetical completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743993$5D03B005-F1E7-42AD-A883-2E1494C724BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7860dc4649ece5edbaf3ab0241f5ac5af590f6b","datavalue":{"value":"formalized arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743993$335AFA51-D3D0-44FD-8E4A-49DF12E3CC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e035126cfd336067430ccbca6dda466b546571e3","datavalue":{"value":"numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743993$113935E0-9351-4244-AAF5-9B6F72B5129E","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":"Q1743993$69735DAE-D063-4B99-8FFA-7C69E6BB37F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28ec370ecb0cccba117f018dd2f4ab167ebf1fc2","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9735-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1743993$FA7B56B3-AA2B-4B47-951F-DC068D0A8FBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f393a00fd0d701481ab0f81b6d0e2607f987bfb","datavalue":{"value":"W2623438580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$58308BFC-BDE9-4010-943B-56A17C450064","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3487d0d96ddcf9b0b0155ffd0c64dc38df4c67fd","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$5E89EAD8-B6E3-4EB4-B80F-B89FA68487D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$84C40986-DF4E-42A3-87C7-FBFC6FA7A1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$44591FCB-1EB0-43DD-B8AC-0F5E5E2A7B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a2d87da3370fa31078505aec633c2823335abf","datavalue":{"value":{"entity-type":"item","numeric-id":5822066,"id":"Q5822066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$6F3A3142-71AA-4434-9C85-BA93C6DE751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434f42b50ea38e3dcede0438ebb25a19cc609d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1254312,"id":"Q1254312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$70FD0846-CC2D-4FA9-B2DE-9F42AA0220DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1668273eb33266e97223b2479b5afb80945b345","datavalue":{"value":{"entity-type":"item","numeric-id":1344434,"id":"Q1344434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$10574187-9367-422F-97FE-7C3AEE811360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$F588A497-41CD-4122-ADE6-EB763287DBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bf5fb6d0b1e7c672741e0cf2ec67ce93d26700","datavalue":{"value":{"entity-type":"item","numeric-id":798313,"id":"Q798313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$D1A0E4A1-5F4A-4DB2-8F28-8FC8BB585F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743993$55790FAA-B474-4E5C-BEBC-FFE3B8D9005D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01eff973767b4e7ce47bccfd70dbbf6c31e51fe0","datavalue":{"value":"10.1007/S11225-017-9735-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743993$7B862537-20AA-441F-927F-B302B78F1168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92ed98e320213fc4a5f68363515c07f29e1d51c","datavalue":{"value":{"entity-type":"item","numeric-id":3752370,"id":"Q3752370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5234a66f93371514d3003a886421f2d634cc1b8f","datavalue":{"value":{"amount":"+0.94258714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$CCB86485-4BBE-41FB-B1B3-5D9C470A0EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bc0d95498d86425fd2a7cde3b76b1a03afa121","datavalue":{"value":{"entity-type":"item","numeric-id":6040616,"id":"Q6040616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797e510e735896304b98ce441049462364fc08df","datavalue":{"value":{"amount":"+0.9371519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$DDCA0DA2-F252-4FD0-84B4-B816C893FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa6b8d082ecf5aa062f7d81ebd649d6691ff5dd","datavalue":{"value":{"amount":"+0.9324607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$9AFD5B74-5DFF-4D22-82B8-98375F9BB306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241bd54c44639e03cf527fd79c55087ee7953138","datavalue":{"value":{"entity-type":"item","numeric-id":2277453,"id":"Q2277453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362f9b55f340ef17abec35736a2eb776f523a62b","datavalue":{"value":{"amount":"+0.9288436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$EEA82405-9129-4C66-AC76-A064319B502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b17fb26c75f7d8ee828104772240265bc7ef8c8","datavalue":{"value":{"entity-type":"item","numeric-id":1319362,"id":"Q1319362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff904dc8e8bb45e06f8e72da0d24d93bb99376d","datavalue":{"value":{"amount":"+0.9262333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$A6510C4A-51A5-4A5C-8DAC-40F41F010F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cc15911e2e7efa373b4f4d438a47a37ad10a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3201044,"id":"Q3201044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4847dbbacd0dac21e053ff6084e7bbc099bba767","datavalue":{"value":{"amount":"+0.92618227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$A3EBDF6C-D47A-4569-A23E-40CB80732A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f394e6f78fb5c681601ef1b43be40793e068005","datavalue":{"value":{"entity-type":"item","numeric-id":6043018,"id":"Q6043018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845d5cf9ade0821435579a97cd6b2ff69c6a08fe","datavalue":{"value":{"amount":"+0.9250244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$CA247D6F-4A68-468C-8A36-B6B27BA33B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fae6ad76afa594bbd82f3ce9ddd1525c4ea2ab","datavalue":{"value":{"entity-type":"item","numeric-id":4444913,"id":"Q4444913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd5665be9ace9fc3b93c240cdab5aefaf86416f","datavalue":{"value":{"amount":"+0.91957474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$376BEED1-4BBE-44DD-8CF3-21FD5341F1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044291259c567a861f70b4edb59a603305874c53","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a49ec1a7d65015928642ca1fdf16ad37f14d281","datavalue":{"value":{"amount":"+0.9116552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$D3CF5A2F-B496-48E2-91AC-06935B459ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6970299938491a81d6aeac3880ef6a1f28f685bc","datavalue":{"value":{"entity-type":"item","numeric-id":922522,"id":"Q922522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da50385dc5cd6c295ba12238012e33bb56adfcc5","datavalue":{"value":{"amount":"+0.9107445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1743993$32673ED9-547E-4458-8A0F-2092C8E43125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1743993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1743993"}}}}}