{"entities":{"Q2277453":{"pageid":2288196,"ns":120,"title":"Item:Q2277453","lastrevid":43807563,"modified":"2025-11-14T16:13:17Z","type":"item","id":"Q2277453","labels":{"en":{"language":"en","value":"Uniform arithmetical completeness of modal provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197984"}},"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":"Q2277453$432EB2A7-C3C1-4E57-9FE7-6154DCB8C215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cb4d91e2959364ca3caeb3d4424e1e3150ea6a7","datavalue":{"value":{"text":"Uniform arithmetical completeness of modal provability logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277453$B55EF435-CBC1-4F19-BCF9-14FB94E3642E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb255defe86f787394ac8ceaf739dc4360c3ccf4","datavalue":{"value":"0726.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$AC61425B-90A2-49AC-81D6-1CA3766DFC23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5b065b2146cab6cb0fa37791f956b616d752dc6","datavalue":{"value":"10.1007/BF01164256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$456049AF-6D23-4FA1-85EE-CCA4421AECDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7ba2ba75479dbabb19446c1cf12d50017814ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2277452,"id":"Q2277452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277453$3A230C11-E451-4E26-9B0D-EFF17905E706","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277453$9182C5B9-BFFD-4A11-8BE6-4E1F1D753E6E","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":"Q2277453$E71D4EE4-9162-4236-9D3D-9DD6B444917B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f17ad59993b4160577d0b6a3e1c1bdf19f4b2eff","datavalue":{"value":"See the review in Zbl 0715.03024.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277453$8B752B30-E91F-4049-9B9F-0AFC71B80FC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$1A6F8726-070C-41B9-9B7F-CE2C62C08B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$3EDCAF02-518D-4DD8-AAC8-928B89738328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$0F4C883D-FD6B-438B-A034-29FD9B44B095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"253fcf2a0e72fefd2ca9c166dce543441aa43cbc","datavalue":{"value":"4197984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$701E6E65-2F97-42E4-9C88-D800A7A115DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06fbd501e93dc59d63b420b374a227b39d3acba","datavalue":{"value":"intuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277453$FCB90BBB-170E-4B3B-BBE6-23DEFB043E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277453$0E4DF45E-FE9B-497E-82FE-E3C1256F325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3280a23e8c295479b73b0379910b26d01c09c64","datavalue":{"value":"uniform arithmetical completeness of propositional logics of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277453$DC4F92FD-42E4-4229-A40A-5134F97D908C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe482273e305293356e93ecadbd9b1e669ce0e52","datavalue":{"value":"diagonalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277453$E89A44E1-9220-4627-9AF5-6188B8E7D9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2878040dfd119ab97e1fc53726b401cc756825c3","datavalue":{"value":"extremely undecidable sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277453$55A7D300-554B-4844-8E17-2B3A7F2818C2","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":"Q2277453$CE1C8002-3CB6-4EB8-A89E-DAE058FD0F18","rank":"normal"}],"P223":[{"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":"Q2277453$265BDBAB-B352-4E33-BE6E-087998473B4D","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":"Q2277453$3265130F-1810-4317-9092-AD2F1770BA9E","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":"Q2277453$D30DCDB3-16C3-43C1-BBCD-18CFA1D27B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1cf764eb9c91128e15ecfe17f6c1dc4f0ea27","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277453$065ABA4D-8FCF-48AD-A8A7-260BCF2B90E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6737da661b49dfb9b23a3433950e19e8a993f254","datavalue":{"value":"https://doi.org/10.1007/bf01164256","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277453$43125F92-1B8B-4344-A6C5-060A0C59E898","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8920307b5722b9b9e9b130bfd556aac5ce359dc0","datavalue":{"value":"W2055773991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277453$A719F5D6-8DBD-4418-A792-7EE9268DCD02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277453"}}}}}