{"entities":{"Q5300077":{"pageid":7329651,"ns":120,"title":"Item:Q5300077","lastrevid":58527360,"modified":"2026-04-05T14:51:42Z","type":"item","id":"Q5300077","labels":{"en":{"language":"en","value":"Models of transfinite provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180298"}},"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":"Q5300077$20272169-41C0-4B13-A52F-9BD6BB71D9B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ad1ca8614ae8b4098086f29a420542e278e7746","datavalue":{"value":{"text":"Models of transfinite provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300077$20181395-D1DF-45DB-8AC8-FE06A14D4F9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd376976250c0398c502b2d727e7cf5f6e496c58","datavalue":{"value":"1275.03158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$ED657576-19E2-4C97-9BB2-2AA0E53B1D12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$E45E213A-7594-46B4-9572-E89CDD747D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$03C47729-4347-449F-8C65-FE5EB408AB9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300077$F66DDCE8-DB66-4903-B0AD-14A0CCEA9B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43afa94db6827ad1c830172471df5bcf34ddc648","datavalue":{"value":"https://arxiv.org/abs/1204.4837","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300077$86AB3273-01BA-4830-A3C7-4E1BCDF8D242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea12a036f7b8736d9a730ca86c3438607dae8c0f","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1368627064","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300077$C0AD2007-68F6-40AF-8CAB-F4368A3C2CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$D9B92CCB-B7A0-40AA-80AB-197D6D244346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$E41613BC-2626-4CAC-93C7-4E157B3263B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17db3315c99d5f5be888c9d8e450bdcfc39184e1","datavalue":{"value":"6180298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$CAEF2EB2-3CBD-47B3-A222-4FE70D58AC4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de501434cb22f2101a61b9b99a0ca64a911288f","datavalue":{"value":"provability logic GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300077$6881DA91-AB94-45A6-A3A5-FF44AA402404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6b2f368ddbbb2f6190e05dbbdc634433c7f0fdb","datavalue":{"value":"ordinal analysis of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300077$7C52E5C5-D49C-4117-B781-906849660AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a6f0fd6bed3b176ce99150c7d5d6340733445","datavalue":{"value":"polymodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300077$36138588-55E6-4C31-8116-9A73B3E8B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468019f5ee0d44c89b0171c3e2d4ed3cb3bada8e","datavalue":{"value":"\\(\\omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300077$05C052E3-432E-41F5-AF75-DB27CBE39D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300077$A1F6B0D8-7FF1-42D5-A873-C7EB11640EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c976344f4d41bc074d88d679b2938bae41525d79","datavalue":{"value":"closed fragment of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300077$02458B4D-115B-4EE2-A6F6-378EC1437E80","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96687571560b539d51c90b678690dc1950a65e7f","datavalue":{"value":"Q58883296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$D6879E94-AFED-4F11-81A8-C0F13920222A","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":"Q5300077$0CE07539-2C15-4801-89D9-B6A4D479CBE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adf658adb898f0b103efd34d1b1f1af6d01dbb55","datavalue":{"value":"W2058604356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$6198538C-FE18-4CA2-ACCF-9FA34F8269C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"801beb7884418a584076f6a52825d7965f5f8934","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$CB3350A6-C7D8-4A92-BC9C-FECF9FD2E276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$CB237619-2041-49F8-B1BB-8DB0524AECC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83f198c5c7178639e27c9a7003d0d2773d2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$FE515541-220E-4A77-BBE7-A929FB625F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548c19a8d51e89141447b12675f2874b1f915ec","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$23E955A9-1D05-4BC7-85BF-1E38999A1D88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3771c02955eb6ef64e92115633b673e01749c008","datavalue":{"value":"10.2178/JSL.7802110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300077$3AC108D3-24D0-4A83-B47C-9B49324D87A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300077$E6E42067-278A-4C74-A206-A93D59A616AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99796d09cca83083f7c05f8eed05e4361985dc65","datavalue":{"value":{"amount":"+0.9208890795707704","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":"Q5300077$B3C983BD-C1A9-4EB8-B548-FF39EE0F5473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234a4596465ea31e00245da18ccd8e2692e13815","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be80ac27da024349b28c3506bcc6342c64f20faf","datavalue":{"value":{"amount":"+0.8933529853820801","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":"Q5300077$B333D498-6182-42F2-9B72-97B862D19947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be76f39f0d64b173c300d63bc10c9d55498fe93","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4e073ee9bf8811273d08472e012911ed6a9fe8","datavalue":{"value":{"amount":"+0.8514441251754761","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":"Q5300077$5CD77CA0-834B-4532-97CA-7B1554986B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68285a0b20048db90671ea59015bcd7bb67fc61","datavalue":{"value":{"amount":"+0.8469789624214172","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":"Q5300077$E2B6F20C-3887-41C8-8191-56016AC57085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73a8ad5518038c4c4baeda1ff406e3344cde989","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8667e73539d3f242e4db701f3acb71cc55107d","datavalue":{"value":{"amount":"+0.8434744477272034","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":"Q5300077$7546264A-A775-489C-BAD0-457B12D75674","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300077"}}}}}