{"entities":{"Q4993757":{"pageid":7023334,"ns":120,"title":"Item:Q4993757","lastrevid":91261283,"modified":"2026-06-04T22:41:41Z","type":"item","id":"Q4993757","labels":{"en":{"language":"en","value":"A jump inversion theorem for the infinite enumeration jump"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7360001"}},"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":"Q4993757$588A223C-15DC-4CA7-A048-FE08F959B361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4866c99f22b5f7cd736de3532456af9c31ba565b","datavalue":{"value":"1474.03098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993757$27BAA435-3CCF-4622-9A4F-FF94DA55FFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2d86434d69e6d3a51fed0c46b5b782b17130a6b","datavalue":{"value":{"entity-type":"item","numeric-id":283103,"id":"Q283103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993757$605D30CE-1AED-4095-8E69-547B551B4306","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"161dc6404af7e2740517c7a23186f316718cd847","datavalue":{"value":{"time":"+2021-06-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":"Q4993757$D923B9B4-CF9E-4EB0-8BDB-74CB5FE05CE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa1d4dc8f054fcb86d0a9f8d8adc69f2fa9bb39a","datavalue":{"value":"https://www.fmi.uni-sofia.bg/en/node/6794","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993757$ADA24C78-BC55-4FD9-84CF-30B3F81374A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993757$84C82BF0-E794-4316-9332-368F6F2486F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993757$50D9932A-EEF3-41F1-BC12-AB7FDD623F2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"678b75bba001b8bc9fc7b296ab2a28b4867edb6c","datavalue":{"value":"7360001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993757$395B2103-67E2-447E-83E6-365D5393D016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba63a3ec360bdcb3035a87816aa2f07e91aebfb4","datavalue":{"value":"enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993757$99E18951-92A4-4F8F-9C21-F604A1493650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16aafe80549a645c52b67ceefa988f7dd4950319","datavalue":{"value":"enumeration jump","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993757$A57A9B8F-65C0-4171-A18B-E85F8AD09D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f165bf28b50cacc658818bcc911ae4a36222f512","datavalue":{"value":"enumeration reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993757$F9FFA3E4-98BE-454B-8A12-C026F0028736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993757$C234B099-2B84-4710-A7A1-322E704AE881","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":"Q4993757$FC4E4D9F-7211-4A7E-A641-2D4D41780AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e247c9bef8441c8932e03b7366c51178aa4b790","datavalue":{"value":{"entity-type":"item","numeric-id":1584013,"id":"Q1584013"},"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":"Q4993757$DF9761B2-73C0-4383-8FC7-FE5CF668DD25","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":"2af8d7bd771cb0b16337a4edd136376036ed1f24","datavalue":{"value":{"amount":"+0.7880265116691589","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":"Q4993757$488C6D6C-E9CD-4BDA-9966-C0F237F9095C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83376fa0b642301c56128282d5728443075af47d","datavalue":{"value":{"entity-type":"item","numeric-id":5441128,"id":"Q5441128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58a00df65779cc75b99c98e020c59d21733fa9a","datavalue":{"value":{"amount":"+0.772307813167572","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":"Q4993757$428926BC-DA91-41E5-8500-9A62280746FD","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":"6305e9de40da54a3ff9ddcd5944ad98474fd475c","datavalue":{"value":{"amount":"+0.7722294330596924","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":"Q4993757$574921BF-C45C-4242-A694-27C6152789ED","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":"2185772ce87b9a85334d1ed7811d829f2b889b86","datavalue":{"value":{"amount":"+0.7669250965118408","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":"Q4993757$5BF97CCF-68DA-44FB-BE84-FFAC4FF1D456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A jump inversion theorem for the infinite enumeration jump","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_jump_inversion_theorem_for_the_infinite_enumeration_jump"}}}}}