{"entities":{"Q1056745":{"pageid":1058593,"ns":120,"title":"Item:Q1056745","lastrevid":42842497,"modified":"2025-07-15T07:47:27Z","type":"item","id":"Q1056745","labels":{"en":{"language":"en","value":"The modal logic of provability. The sequential approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827828"}},"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":"Q1056745$7CB6BAF9-5AF3-436C-BD82-9D5B4A92B264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a50c7cfc9caafd4f410d1efa3325f7fb6c99cd1","datavalue":{"value":{"text":"The modal logic of provability. The sequential approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1056745$EBCD520B-9469-4625-98F7-77D8505B542D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b8daa8ceaada9c12cba14771f20c684c281e7fe","datavalue":{"value":"0523.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056745$35DEF871-DFDB-4709-9368-E2C51623039C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5974cb0ea0409d9aa7cebdcc248b248fc002db80","datavalue":{"value":"10.1007/BF00293433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056745$CC46AE1F-0283-43C8-8043-49EA389BBDAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$8A32AA22-FFA6-4FC5-8BAB-DFFBD61279DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$8F69C871-483B-4CBA-9BDB-E0CADBEEA8A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$6D6E28D1-B158-4CAF-A373-A80CC655B1D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1056745$22E506F0-94DE-4188-AC6E-8393D23F781B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056745$EB30F5A3-12B3-4418-9B57-34086313076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056745$B214A27E-6517-4F6C-98F3-BCE43035B581","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ef14e7ebe46a726aad0cb3b912d4a5e9dbe557b","datavalue":{"value":"3827828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056745$C6D11A30-2B6D-4CAE-B2BB-BA3ECD978BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$FCAB6453-4185-473A-A139-81C43B0C05FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$19F08C43-BDCF-41EE-8A37-823B3DEE1372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$7A784697-2CF3-458D-8D32-94075C8EB6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$3E2E9B3D-AEE4-4BE8-BAC8-DD00D836F3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$2E438338-C483-451D-9902-BC8E4FDD2679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$56CD5AFD-780A-4E17-AD7E-2A75CAF06C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$D46B5415-05DB-4ED0-8F62-E57F1B1EB149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cbb63aa75281c989a466157d16ab703e2df781","datavalue":{"value":"arithmetical completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$42404686-5865-4A52-AB25-C23E1EB7ED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056745$9BBA5AF3-5AD2-4A3D-B025-47C17C438BAC","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":"Q1056745$AFE8025B-1943-4799-8178-6737810AAFFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa018c1a564e4cdaa698a47356ef84fa17b5eb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4190615,"id":"Q4190615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$9C7A9A31-4B08-4514-BFDA-CF70B6976313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$8E4D6F67-E634-411E-8CF1-D473D4764CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$303B4E10-EFE1-40EB-A771-2F911F67225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41704d75503b555029d696b92528a73c9193d861","datavalue":{"value":{"entity-type":"item","numeric-id":3944575,"id":"Q3944575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$926E10BB-CF8C-4CF9-BE20-1DD8AA3FAF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0025c5170541468307891ff3f9d6ad65434d77","datavalue":{"value":{"entity-type":"item","numeric-id":4754492,"id":"Q4754492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$7CFDCDFF-5A84-4F51-88F1-911721617B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$A79444D5-9378-48CD-94D9-64860DB64224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$8E12720A-E5C2-4F90-B72B-F3EF85E76CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a575b135ab8c68ef066d427f8c2b91aeb49e6000","datavalue":{"value":{"entity-type":"item","numeric-id":3852250,"id":"Q3852250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$E6CAD21A-455F-4471-80A6-ACDD6E28381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$96E335FC-F024-46F4-87AA-A129D9234F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$7A2FA09B-B094-4ECC-8368-79DE21C02DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$FB54D178-41EB-43A1-AA02-3061CB2E991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07681d905b1e922e45afccf4c54df18215959057","datavalue":{"value":{"entity-type":"item","numeric-id":3671125,"id":"Q3671125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$1EDE62F4-8568-4780-A38D-124FC0D1916D","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":"Q1056745$DCBFB8FA-FFBA-4899-8BE5-3D25605AB43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a870e90b77b58525bdd6025cc0dce6626293b0","datavalue":{"value":{"entity-type":"item","numeric-id":1134152,"id":"Q1134152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$7537BC9A-010C-4DA7-A17E-FB7A60E1DBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056745$E6ED3040-93F9-405F-AA3A-7A55892B1B71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f5c50ca283c86ca1bae3c19aa414ac2eabe9cb6","datavalue":{"value":"https://doi.org/10.1007/bf00293433","type":"string"},"datatype":"url"},"type":"statement","id":"Q1056745$50AF3306-63F8-493D-9D9B-7F20FA7A37EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3b6ee80a12e517541470ff12ac37c18e65ad99b","datavalue":{"value":"W2034070758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056745$0FFAFCF4-BED0-4B9C-9276-7D6B9DFA8758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1056745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1056745"}}}}}