{"entities":{"Q3809800":{"pageid":5839706,"ns":120,"title":"Item:Q3809800","lastrevid":88795526,"modified":"2026-06-04T15:29:29Z","type":"item","id":"Q3809800","labels":{"en":{"language":"en","value":"Parameter-Free Universal Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4079420"}},"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":"Q3809800$F92EFD2B-1C0E-4418-AEED-09DC82023A8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdcba58d11cc89d5a53529a86f3c03ada00d5951","datavalue":{"value":{"text":"Parameter-Free Universal Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3809800$5D600799-60E5-4114-A345-EA0EC0921EA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c961db844f9840a25ecb576eb1aaa19fae592a05","datavalue":{"value":"0661.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809800$BB271EE1-C9A9-4436-8579-FC6904351CCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809800$DFC35AE3-7C48-454E-BF3F-E6435AB6FA44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3809800$96004B1D-6C92-4B95-8A5C-5B6831719911","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809800$465DFE59-8AA2-4C3F-952A-AEB29D8F18ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7c6d57c71545f82eb9bad0c7b5e3e40dc5627a5","datavalue":{"value":"4079420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809800$EB1A2D82-2C30-48A2-868B-C0ED16097953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc0ed203c74d5b75296a6702ef131be69ba968b","datavalue":{"value":"structural properties of nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809800$9B37885F-6B5E-4414-BCDF-BA9D0C98BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cbe83eb9ab937e859812bacc3b32940e970db3","datavalue":{"value":"parameter-free induction of universal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809800$93FC4442-BDE1-417E-A106-B26BD30B6B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b60121f4ead963f26f12fc963b100f6e825b38","datavalue":{"value":"parameter-free induction of bounded-universal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809800$5CE83156-6B86-48CC-A8DD-7000CACFF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4640db1ef774127f186aca69beca28a88a397dee","datavalue":{"value":"recursive models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809800$0F2F0E2A-45A6-402E-85E0-9FB316F4FCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19cbfd979f077b20d52e4b29476e07fb73906a4","datavalue":{"value":"Tennenbaum's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809800$E5EB5070-36C6-4430-BE17-34DBB444B503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809800$85D3589E-7120-458A-9DD4-13EEB72351A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809800$14DB601B-FA98-4007-8C60-D13AE05F9C0D","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":"Q3809800$4672F90F-2AE6-4093-BB31-8268C931A341","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37abcb530130c482b18a9f99286ca763c2177544","datavalue":{"value":"https://doi.org/10.1002/malq.19890350511","type":"string"},"datatype":"url"},"type":"statement","id":"Q3809800$2DC97237-3E0C-4155-B9C9-E046CD88B6D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44e3dc5aeac951ad446c34eb1f1f611586194d96","datavalue":{"value":"W1987517400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809800$315FD590-6768-48B4-9043-79EA5C6125B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ced86042f33a03f098e758b239711f070db2ff4f","datavalue":{"value":"10.1002/MALQ.19890350511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809800$38D29244-123A-4854-A910-481E0B2DD31C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabe937a4f26f9a7fbd9c30a7e00c6dea97d4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3172123,"id":"Q3172123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba33bbc866b2f0037e4a3c774570c3c6d0556981","datavalue":{"value":{"amount":"+0.7907052636146545","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":"Q3809800$FE0694FF-25E5-4163-B10F-A3E8F15AC4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a9d41e496ac807447307ac401854d076ed6956","datavalue":{"value":{"entity-type":"item","numeric-id":4364507,"id":"Q4364507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d454e497e42cc36fe5b52f51ddcfbb604e018f","datavalue":{"value":{"amount":"+0.7828450798988342","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":"Q3809800$530DEC09-7DF4-44DB-BED7-129A71039FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613b69ad76c8fc3ea3d99ec97a8669a0e4d62269","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e524a71b2857c8a9ce69fbf9a5201c5fdc3025d","datavalue":{"value":{"amount":"+0.7784731984138489","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":"Q3809800$5F853029-8441-4C5C-AA90-83897542ED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8418eb488784c1b0e16f07168709005617b11b","datavalue":{"value":{"entity-type":"item","numeric-id":3807194,"id":"Q3807194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8fa23dbd3a120eca6445c0e8f5f39feff008ca","datavalue":{"value":{"amount":"+0.7782626152038574","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":"Q3809800$47665DC8-4B36-4EF8-B9C2-FBA1EB11F38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c866301411d1a8c012802f95ca31ef3e3f44fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":3778748,"id":"Q3778748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32afa61f884df68039baa32559901f2fe1574d3","datavalue":{"value":{"amount":"+0.7714784145355225","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":"Q3809800$C12BD18B-029D-46F2-962D-A2A1E9C6BFA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameter-Free Universal Induction","badges":[]}}}}}