{"entities":{"Q1267600":{"pageid":1278350,"ns":120,"title":"Item:Q1267600","lastrevid":67169064,"modified":"2026-04-12T15:45:31Z","type":"item","id":"Q1267600","labels":{"en":{"language":"en","value":"Initial segments of recursive linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1210096"}},"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":"Q1267600$BEEC516D-AEE9-41DC-8EDF-10EA15A67012","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36f47cdffbe01bd4c461e208a84e56741f8d1e5a","datavalue":{"value":{"text":"Initial segments of recursive linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267600$756E881C-779B-498B-9C23-8FB38F4A439F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4f81c042460d192cdba96e50addbfe4834e3860","datavalue":{"value":"0909.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267600$5EAB07E9-0EFF-402A-A522-880A45668551","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bef145ee87ff06771d3668fd37744ae9d461849","datavalue":{"value":"10.1023/A:1006043601359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267600$95837567-D708-46FD-BFEF-69AEBCC8B833","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00f46b24a6e783ec8666cb789e3b7557d2392c8","datavalue":{"value":{"entity-type":"item","numeric-id":242614,"id":"Q242614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267600$A81978AB-CE00-44D1-9337-9A3D74E65F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267600$2B13DF51-C804-44F1-83AE-A4ABC791233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b09a388965329c926d542d4fdd3e9db9fa7e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":162061,"id":"Q162061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267600$C9B7560A-5829-477F-85A6-7703E74D1C8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267600$F410D5F8-4062-43AC-BBE5-9F8116925050","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393efb923ef82c131d1c3b46af0d2fb041de6ddd","datavalue":{"value":{"time":"+1999-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":"Q1267600$387963E4-E773-455B-9A10-20F40D375E91","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b95b6cc15194a3c19ea45ebb651ee11f847492d0","datavalue":{"value":"It is proved that any \\({\\Sigma}^{0}_{2}\\)-initial segment of any recursive linear order can be presented recursively. The result narrows the gap in the result of \\textit{M. J. S. Raw} [Complexity of automorphisms of recursive linear orders, Ph.D. Thesis, University of Wisconsin-Madison (1995)] on initial segments of recursive linear orders of arithmetical complexity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267600$5074833C-1D3C-458F-8659-C831C6160CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267600$2D53149C-DD15-493D-8D69-EED36B6FDD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267600$999850D3-3D27-44FB-BCC3-8BB29EF160C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50c0ccfa16137cce9215db1116e942f9b73e5952","datavalue":{"value":"1210096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267600$702A3CA0-514B-45BC-8051-DA4B10B3AFBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2815726ef0b016f8d5b829025b71e718b760086d","datavalue":{"value":"recursive linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267600$11F1A507-75EC-44EA-AA4F-A2017D02E436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d7b041a891b4b73db38069702295154f909429","datavalue":{"value":"initial segment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267600$56FCEB78-BD4A-47B7-BEF5-392F06CBF956","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":"Q1267600$A33DFE6F-0022-4F65-AD1A-728E34242FBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ff0d156c46e8a5e8011351f240f22297a31c98","datavalue":{"value":"https://doi.org/10.1023/a:1006043601359","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267600$8F20047A-CDFB-4511-8A57-480E29616338","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40a20f80431792f954bae726a96a30eff39fc316","datavalue":{"value":"W108828974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267600$DA1E9CC9-0C30-4F3E-ACF2-DEDE4EED00F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcea55c80b4e8223892688b89ca9151248e2ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1267602,"id":"Q1267602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9323220ed0f8bfe8dbff869c46d1b0e642ee88","datavalue":{"value":{"amount":"+0.8450952172279358","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":"Q1267600$7AC2398F-DB3A-4AEC-9A7B-A72D8F12F710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67e037076244f93e812b0bd2eed860413c488b8","datavalue":{"value":{"entity-type":"item","numeric-id":431706,"id":"Q431706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c30d5ea816703fa38622790094deeeb0a73cda","datavalue":{"value":{"amount":"+0.7852823138237","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":"Q1267600$06392D47-02C6-4473-8432-5F7F7619BEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e4720ec097a8684f3b0e448bd20721d70e343","datavalue":{"value":{"entity-type":"item","numeric-id":308863,"id":"Q308863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bde8ed0321b16ce7f8ef2a3080a5f739046749","datavalue":{"value":{"amount":"+0.7815226912498474","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":"Q1267600$F781E52B-0D07-4585-B581-7524D17E5C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa74ee5fe21e4a7922dfee1788df24f119f5f00","datavalue":{"value":{"entity-type":"item","numeric-id":4764109,"id":"Q4764109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8853231c3af44b9c554f2c739d0d112bc16bf7c","datavalue":{"value":{"amount":"+0.7795740962028503","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":"Q1267600$502C7AD1-C289-4C78-895A-AEF132DD349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc76efc8c7be154e6ad565181b1d805634c5bc1a","datavalue":{"value":{"entity-type":"item","numeric-id":3977226,"id":"Q3977226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1f1c30e73ce94ecb578880a689c502fa95a27f","datavalue":{"value":{"amount":"+0.7771145701408386","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":"Q1267600$D1BCFC6E-CAF0-43D0-96EE-C751F947A561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Initial segments of recursive linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Initial_segments_of_recursive_linear_orders"}}}}}