{"entities":{"Q923072":{"pageid":924920,"ns":120,"title":"Item:Q923072","lastrevid":42768787,"modified":"2025-07-10T14:06:07Z","type":"item","id":"Q923072","labels":{"en":{"language":"en","value":"A new proof of the fixed-point theorem of provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170869"}},"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":"Q923072$FBEEDB26-CBBE-4B90-9D2A-06CC8B3C1725","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53a6d3e6a563ca751e96e0f67a471e8403854fbe","datavalue":{"value":{"text":"A new proof of the fixed-point theorem of provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923072$2615A8B2-E889-4E20-B7EB-2246256B1663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b9017d52377ce62d8043281276bf2aac20c1d6b","datavalue":{"value":"0712.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923072$65269F98-4A4D-44B7-BA1E-3E53F7200269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ff78192f27ba21477d4cff9183af5c61ad5a94e","datavalue":{"value":{"entity-type":"item","numeric-id":923071,"id":"Q923071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923072$26935D39-C041-480D-823F-EBB904CAA993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923072$F8304662-1036-402E-980A-14A4CB95165F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q923072$3328A7F6-672A-42F7-9885-DA7A436A04BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69f643c1dcc6640986aa9b34983dae7550fc5572","datavalue":{"value":"A semantic proof of the fixed-point theorem for the modal logic G of provability is given, modeled after Sambin's syntactic proof, which is rather complicated but provides algorithms for the explicit calculation of fixed-points. The new proof featuring Kripke models is simple and shows an algorithm for fixed-point calculation as well, with which the fixed-point is obtained in the same general appearance as the original formula. Some examples of fixed-point calculations are also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923072$DBBD5C2B-ACA6-4318-A3DF-D0DA3E2D5B67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923072$E4973C2E-28FA-48AE-AF6C-D745738C62A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923072$647EF4BD-FD34-4BCA-AC77-073A61DC5771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21db83b459b648f3baeafe594166cc0a36722325","datavalue":{"value":"4170869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923072$EB5C33CA-C93F-4948-B077-124EFFF0820E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07c3c2f02bd8b1bc56efdb24ab5110a5c3b0f3b","datavalue":{"value":"fixed-point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q923072$937B1489-76CA-4795-8730-ABAB92658B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c138ef218b81d333dc5062cd1c5055cc54efa01","datavalue":{"value":"modal logic G of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q923072$5C8E72CF-C43A-4DDF-9B5D-EDA5EBD7FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q923072$31DADF93-9FC0-46B5-817C-A6BCF1257FBD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923072$5B33E251-82CA-436C-B0A8-8D09818AF476","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":"Q923072$8F1F44FC-5952-4F03-8BAC-560FEFE1560F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6794a2562e685076df8736fe95a4bec55f93f8ce","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635331","type":"string"},"datatype":"url"},"type":"statement","id":"Q923072$B7CE04D9-A152-4CEE-9E37-2DFC1DF6AF00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"853de8e2d9b5bc9f6cc81a056102aac32f6db973","datavalue":{"value":"W1972110795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923072$BE789469-BFCE-43E6-90FA-BD1404C4C9B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"788c58b62cc2d4f481eac02efa41a893ac62a0bb","datavalue":{"value":"10.1305/NDJFL/1093635331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923072$A21DCC52-8167-4297-8E84-7411B652D31F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4309255726ddccaf230b70a2cfc4ba84e5a6495a","datavalue":{"value":{"entity-type":"item","numeric-id":2499296,"id":"Q2499296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae43ed30385729ed65f4664525f930b7a32b1b7","datavalue":{"value":{"amount":"+0.9245569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$FBF4EA2F-5D0C-4C4B-847B-001C10337457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e91089d66979daca95d61ee687c20f3e3b584","datavalue":{"value":{"entity-type":"item","numeric-id":5870840,"id":"Q5870840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5857431bdae3a97509e4716ea3dabd919b7ff7d1","datavalue":{"value":{"amount":"+0.9029586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$843E423C-B778-4363-B668-185C394E7567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31e1b4521979adcb5f9fa7648948aed93cc36e6","datavalue":{"value":{"amount":"+0.9015963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$3B697996-BA32-4644-AF3D-C31E49EF4CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96beb5465c36baaae4a638ef142444202c3afd5a","datavalue":{"value":{"amount":"+0.90158963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$22AC1F59-0B2F-455C-8146-4E850AFEF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18995c6685f14fe308cddaecd54ff08c0321c2e6","datavalue":{"value":{"entity-type":"item","numeric-id":1924751,"id":"Q1924751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e74ba80b8725fbace360259b3067b8013f94f3","datavalue":{"value":{"amount":"+0.8993714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$E06EB1D3-54DD-4784-AE6D-7F66FD144701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6145394a35c0ee888d8937c44db6ac46cac25f28","datavalue":{"value":{"amount":"+0.89655656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$729849FB-E2B8-4637-A676-77A79973A5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26ed2180efea7b2de854b2112726dec0507f39","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684466b3eb84b90f2cbc02f5c296aea836d2f8fe","datavalue":{"value":{"amount":"+0.8950759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$6F2916FB-2219-4DC2-9ACA-40BD24EEAF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011d5e01864a9bfc91671e3c16160add29dd4f2f","datavalue":{"value":{"amount":"+0.89370155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$222472DF-AA92-47BC-9A6F-94F078DD11BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0841540900a24a4d8bf9598d3614c5c2b24292","datavalue":{"value":{"entity-type":"item","numeric-id":3804703,"id":"Q3804703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e29ae209676c81400e40b8df2525019d2c90fb","datavalue":{"value":{"amount":"+0.891204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$7B6AE41F-C2E9-406E-8704-3361BB678075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f9ae8df5c25beb735813622f960226697534d9","datavalue":{"value":{"entity-type":"item","numeric-id":5698282,"id":"Q5698282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d472a0bfd04fb601246734be3e0c1a3e8adc6b4c","datavalue":{"value":{"amount":"+0.891079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q923072$0B3F7C70-C589-406A-A11F-286E675C4D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:923072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:923072"}}}}}