{"entities":{"Q1006619":{"pageid":1008467,"ns":120,"title":"Item:Q1006619","lastrevid":77729303,"modified":"2026-05-06T09:56:29Z","type":"item","id":"Q1006619","labels":{"en":{"language":"en","value":"Phase transitions for G\u00f6del incompleteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532845"}},"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":"Q1006619$2C1C5905-2D23-40D1-A09A-B5E2D04E6F3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071337934b98434b0a0698630fbd484b22401d83","datavalue":{"value":{"text":"Phase transitions for G\u00f6del incompleteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006619$1A04424F-2689-4E6F-BA5F-24745073626B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c04e3b8ecb62543cd48fdce8336557669ac5298","datavalue":{"value":"1165.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$CFE9FF40-6B32-4AC5-B729-664B1C477772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$5C56D70A-D84D-4822-B0BF-702ADA341145","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$F48B5150-F598-4464-BD3E-26B452834618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006619$CA695968-F88C-4EC9-A19E-9F3E1013F5B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fd101ff3ecb92215980baf304a2edc3c3ec7b9d","datavalue":{"value":"Phase transition is a notion borrowed from physics. An everyday version is that of ice changing into water at \\(0^\\circ\\) C. In logic, the oldest and best-known example is the provability of transfinite induction up to \\(\\alpha\\), \\(\\text{TI}(\\alpha)\\), in PA. Gentzen showed in 1943 that \\(\\text{PA}\\vdash \\text{TI}(\\alpha)\\) for any \\(\\alpha< \\varepsilon_0\\), but all of a sudden (so to speak) \\(\\text{PA}\\not\\vdash \\text{TI}(\\alpha)\\) at \\(\\alpha= \\varepsilon_0\\).   In this paper, the author considers combinatorial well-foundedness \\(\\text{CWF}(\\beta,c,f_\\alpha)\\), formulated by H. Friedman. It is, by definition,  \\[ \\forall\\,K\\,\\exists\\,L\\,\\forall\\,\\alpha_0,\\dots, \\alpha_L< \\beta\\;[\\forall\\,i\\leq L\\;(c(\\alpha_i)< K+ f_\\alpha(i)]\\to \\exists\\,i< L\\;(\\alpha_i\\leq \\alpha_{i+1}), \\]  where \\(\\beta\\) is an ordinal, \\(c\\) is a complexity measure of ordinals by natural numbers, and \\(\\{f_\\alpha\\}\\) is an increasing -- with respect to majoration -- family of functions parametrized by ordinals. The author considers two complexity measures: the Mahler norm, \\(M\\), and the G\u00f6del numbering, \\(G\\). [These are obtained from the Cantor normal form of \\(\\alpha\\) by replacing \\(\\omega\\) by 2, and by successive prime numbers, respectively.] First he establishes asymptotic behaviours of these measures by using Tauberian theorems, etc. (He aptly call them ``main results''.) Since the author considers not only PA but also its subsystems \\(\\text{I}\\Sigma_d\\), \\(d\\in\\mathbb{N}\\), there are four types of transition theorems: matching the two theories, PA and \\(\\text{I}\\Sigma_d\\), with the two measures, \\(M\\) and \\(G\\). For the combination of \\(\\text{I}\\Sigma_d\\) and \\(M\\), the theorem runs as follows. First, define the appropriate function \\(f_\\alpha\\) from the Schwichtenberg-Wainer \\(F_\\alpha\\) by means of repeated exponentiation, logarithm, and root. \\{It is exhibited, but too complicated to reproduce here.\\} Then \\(\\text{I}\\Sigma_d\\vdash\\text{CWF}(\\omega_{d+1}, M,f)\\) if \\(\\alpha< \\omega_d\\), but \\(\\not\\vdash\\) if \\(\\alpha= \\omega_d\\). In other combinations, different functions are used, but the pattern of theorems is the same. For PA, it takes the form: \\(\\text{PA}\\vdash\\text{CWF}(\\varepsilon_0,\\cdot,\\cdot)\\), of course.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$0682A61F-727D-44E3-8C34-F2D4049918EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$8554A19E-76FD-4F96-8B3C-D6B973BCCD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$3DF32EB2-607C-4D98-9C02-EF210A599014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$6CB8E8B6-D5C0-4C52-BB46-E1FFAB9B6E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$7BC38003-1006-424A-A701-1F1DC1D615E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb1ca7f2b9ce8c74d1badaf21df16f4179be862","datavalue":{"value":"5532845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$09626DC7-7BB9-4F47-8804-BB4BAF6B9E78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$F1F5640A-1003-40D0-B922-7178DB9F030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$442A87EF-14D0-4EB3-BC28-4E3845EC40D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$9589E17E-10DF-47D5-8120-D6B9CC412583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d130689de2229580c1746d9d51dfa7b4c9b4621","datavalue":{"value":"G\u00f6del incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$AB592EFC-EE3E-4D8D-9375-83E87FDE4C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c8c3ea24245ca2692b7623dd71e89e2f45b7abd","datavalue":{"value":"Friedman-style independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$EA3F6A7C-DA6F-466A-A981-287A1A2010F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc6751a5489e0e0aeba06321e937283d24e17a9","datavalue":{"value":"Tauberian theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$A6F44678-F2BC-4FA3-829B-D7F9B766522E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$89E3EBE2-D2FB-4FBE-AF7E-02CDF3AD966C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$B5ADDCEA-112D-4C9A-B0C8-22E7F273E0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c9573404f466fc73de1e6d423407b5543ac068","datavalue":{"value":"asymptotic behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006619$C7850658-3E0D-4457-BCE4-543BD82F35F4","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":"Q1006619$B1807DB7-B7D1-445C-9659-C3B9EDD001FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3a64bdf9cca5672fbe93c5a17bdeaa8480d71d8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.09.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006619$2B436598-3323-4891-ABB1-C05D358F8432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f579ae6ac53c70e196e9a706eb838fd018cb51d7","datavalue":{"value":"W2003007940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$A535A663-C7C8-49F7-B719-8FB6026DEA2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57c7a0ad00fd75e0c113f74a41993393b599954","datavalue":{"value":{"entity-type":"item","numeric-id":2776818,"id":"Q2776818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$2C82B1A6-1E6D-4DD6-84EA-607C7C243724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255cb2d6e70e65914082dfc6eadf76dd76556d6","datavalue":{"value":{"entity-type":"item","numeric-id":1407595,"id":"Q1407595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$40BC930B-6694-4479-A88F-98EEAD27398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d407bffb1068a74aebdf69f68180a9a6bda56ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3992980,"id":"Q3992980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$AEF87149-A9A7-4ECF-8415-009FCA32EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28807a9a7ce2ea9d0a5c6e9f5f1724972d807ad","datavalue":{"value":{"entity-type":"item","numeric-id":4410005,"id":"Q4410005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$5239F780-17C3-4DA7-8DEE-5238A4B0149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34acf63a07818b9dcf84693ba53330b75207c3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358627,"id":"Q2358627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$CED4DDED-F4E7-4434-B504-39366181DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc82541de863f9fa749c0c9e022d861c5237e269","datavalue":{"value":{"entity-type":"item","numeric-id":4526796,"id":"Q4526796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$5DF6D3CC-3F91-4DF3-81C0-328B3E365B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699694bdd1074c4792cee7c3f50ae33d8eb62c2","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$B3690613-53D8-48A3-8C47-B774D627428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290178cc2a5eb1b52148ed667c540db5f7c83e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3258458,"id":"Q3258458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$943981F7-0B85-425D-9B16-1C458832014C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce83f20dd4348a59308774b60607095a40ed9e2c","datavalue":{"value":{"entity-type":"item","numeric-id":5441122,"id":"Q5441122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$06C8394E-F773-4102-A4E4-88A4C1F59CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffd2a5865aa5445aba2f7c963d83022bac41c47","datavalue":{"value":{"entity-type":"item","numeric-id":1919149,"id":"Q1919149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$970C8828-2B26-4C95-B9CF-B70DD94201ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf21ea69fe4ddc97ad38579c16428cebb928f87","datavalue":{"value":{"entity-type":"item","numeric-id":5814905,"id":"Q5814905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$DAFEBD6D-EC6E-4EC7-859D-A5087821C6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$51B9C36E-709A-478E-BDC3-E6C4451249F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$792196F1-CF3A-4ADE-9B21-9E9D89C97C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d663e2cf872e45a7eebac7c9ee25b9f767ff541","datavalue":{"value":{"entity-type":"item","numeric-id":4246764,"id":"Q4246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$44444AB4-CC8C-4C0F-8593-00794FD6BF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087997f39728f68ba5717661dfa38b5ead409bb","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$26D6496D-801C-42D2-9B04-E9E5B4D6A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$7FE8D924-3087-49ED-87B4-60C38E08E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4199bb1e2801450185bd0964295e1022c2bcd181","datavalue":{"value":{"entity-type":"item","numeric-id":941316,"id":"Q941316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$7B71FF85-67C8-4C45-ACE6-A981CAB4BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7d5562ab40cc42de4dcf15fff4e814e6f40d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3148679,"id":"Q3148679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$0D3630E5-6E93-44E8-9E9D-844849A33EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fcac84fbd8ae26953a8b8d11d860b072d3ea51","datavalue":{"value":{"entity-type":"item","numeric-id":2373693,"id":"Q2373693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$7C615B42-A98A-45D4-8AD1-2280B9B732DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a850017ad2ef12a3d5956315d33040ec377b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3772200,"id":"Q3772200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$F0913902-88AD-4C84-98BA-320957C53280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$B6171015-9AFD-4764-8760-27C01E6BB676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1c4f9c2c54742342627bc3559794f766314a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1012327,"id":"Q1012327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$D0272D5E-9E63-4022-A15D-455FEC0E18B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c17e9582b013897935f16395d052797859e581","datavalue":{"value":{"entity-type":"item","numeric-id":2647861,"id":"Q2647861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$A61610D5-2BFF-47C6-9B1B-91A472822E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bdd14b55f66ed6694cfd8b5b5e26274b175251","datavalue":{"value":{"entity-type":"item","numeric-id":3848271,"id":"Q3848271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$86F0DBBD-16F9-423D-92C3-077AD501B2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$857775B5-BD01-400E-BE76-8E284E5113BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce385d6e3ccab905ac302838c8120d7750cf5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3839880,"id":"Q3839880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$060BF91D-D890-44F8-A8B8-A593F9302B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e310da7d32639a7e8fef25a26189c6dfc84762","datavalue":{"value":{"entity-type":"item","numeric-id":4428931,"id":"Q4428931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$582710D6-953A-4190-B77D-1E70F1C68FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011ede38172958a1ef13699fc00cf94acef1208a","datavalue":{"value":{"entity-type":"item","numeric-id":1868156,"id":"Q1868156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$5AB8A306-E080-4FB6-AD26-28DF218B6380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397fa3138e19e2c144f218b0780686208522c5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4457723,"id":"Q4457723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$049D75F4-F8C6-4F9B-949E-1D7C6E3C25E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2fe00609ae5e246f0dd5cadf9322a046eedd01","datavalue":{"value":{"entity-type":"item","numeric-id":4449291,"id":"Q4449291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$229746AC-7512-4B41-808F-1A260AB34BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21dc6ce513ca0314b1f49510aca046082c48f16","datavalue":{"value":{"entity-type":"item","numeric-id":4433096,"id":"Q4433096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$A35D7AAF-5FDC-4195-8807-05A8AAD7E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e52bae6a6e1a18dbdbcc66dc9d5087301033447","datavalue":{"value":{"entity-type":"item","numeric-id":2566073,"id":"Q2566073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$9DD66F93-A915-4AAB-AF06-0D51561A9B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a104a355b0627314944d76587230dfd21b4a3d03","datavalue":{"value":{"entity-type":"item","numeric-id":5485305,"id":"Q5485305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$021BDAE0-CA19-40F6-9ACC-36A378A94A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d24bca29b3e7da36a98d6ff63b1e9bee4f8da93","datavalue":{"value":{"entity-type":"item","numeric-id":3422027,"id":"Q3422027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$30D42B2C-2769-47D7-9760-D5E3892A012B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a019925ddbc4cc23ec1d6655c9cfac26da58cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3430936,"id":"Q3430936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$EE8019F2-62D8-44CC-A811-B732F5A7ACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad1f1974591f197c7866fb48c54022fad10bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5898852,"id":"Q5898852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$17A9EB5F-8E62-47B0-BAF3-468D31A8E7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6589dab2098317a0226002cc00aad65e7fab6c0","datavalue":{"value":{"entity-type":"item","numeric-id":3423145,"id":"Q3423145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006619$58E0856D-539A-4CEF-8DD3-75A1AD73C282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6535ba813f61792799afb0a93be42724fe0b94a2","datavalue":{"value":"10.1016/J.APAL.2008.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006619$974C7142-4E28-4FFC-9AB6-C9311D42AB08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e9bd52f5a62ba716b351072f66f6147c194c72","datavalue":{"value":{"entity-type":"item","numeric-id":2959916,"id":"Q2959916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18614527951b7e6a137fded5bb9dcccaffeadbb5","datavalue":{"value":{"amount":"+0.8941186","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":"Q1006619$667E0DB2-30B8-4379-9726-628E457BBBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9939e3b243ee17fd9107e7eae5724e9d074d02a","datavalue":{"value":{"entity-type":"item","numeric-id":5696111,"id":"Q5696111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f5fa2e8a7e756103d078012fae0216523e163b","datavalue":{"value":{"amount":"+0.86887556","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":"Q1006619$A6F85AC5-6AA4-44DE-A06E-D79584D08E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbe5a4942b746098e085903932c2ea99393baa4","datavalue":{"value":{"entity-type":"item","numeric-id":2891311,"id":"Q2891311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89625a6e21411488685b51d071a1b8f5c058eecc","datavalue":{"value":{"amount":"+0.85617304","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":"Q1006619$895FBA46-B669-439F-BD41-1C2773DE6C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a316c0716e587382820c63a2029450f61e5973","datavalue":{"value":{"entity-type":"item","numeric-id":5855497,"id":"Q5855497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f2af4ed98ba488b0396335a22c249244177495","datavalue":{"value":{"amount":"+0.84871984","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":"Q1006619$400A70F3-A1E7-4419-A882-3399C062F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aee5634da0a547ec8717915a398fb387b5e87d0","datavalue":{"value":{"entity-type":"item","numeric-id":5499600,"id":"Q5499600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02281a164c55450b83c635440f11f758e093ac03","datavalue":{"value":{"amount":"+0.84855855","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":"Q1006619$610F028C-5DE6-4066-B39E-8CA7C4A82A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e363efcc982e5a70fbd5d739f48cafbef4c2ed0","datavalue":{"value":{"entity-type":"item","numeric-id":2643309,"id":"Q2643309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6177e88c8097bf41f5297adeac7ab883d2404e39","datavalue":{"value":{"amount":"+0.84244484","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":"Q1006619$CCBAA0D8-C48F-4637-A760-5EC9E586A044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed568acc97b60cfe500b2d77b34977646fb680de","datavalue":{"value":{"entity-type":"item","numeric-id":4003735,"id":"Q4003735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1a33bc8cddf5745aa0e17747a6e08a5fecaad0","datavalue":{"value":{"amount":"+0.8420166","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":"Q1006619$E56A67AD-BAC3-4048-B65C-8919B41BE200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f7f92814cb7a9953463fd6d2242e6db1ddf618","datavalue":{"value":{"entity-type":"item","numeric-id":5076380,"id":"Q5076380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1a33bc8cddf5745aa0e17747a6e08a5fecaad0","datavalue":{"value":{"amount":"+0.8420166","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":"Q1006619$6043EAA7-E316-46B0-B876-1FB4C083665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae4fbc3c986149ea097c9430258ac2b05875e05","datavalue":{"value":{"entity-type":"item","numeric-id":4532190,"id":"Q4532190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1a33bc8cddf5745aa0e17747a6e08a5fecaad0","datavalue":{"value":{"amount":"+0.8420166","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":"Q1006619$C8501EB6-12A4-4AB8-9DB8-509DA0B1723F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928ac09c2b9411349b93711df2d9bb464cb9da7a","datavalue":{"value":{"entity-type":"item","numeric-id":4855394,"id":"Q4855394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1a33bc8cddf5745aa0e17747a6e08a5fecaad0","datavalue":{"value":{"amount":"+0.8420166","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":"Q1006619$B541D0F4-0321-433E-A21B-88427C33744C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Phase transitions for G\u00f6del incompleteness","badges":[]}}}}}