{"entities":{"Q1960416":{"pageid":1971158,"ns":120,"title":"Item:Q1960416","lastrevid":72034224,"modified":"2026-04-14T02:13:28Z","type":"item","id":"Q1960416","labels":{"en":{"language":"en","value":"Parameter free induction and provably total computable functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387343"}},"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":"Q1960416$0F733A90-2798-4F90-AB1A-70AA207A7ECA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aac93e707fd438229ee07abc57782896709a589","datavalue":{"value":{"text":"Parameter free induction and provably total computable functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960416$DB5551EB-DACA-4D50-83D7-6BFCF1BF70C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d8aaa057fba598fe83f64d1d6cf1573f0d76b59","datavalue":{"value":"0930.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$3141A069-0210-4464-B0C7-943DC01D7858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0098ba1c43a092215ccda27f719021fc9a84dfa","datavalue":{"value":"10.1016/S0304-3975(98)00305-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$451DE32D-93C6-47B4-A2A5-CD39D6A917EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$F0EAB57D-FBD4-43A9-8EAE-7B2EEE35A226","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960416$7663D56B-CD59-49F5-BA1F-14FF7203A868","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$23BE6920-3CA1-4478-8BF9-2C984A282AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$231F270E-9640-4580-BE05-31DDF5CD7329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$89B5ADE6-2429-45E2-8CF2-4D0B584B7EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$6034FC88-1568-4E3D-9DEE-F16C83B08908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43b21815536dcaabd2f736ff4ffa8b075cb8d587","datavalue":{"value":"1387343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960416$2D7379DF-23E9-449A-B25E-A051886FBC42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcebabe0a2562f7dc322774a9eff8b403b1173a","datavalue":{"value":"parameter free induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960416$BD884BED-2F3F-41B0-9128-FCC84667A4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f720e895dbc35d4d3ebb0500d5175c057ae4bd","datavalue":{"value":"provably total computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960416$20A02625-B200-4F38-BD98-8BA87CDE9F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960416$55F92B38-3641-402B-AF9D-C9FB831DCC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd5a827adbe0383e629fb5220722804e7650c","datavalue":{"value":"fast growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960416$A9FDA22C-E6F7-40A1-8E0E-C88888D63BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa9a22e2b17765e296149e9abbf036749ae0eb6","datavalue":{"value":"Kalmar elementary arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960416$BDA075C8-9AA6-4AE1-B6CE-52EC0826F238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960416$F0A33AA3-9E87-4888-8021-FA32DE5B3D1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$E8945760-9452-45E5-A06B-7EF00DE8E65F","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":"Q1960416$6351D43A-FCF5-410D-8011-149418590FF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee286d4dad3639fe6ff7ad80edf2dd7d42f96a32","datavalue":{"value":{"entity-type":"item","numeric-id":5904006,"id":"Q5904006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$927F764F-D30C-4370-91F9-22D54BCDEC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfeaf66b5318c9d92cf3d120ecbf975172a3da7e","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$91D91CB2-104A-4566-9BDA-95733B2A764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$EA3EAEE8-E31C-4914-A029-ABD040C9455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$C03D4D94-3385-48D5-A4DD-E8ABA3907ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d46cdb274620e8f2ca5509c097d4fe8738b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4364507,"id":"Q4364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$56FE874C-AC04-473A-9837-7C72D42999C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$C0199A48-7118-4229-9A07-ED37EC63AB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a05da2b41e1e3d2c52dce6b9e5bc0b2be24d11","datavalue":{"value":{"entity-type":"item","numeric-id":4323837,"id":"Q4323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$A5009282-A31C-428B-B71E-6722CB4FCD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$24B23959-9349-4ACF-9D8A-ACDF6D873B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$C491C077-238C-4F97-B320-D49498259113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$9E14A4AD-B417-4670-B25E-8505EB14EFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf396f0ae3d78e8d5754999137c14027afa469c3","datavalue":{"value":{"entity-type":"item","numeric-id":3809800,"id":"Q3809800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$8A07DA55-2414-4188-A43D-81506AA3D4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$11CA32CA-C057-47B7-B8B6-B39844685A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$984F22E1-9714-4E61-BE32-68B06E7DCE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$8957ED21-AD22-466C-875F-B322E6ED3585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640583a9a08f540da2d2286fb3721e3efd3596e8","datavalue":{"value":{"entity-type":"item","numeric-id":5626637,"id":"Q5626637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$F90AD074-6155-4DDC-BF1A-CAB8A2B78BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7010a800e4336b7ae6e486d3fa7f31c97756c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$89FB6035-8332-494C-83DA-0AD6A294B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$E4A44CE7-979A-42EA-ABF1-EAB48CF73FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$203B701B-C534-4C7D-9AB8-AF5C27B34174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7529dfecc70cdc3228ff2876434c8e683d8ad49a","datavalue":{"value":{"entity-type":"item","numeric-id":5899843,"id":"Q5899843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$ACF7A170-025C-465F-AC35-79EDA1855084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$51B44B07-927A-4528-8905-9CF8CADD6664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def144a6c01a2c5f09f7a663c86480a856bf8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3866106,"id":"Q3866106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$914D57FF-99AF-407E-B56F-214BF07E3F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$E7482FC8-2031-4E17-B1FC-4FB8925A0CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b37a1cd4f4b47b68d114318dca452481bea445","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$2CF5DB1D-39EF-4F76-8FA0-B641FED64A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960416$6CBC5EF0-F4EE-4C8F-8B90-97C159CBEE6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b62945c6d8a0180fd7ebd6c1dbcd8df77ffce7d","datavalue":{"value":{"entity-type":"item","numeric-id":2453069,"id":"Q2453069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6c61c59c085c9f541e0c582ba5ff3bd4494c59","datavalue":{"value":{"amount":"+0.908148","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":"Q1960416$BF5CD416-DD85-44A6-B763-2FE072B4C0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9853ebec507ae91c7a869a3639927155931747b8","datavalue":{"value":{"amount":"+0.9071689","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":"Q1960416$5B74CC6C-E5C2-4746-9BF3-D6FBF9906E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f6bfeefc2d3ac1125a9d7ceceac0920db7baf","datavalue":{"value":{"entity-type":"item","numeric-id":4537505,"id":"Q4537505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2daa9c0e0e9173244a256072ccf1d63d8458926","datavalue":{"value":{"amount":"+0.90205485","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":"Q1960416$2D2DE5B9-E1B6-4A76-A854-5DBCCFEBC900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd0ab253e3c2feeb25819efa535ca9bfccbdf49","datavalue":{"value":{"entity-type":"item","numeric-id":4793030,"id":"Q4793030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb6efdf259ba7aab0c320dee4b493ae6c61f5f6","datavalue":{"value":{"amount":"+0.8938187","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":"Q1960416$64377375-5C49-4BCC-91D9-C45E668E2FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ce05918838b03f47532d0f8124d680cf43bfc1","datavalue":{"value":{"entity-type":"item","numeric-id":2904439,"id":"Q2904439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ffecd5b2c99a2af2fc2820120d8f1a50b70de1","datavalue":{"value":{"amount":"+0.8904011","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":"Q1960416$110776E6-8F5F-496D-BAED-BE90A53ECDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62117164631947e2210078ac4207ce29c0b0b5e1","datavalue":{"value":{"entity-type":"item","numeric-id":1353982,"id":"Q1353982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6aa344cd8e837def86c79dfeea1296e46cc23a0","datavalue":{"value":{"amount":"+0.8898924","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":"Q1960416$AB65DE0F-D145-4BF0-B7A0-9BD62F6F90E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9679a00204c8036f6094ae780d967a4f89cd0c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3809800,"id":"Q3809800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6150729a9d4dfb9251c6c3dd61f2ce39cc409e6","datavalue":{"value":{"amount":"+0.8864104","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":"Q1960416$E0A50850-0C33-470D-A90E-3417830097BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288db0b3a24393a3371b5c4a027bd0c894a2a812","datavalue":{"value":{"entity-type":"item","numeric-id":5875420,"id":"Q5875420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058f447862e98f5efff681f4a4fa8edea484245d","datavalue":{"value":{"amount":"+0.8845931","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":"Q1960416$E7707CBD-D39A-4904-9205-5D336549E85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b8c76e47469d00092e37b47e36a4f49f5f5117","datavalue":{"value":{"entity-type":"item","numeric-id":3990706,"id":"Q3990706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2f7b6441b0963e12905fc32fa84252aae872b1","datavalue":{"value":{"amount":"+0.8811139","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":"Q1960416$3F2AF383-A6AA-4F2B-93A4-BA02CE6FA2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aee37ae2d278d5b9a55df6ae6a1eae9ac4a69c","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbd5c87cc9acfa9a363a50e7e466d2c778dd649","datavalue":{"value":{"amount":"+0.87859106","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":"Q1960416$6C45CADB-215B-4C23-A593-AB1DA3BC1374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter free induction and provably total computable functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameter_free_induction_and_provably_total_computable_functions"}}}}}