{"entities":{"Q324252":{"pageid":326019,"ns":120,"title":"Item:Q324252","lastrevid":60965046,"modified":"2026-04-10T20:17:52Z","type":"item","id":"Q324252","labels":{"en":{"language":"en","value":"Inductive inference and reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6636999"}},"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":"Q324252$5B2E144D-5890-4779-BBD8-BFE0D62FCA69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b48fe676ad1c4200cb5814d2ae9aa4747c0d4e6","datavalue":{"value":{"text":"Inductive inference and reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q324252$A217D47A-D85F-495F-BCAD-14FE9213A13A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062510f48ad32e735f8f2240c60678d32587c11e","datavalue":{"value":"1403.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$BC328763-25D2-426F-AA9B-481C02C09072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5824ab187e347bb42d9c1a52851520aa57d799e2","datavalue":{"value":{"entity-type":"item","numeric-id":324249,"id":"Q324249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$91E80AC7-CFF6-4DCD-B996-E50A7CC4C389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$297DC8FC-DA33-4181-A025-DC387885D624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7fbe956cf60c7c3ae673639c76733e0c2b340b","datavalue":{"value":{"entity-type":"item","numeric-id":197705,"id":"Q197705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$23D9FF26-4EAA-446D-BDB8-D00658712022","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":"Q324252$59A20251-42E2-43EA-AE0D-95DB1A6DAC77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd25b1e6687d57bba13de253a615a4349160ee7f","datavalue":{"value":{"time":"+2016-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q324252$C9D667C5-B0BF-4CDD-899B-502577E247FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$AD389E46-8FA7-410B-B3BA-EE650FFBE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$00AE7C8E-DED2-40ED-951B-F8204E1842D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$F8DC8FC7-A1D8-4650-9491-DC2E07ECF76A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1489e75b14c2e1dd050efd6bac4a9ab855dc58fe","datavalue":{"value":"6636999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$7ABAF6AF-290A-4C2B-97C0-4171196043B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q324252$5A90EEAB-77F1-4170-B7A0-F5C412570E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q324252$ED54FE35-F6F7-42AF-BE28-084A48B99F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q324252$6120815E-921A-43B5-A5B9-8F14B62047B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59931dfa798312da251774267e365463d1e424e8","datavalue":{"value":"learning from positive data","type":"string"},"datatype":"string"},"type":"statement","id":"Q324252$5F8AD028-A19D-4212-83DB-5F29475BAD44","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":"Q324252$297F2672-EE89-43E8-A78F-A5A854FC9FE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"272a3b31c2fce5d78b383ad4c81e1b3fcf2ed65f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2016.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q324252$FBC7F117-EDD7-4713-8635-7AE5F4FB6D5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b5adb234a82a0ac4e3cb8a035cffdae2797d3d5","datavalue":{"value":"W2461280032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$E2D4BEBC-10DE-456A-B592-0A0111BA608B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e1b8d58fb93a1d82b37d6d16183c75ad23fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3985087,"id":"Q3985087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$930E65D7-FF12-43F1-8F39-00161BB66F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40c59feb183e6f32a8e2fcf3769d2018e89bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3910029,"id":"Q3910029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$B075B2BF-99E7-4B47-92F3-9C1FA6C77350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1252d1a75df811aa2d125851fb76a199b341c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3945599,"id":"Q3945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$B2E67894-AB02-4F78-82E4-2917C534B954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$55D7EE7E-9307-4028-ACD0-E37E5A29C5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3bf33256a5ad05dec4dd26658d72db0fa7e649","datavalue":{"value":{"entity-type":"item","numeric-id":3704910,"id":"Q3704910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$E7A2D232-B81E-43D6-A483-E3E004B89A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c442fad7b5d4f015ebade6085c65d041e687b","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$9030145F-981D-4B26-BACF-3C5D2ECEECD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$98C52D58-8857-4716-964E-04DB8A319241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4d924e5b1bda332b441b278f9bb1a56ebca94f","datavalue":{"value":{"entity-type":"item","numeric-id":963060,"id":"Q963060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$9B89C8ED-640A-45D3-B066-1428FAAFA770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166c4966a54910730d3749dd298c1901bc52103d","datavalue":{"value":{"entity-type":"item","numeric-id":2268856,"id":"Q2268856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$96709179-AD83-4CDB-9B93-A99599010B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2127de484360fcd4a5ed308d12f290ea2cbaef","datavalue":{"value":{"entity-type":"item","numeric-id":375889,"id":"Q375889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$D8FEEE2D-4C27-479C-8537-AED7290032EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$45AB9F04-D367-41D4-B9D8-4963F3CB1FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$3FF1F1B6-8388-4425-A93C-E719796C06E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8abdbb31a8c9190e88f555d71d8b0bc288d6a05","datavalue":{"value":{"entity-type":"item","numeric-id":817838,"id":"Q817838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$7414ECED-C44E-4EEE-9C99-A5FE14B1318F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$9E53A06D-EE9D-428F-B4FF-9D142F67ADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5212d86b9b5d517b5d02210856f1274be18d80e8","datavalue":{"value":{"entity-type":"item","numeric-id":2955013,"id":"Q2955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$CEB0CE8E-87E6-4B20-9589-90A13E613E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a741ee1e1772f56d290380cb62f418c22e3e412","datavalue":{"value":{"entity-type":"item","numeric-id":4304787,"id":"Q4304787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$33D64DA5-F7A4-4339-8ABD-06B091532A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7039ce1a41f3b0c4f4e36248ae9d3fb4d1cefc","datavalue":{"value":{"entity-type":"item","numeric-id":5571699,"id":"Q5571699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$20D27D37-68B3-48A7-AC4E-DB8EFFDF865B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$1BFB0DF1-04B0-4CEF-98EC-C43DF8B35199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$C0812001-248B-4639-B3AD-9C6E3B917AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb33c90b46dd004c7fec895b58abf9f44b7c709","datavalue":{"value":{"entity-type":"item","numeric-id":4013550,"id":"Q4013550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$325F983F-900F-4813-8184-6E4C73DABFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2772b1b90ea03b3ce009413f5c9b158fc61671c1","datavalue":{"value":{"entity-type":"item","numeric-id":1898458,"id":"Q1898458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q324252$9FA2C584-766C-46C0-B99F-80840BCA516D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d76020ee450f999a3eb7fa639cd71ba162ab32d1","datavalue":{"value":"10.1016/J.APAL.2016.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q324252$F64027BC-9CAF-42CC-91DD-703B708DF015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339c20f6347f4c9909b35ed078e997919b701384","datavalue":{"value":{"entity-type":"item","numeric-id":2955013,"id":"Q2955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3198cfb693a9991fd38e4ab106341fed63743438","datavalue":{"value":{"amount":"+0.9792808294296264","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":"Q324252$0C90A2C3-AD3B-431D-A079-BCF120C1DD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d21420c6da3eaef366a9deb3a45c7bcfef9f7f","datavalue":{"value":{"entity-type":"item","numeric-id":817838,"id":"Q817838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30845d31eaa6c4d496cc683d308b7b0b2b0221e","datavalue":{"value":{"amount":"+0.7522307634353638","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":"Q324252$1D8A8542-A44E-4CFA-A46C-E0F07F168F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f370a8f81fdfc413706a3975e31749f543527788","datavalue":{"value":{"entity-type":"item","numeric-id":3163663,"id":"Q3163663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4f32c9e95ff69ca1f9b31a31e3a3561d0c90ce","datavalue":{"value":{"amount":"+0.7398499250411987","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":"Q324252$E6C641BF-0C74-4436-9D80-E33B9278C608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb6ea11e0439394de252de26b0a010826e3f53e","datavalue":{"value":{"entity-type":"item","numeric-id":1312709,"id":"Q1312709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78d30392911649e8ce5fc0cb9a79fd1ef916440","datavalue":{"value":{"amount":"+0.7386286854743958","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":"Q324252$6CACFAC6-DC41-4366-80FE-2DA8DD17EC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdd08704a8ffa07a601d0d29be39fe19545ca2d","datavalue":{"value":{"entity-type":"item","numeric-id":3758822,"id":"Q3758822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1504f785c75a9dd6f9a83fd43a490773c6a12d","datavalue":{"value":{"amount":"+0.7257555723190308","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":"Q324252$8330CF46-9C43-4500-AB44-C83D359D586C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive inference and reverse mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_inference_and_reverse_mathematics"}}}}}