{"entities":{"Q5718664":{"pageid":7748218,"ns":120,"title":"Item:Q5718664","lastrevid":48631804,"modified":"2026-01-05T10:58:51Z","type":"item","id":"Q5718664","labels":{"en":{"language":"en","value":"Up to equimorphism, hyperarithmetic is recursive"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247416"}},"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":"Q5718664$2337834A-0B42-4A19-9914-141DB57C15FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eef372b4a1faecad88b7151ea3096aaf2728334","datavalue":{"value":{"text":"Up to equimorphism, hyperarithmetic is recursive","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718664$7DFA6B7D-A070-4538-8E25-BCFE9A3416CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d6ea21fedfbcdd944bfe90dd97f272c91734446","datavalue":{"value":"1089.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718664$FD7080FA-FECB-4D80-A0E4-1993CE1CC81B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$B8381E48-6E25-4125-8433-9090000F056C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$FFC3FA4D-66C9-4BBB-9813-1F63140730B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718664$53E63D4B-D149-40C9-8483-BF17966D8A53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718664$05E40056-BEEA-4D9B-AB04-D376363AA0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718664$C25B4DBA-2817-49B4-8C46-1B8F37FC6471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcdb385d3eb26899400e361ff20773636bd7faca","datavalue":{"value":"2247416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718664$C0649085-D7FF-4EED-B945-AFFE1EEF6B02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8721ec0d0b65750710418c791ea8d258b2e89e6","datavalue":{"value":"recursive linear ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718664$C9A6D9C3-7CB9-401A-8A55-42415A15D333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a99a5005b6dc3ee546b64cd8dada026b8336262","datavalue":{"value":"recursive presentability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718664$A40BC3F2-9B52-4CB0-8531-5AD0ADBA9FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746eefbb555bcf0d20e5e3a0a1767e93916e1427","datavalue":{"value":"hyperarithmetic linear ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718664$6D32B2E5-CD4F-4746-A444-BB0D779F3A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b2a486a1d95422b448617ce99d5e426f706583a","datavalue":{"value":"Hausdorff rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718664$E9E69823-D73F-4E41-A475-123C5E6B68C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba94c76301070a4521fd194cb3c3782df19fd18b","datavalue":{"value":"equimorphism types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718664$70A65E59-58F0-4DDE-9D79-201821E272C8","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":"Q5718664$64E0F6F5-C0E3-4030-BDEC-E5F5B32985EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39dc043fac290029e68f0b0fb5856bb8283db233","datavalue":{"value":"https://doi.org/10.2178/jsl/1120224717","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718664$946FF136-686B-44D7-9DEF-A1952AEB82E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a996aa10e0077a8880d6f233419b2b0093d01229","datavalue":{"value":"W1981473293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718664$010BC631-614A-4789-B8E6-CA2843FB5842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$2D5569AD-F5EA-486A-986D-A0C7075D5533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$4903F58D-78D2-40D4-A52C-ADD5F3C4FDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb36a9ce618f22cc3a7f31f973287a4173a806ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425651,"id":"Q1425651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$845B83A2-8895-4D41-A139-7020BA8F0C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac5cb5cbfb9d8f8a931d2907f876d6296fa6de8","datavalue":{"value":{"entity-type":"item","numeric-id":4249355,"id":"Q4249355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$547C812C-1E88-4751-9690-A4FEBC0C0C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a3b0dd71eef5e79c43e6274b7b726033f98673","datavalue":{"value":{"entity-type":"item","numeric-id":1106846,"id":"Q1106846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$A80D668A-0699-41DC-B30C-C3E6BBF5AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a20cdcb1012f84268ccf9333feac03fa3451d","datavalue":{"value":{"entity-type":"item","numeric-id":4950472,"id":"Q4950472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$BC3B239C-FE78-4AD8-94AF-73977ECFDF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$C5966159-7F95-4160-A957-2BEA4F6C6FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b8d1be935a732156163c12cb5b6c2c77bda0b4","datavalue":{"value":{"entity-type":"item","numeric-id":810503,"id":"Q810503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$F744FE8C-2859-464D-A93C-CBD643B9024F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$4EE76E54-AD9F-4867-8515-B0F9BEB2C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718664$A02ED4D5-07E6-40D1-9354-A5663036804A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8132de2e71fbc3ba2cd807828a99c2b18543c7ad","datavalue":{"value":"10.2178/JSL/1120224717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718664$80399BFF-FD6E-4F24-B091-E8B3BD69E93D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd0202c5a6e2ed1dd4969ca591083a79bb622eb","datavalue":{"value":{"entity-type":"item","numeric-id":3594486,"id":"Q3594486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907f64be564aaa463ed291d4515aeb978fd7ffd2","datavalue":{"value":{"amount":"+0.8200883865356445","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":"Q5718664$30CB5D6B-5C03-4E5D-A0FE-CF2080730415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9f868007ceb45890d71a1947899929b043f47d","datavalue":{"value":{"entity-type":"item","numeric-id":1120568,"id":"Q1120568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde01e41c6e08ca0516bb542a9ceda87e716c005","datavalue":{"value":{"amount":"+0.7441544532775879","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":"Q5718664$D7B0C331-D1DF-403F-9126-50D226FD5584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1befcf51feea996495f5029135be1c52a29989c","datavalue":{"value":{"entity-type":"item","numeric-id":3695272,"id":"Q3695272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6a5c4609b7fb2bcdd1125d0eed31bfd2fc9fb0","datavalue":{"value":{"amount":"+0.7389698624610901","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":"Q5718664$99DF5DB2-FF36-4024-9426-FC7AAAC0A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe1c4f59140662f8109e47df26c15ad57411cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5479116,"id":"Q5479116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbac536af815637d9867e9b05df48f1757d34627","datavalue":{"value":{"amount":"+0.7376179695129395","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":"Q5718664$8BD234F8-C3F0-4F11-8B3B-87E39599C775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9031f8ba120902bfbe1040a1e8862c110523ed","datavalue":{"value":{"entity-type":"item","numeric-id":810503,"id":"Q810503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853b5a9f77555170b018553d46f0f425ea475ceb","datavalue":{"value":{"amount":"+0.7360861897468567","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":"Q5718664$9B36DACC-5969-4FF2-A06E-A26EFB7024E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718664"}}}}}