{"entities":{"Q1584013":{"pageid":1594753,"ns":120,"title":"Item:Q1584013","lastrevid":70755309,"modified":"2026-04-13T16:33:41Z","type":"item","id":"Q1584013","labels":{"en":{"language":"en","value":"A jump inversion theorem for the enumeration jump"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523602"}},"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":"Q1584013$5CEFD7D3-8D68-4D62-8470-C018E71C0065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5977601717832e0958934e6848b77b43db8ebbe","datavalue":{"value":{"text":"A jump inversion theorem for the enumeration jump","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1584013$76FD547A-576F-42F4-AE3B-A9430831310F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081ecef97f62d234aadb896ce88c984af5dc7812","datavalue":{"value":"0960.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584013$C3179638-35FD-40A5-9F95-F2D1A1AC70F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584013$E9F5BC38-0505-4991-89DE-AAC21AA47645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"813cbcd07cc85185a006be56944eed3aabcf5f7b","datavalue":{"value":{"time":"+2000-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1584013$599D259B-FB79-4C5D-A2C2-761A92B55741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584013$AE663B34-7746-465E-B8E9-581B2C8DF52A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad315ea1812596011eec2a45d7bc60c4b91ef03","datavalue":{"value":"1523602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584013$EBDC5418-B791-45CE-A9C4-7D327EECFD57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6ba81a84b394ebfa04a56dfe6a2f6f03e94873","datavalue":{"value":"jump inversion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584013$20D8CFE6-9B61-4BD6-9662-A90B9221368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16aafe80549a645c52b67ceefa988f7dd4950319","datavalue":{"value":"enumeration jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584013$099E6248-F4B3-4207-AD5D-3FDF4D5CAB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9029ae735c5a0d75020a8bc23286de8d6a27399a","datavalue":{"value":"minimal pair type theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584013$3837B35B-95A1-4382-960B-E6435492DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f165bf28b50cacc658818bcc911ae4a36222f512","datavalue":{"value":"enumeration reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1584013$64FB2F02-4D43-4F5B-9655-7EE841A735FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e522bf80d63c061c6b099160308fa331e4f35e","datavalue":{"value":{"entity-type":"item","numeric-id":1032629,"id":"Q1032629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1584013$B6FFFFFA-49D5-4A97-830C-6834EA4CA7BC","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":"Q1584013$20DB89E3-5984-4C58-8761-DFC424318F47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be23740b30122afe6f1e04ae586aee0f6d9a42ab","datavalue":{"value":"https://doi.org/10.1007/s001530050156","type":"string"},"datatype":"url"},"type":"statement","id":"Q1584013$2E6A10A4-D8A4-4B50-9CB1-037937438919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57f1d926d519ec9847408f484205e58010b475b8","datavalue":{"value":"W2022920911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584013$4FB395C7-BDA4-42C0-AE15-943BC8D11076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c9c52be8d4e1c21fb106872da047f033c4da73f","datavalue":{"value":"10.1007/S001530050156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1584013$58AB140E-0A14-4895-98F3-0478DB6A38A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be5aa3c7098223d3b1f76f21ed45fa9b2ad5a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4993757,"id":"Q4993757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cec4226c78f10044e53335574399425bcd62cbf","datavalue":{"value":{"amount":"+0.8675873279571533","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":"Q1584013$BB93DDB4-4EBD-4203-8BAA-DC76C104DD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fe3685395cbf69fef606481a8408ea1974a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1407609,"id":"Q1407609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665f04e87e1233d31f5b5421939a9fe0c74bef2a","datavalue":{"value":{"amount":"+0.8196418285369873","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":"Q1584013$6E04E6D5-8B46-4A3B-A39C-A6B3D8F113AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb57b6a37e05df75ee66d93a2e6c0f3d3d41e38","datavalue":{"value":{"entity-type":"item","numeric-id":1111549,"id":"Q1111549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f446ba9d23d18e1bfd18101b2a68eb5110b64ffe","datavalue":{"value":{"amount":"+0.7837559580802917","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":"Q1584013$D82446BA-A46E-426B-ADE0-6227BCE25F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c89589e83d6cc44ca650c673cef7021db80382f","datavalue":{"value":{"entity-type":"item","numeric-id":4451721,"id":"Q4451721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9e7872a77109ba82806aec4cfe3149df300596","datavalue":{"value":{"amount":"+0.7737412452697754","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":"Q1584013$4A0EC0D4-0AB4-4B93-B7AC-0AE9A3F8EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5c35914c646c6f44d6576ab3e9def056d9c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":412060,"id":"Q412060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbf1043d48ae8bef47cd5af93262772984ab0ee","datavalue":{"value":{"amount":"+0.7681226134300232","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":"Q1584013$547B0558-66EF-48A5-AE33-E58131BE807A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A jump inversion theorem for the enumeration jump","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_jump_inversion_theorem_for_the_enumeration_jump"}}}}}