{"entities":{"Q5441122":{"pageid":7470680,"ns":120,"title":"Item:Q5441122","lastrevid":100988192,"modified":"2026-06-05T23:37:25Z","type":"item","id":"Q5441122","labels":{"en":{"language":"en","value":"A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5233216"}},"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":"Q5441122$101551D9-C161-4359-9932-C162BC51C874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b9c76fb1f6b3269119a6d7c2b5e42aa712eb50","datavalue":{"value":{"text":"A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5441122$662C60F0-59C0-44D8-AFEE-1676BBAF1114","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e78619aaee9dbcba3916254dae787b57d9b7e67","datavalue":{"value":"1134.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$52B5AB2E-5C6E-4351-9968-89FBCB389168","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf892f569e6ce06a69a75031ac99119bd807a88e","datavalue":{"value":{"entity-type":"item","numeric-id":320122,"id":"Q320122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441122$54C5D1AF-CF64-46A5-8BDD-A87014722328","rank":"normal"},{"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":"Q5441122$0FD8B14F-625A-4D3A-9BB0-4965B6C3AE27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"697e270ffe317ee6e67284d461875459574e3ac8","datavalue":{"value":{"time":"+2008-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5441122$2B40CCB9-485B-4A3F-ABBB-E17CE145EE80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b78f38a62fac88c71dd273efba0abfe3b1a26ea","datavalue":{"value":"https://semanticscholar.org/paper/3e9c1400225dc34fae35fd141cb045ae6981445e","type":"string"},"datatype":"url"},"type":"statement","id":"Q5441122$3309D34F-D456-45FE-8DAE-E7F44C1EC488","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$A171318B-809F-4D9D-8243-F408AFF39ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$74E9F215-A013-49EC-876A-F07FFAEF6286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$CEAD532A-0E25-4D99-BAB0-8A5E8DF8F758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc029bab9eeba3d696cc7d196d513d0e454b8544","datavalue":{"value":"5233216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$6162D83E-B4DD-438D-8AD9-F6F043C4C751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441122$DA1C4215-E2E0-4431-8E1C-900FD256C4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441122$0EC27B62-EDD1-46E5-BC7D-3A9B447D0FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b723564cc21982cbbc9f48de2009c12a3fe928e0","datavalue":{"value":"provability/unprovability in PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441122$E7FD58AE-6D26-444D-B328-BF965856CC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fd5b8f4b78a4f31017fbe6c110d17795f61a7c","datavalue":{"value":"combinatorial well-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441122$F9D8AB82-730B-4B60-90BB-822A2A6FA51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c686857602484358e90d20316f5f6333f3aa08c","datavalue":{"value":"elementary descent recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441122$8C0BA6A9-0F39-40E1-8E99-DEDE46A1EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909c85d88c106a3c5ea7e763ada198414ed53587","datavalue":{"value":"multiplicative number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441122$94C6A74A-8981-40DE-8EB8-E7BA90E93654","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":"Q5441122$A03D268F-3231-450E-A04D-7EB504EB0194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f765852b0be35ca6a22e5de4d80b45ac8df5fa9","datavalue":{"value":"W2073732226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$860CF6BE-B675-4107-80E8-4E77594FE12B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6201d4816ea354a64a106e14825f39dfb9168da7","datavalue":{"value":"10.1093/LOGCOM/EXM035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441122$206294FB-60F6-41A0-B6C7-C68ABA1143F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441122$5F806573-FADB-4312-89B9-D9C1182B3CB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1dc36169c43a60563c5fc46832b7cbe45c38482","datavalue":{"value":{"entity-type":"item","numeric-id":1006619,"id":"Q1006619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d027da1d7d17ddd5e48051d1308aff2eed12f48","datavalue":{"value":{"amount":"+0.8360536694526672","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":"Q5441122$7BA777FC-B8BB-42C1-B306-2913A626EF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e6b0204727697474509bdc6cf17b8b7bf7320e","datavalue":{"value":{"entity-type":"item","numeric-id":5898852,"id":"Q5898852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20543fc2048965e453ca44f7eb8bd62d1df339b2","datavalue":{"value":{"amount":"+0.7844658493995667","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":"Q5441122$A655FF6C-44B1-4478-B637-B39EBA6D080F","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":"4cb03362d4620422ed5716100908e97f257ee236","datavalue":{"value":{"amount":"+0.7837031483650208","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":"Q5441122$D340FD8E-9AAC-4568-BC45-814837B0F257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e401d057b0f2d3958cfee2b6147bdf5fd95c96d","datavalue":{"value":{"entity-type":"item","numeric-id":661281,"id":"Q661281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac66d4489dc473da0644e9a857c641f2f91d6e2","datavalue":{"value":{"amount":"+0.7714836001396179","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":"Q5441122$81CA28EA-DE51-4641-97B6-26488E596849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa022f173f236f264c2dc1a3b8e11281dcd7de61","datavalue":{"value":{"entity-type":"item","numeric-id":3422027,"id":"Q3422027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e58a15a94969337ba7217d4c87489bc76ad0841","datavalue":{"value":{"amount":"+0.7665008902549744","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":"Q5441122$51BF4C06-74E6-49C4-AECD-229972BC33EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Sharp_Phase_Transition_Threshold_for_Elementary_Descent_Recursive_Functions"}}}}}