{"entities":{"Q5300071":{"pageid":7329645,"ns":120,"title":"Item:Q5300071","lastrevid":58522587,"modified":"2026-04-05T14:20:47Z","type":"item","id":"Q5300071","labels":{"en":{"language":"en","value":"A fixed point for the jump operator on structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180292"}},"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":"Q5300071$7A1ECC3D-4517-4457-BA94-618DE717DB88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"245ad207f475e9ee139b77830faf78689590d30b","datavalue":{"value":{"text":"A fixed point for the jump operator on structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300071$5EAEDFFB-6314-49D0-866D-8B4D4871C520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96d2ace1c6dd398e2bb96b6f73c849cf12124377","datavalue":{"value":"1305.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300071$CD6BF3CA-96D5-4CD1-BC3C-2D62EACA4733","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":"Q5300071$3E45A925-9925-45BB-88FB-1624B2A5B1E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300071$11592059-1E4D-4A4F-83A6-C090A8A17DC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e94dde4790ce2cd9c86a7d10c161daab74cd1f55","datavalue":{"value":"https://arxiv.org/abs/1106.0908","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300071$984DEAEA-F24D-4BF0-8FFD-76A8E20CA7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9831660981c9f261ce04a666765d95b1c64486a0","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1368627058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300071$0BAE6245-45A5-4939-B567-9088648F78A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300071$41A29D69-9876-45A0-8D59-28A2EEE0A609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300071$1E1C3C16-838A-476E-AACE-8B162A311FA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f1a21bd5c727740dc9a30f274d217ae2e7c37df","datavalue":{"value":"6180292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300071$BEFE7D21-75BD-4C2F-AB33-7055D203329C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d96b00b703394dec7a131f196d03a78971399e8","datavalue":{"value":"computable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300071$F66B5AD0-E46B-49CE-AC68-36BE9E71C908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0249355a8cdf1f888808e13250c420c84fb4c63f","datavalue":{"value":"jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300071$EBF95F9B-C1B4-44D9-BBAC-435420AC1711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ca18098a49d01b14234a87a9efa7f967854d0c","datavalue":{"value":"effective interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300071$59D58F5C-5029-489C-902B-AF402F2B20C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd2f9323d4fe988b90123a4fbf58107426221f2","datavalue":{"value":"Ehrenfeucht-Mostowski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300071$9E523EB2-770C-4218-AB16-61B7A6EB4FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d58681a24a98c2741db08ca3b3fafdb31255cbd","datavalue":{"value":"ordinal indiscernibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300071$3E2553A6-758A-4EE4-B881-9804580AFC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300071$A7B0AFB9-9DA1-49BE-B5BB-43D733025F19","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":"Q5300071$F4755685-B905-424E-9D2E-7749BF2ADFF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56d1519731ccc408e731f5b7b2ac19ecec71cc59","datavalue":{"value":"W2016482046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300071$7E6B1422-0FD8-4A0E-A4DF-E2E039453F2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300071$A250AEE0-DE62-475E-95FE-F606F8E9F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f698b19508b4d35629554686d93422b17c7b58a","datavalue":{"value":{"entity-type":"item","numeric-id":818923,"id":"Q818923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300071$A84B80B8-55D0-4D20-BECB-E9852820C3DC","rank":"normal"},{"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":"Q5300071$E903EBF2-5288-4146-AF43-CC1FBF7F9A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb00daeb600c33bdb6784a21af48a463f2039d","datavalue":{"value":{"entity-type":"item","numeric-id":1123889,"id":"Q1123889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300071$2BADCD78-709D-4EAE-B72C-009D5B117AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b489aef4df0c01680ab05ac08b9f0f01449508","datavalue":{"value":{"entity-type":"item","numeric-id":3611730,"id":"Q3611730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300071$E72CCA2D-A99B-4443-86AB-53FAAD003192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713bd297f25829aaac644e3e1f589b7369b6e5d1","datavalue":{"value":{"entity-type":"item","numeric-id":694226,"id":"Q694226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300071$9B4C5BF9-3670-48B8-AA97-C400D72AF2F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5acad881341b0f9c0f939de0cb5c82448a6f9829","datavalue":{"value":"10.2178/JSL.7802050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300071$B6766EB0-3FB6-4DD5-905B-BC433CD5F0B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6476354346c00b5e33a350ae745598ebe01149c","datavalue":{"value":{"entity-type":"item","numeric-id":3216640,"id":"Q3216640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b00737f34792b72c0d0e51977a9f39a4c1bed3","datavalue":{"value":{"amount":"+0.7545086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$8CC2B8BE-FDF0-49FE-A280-86DEE2FBF872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46411e482fe7557062ceea980053753d87b3db3","datavalue":{"value":{"entity-type":"item","numeric-id":3521600,"id":"Q3521600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ead1fe8aeeba5133128687654f1e5ec37716fe","datavalue":{"value":{"amount":"+0.75448775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$7473FDB1-8D2A-46A3-8AA7-6A3C7BEC6B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725fb05bc5679f77d2f2229629d3f20658053e92","datavalue":{"value":{"entity-type":"item","numeric-id":4863239,"id":"Q4863239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed88af2a3325622fc4d82113f7fff1942f57856","datavalue":{"value":{"amount":"+0.7521067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$B939110D-41FC-488D-87D7-ABB02A571498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11df3696bceb15b1241a073d67629ed74c8ead70","datavalue":{"value":{"entity-type":"item","numeric-id":3128481,"id":"Q3128481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a225c264bfa5c88da7a2e90b95db335809199d3c","datavalue":{"value":{"amount":"+0.73448443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$E3D378C3-7FE8-4D87-BE04-2549926DC13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebba0470867e98f5efe70324a5bf4bb3be9a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4249362,"id":"Q4249362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa29798c003c61aa58f9b2a21a0aeae9ace85139","datavalue":{"value":{"amount":"+0.7325926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$9EA608A8-7308-43FF-BC6B-0D55F3017991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e837e7120363ef476541ebf00d06ba40f7f6a6d1","datavalue":{"value":{"entity-type":"item","numeric-id":4994212,"id":"Q4994212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50d12ff9752a7fbc8c0d94dca458e92822d3d01","datavalue":{"value":{"amount":"+0.7264926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$47C06DC3-F8F7-4DE7-A514-D3288BEC74DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0205c67c3a781994bb46bb84578d880ef801fce3","datavalue":{"value":{"entity-type":"item","numeric-id":3691653,"id":"Q3691653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2d5f4a42f583299d58d4f3b3e4c318f076e435","datavalue":{"value":{"amount":"+0.72439253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$B41F8714-C348-42D9-8861-622CE2CDD989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e8c42a4a1bad8ab010c3d8ad5e68f00148deea","datavalue":{"value":{"entity-type":"item","numeric-id":2862196,"id":"Q2862196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3347c365f3d6cbdaff0c8cf22995274fc28656f7","datavalue":{"value":{"amount":"+0.7229886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$7F5383AD-9AF0-4CD8-B541-70B493944A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a759e42b1a94b461ea429101947feb33d8d27eb","datavalue":{"value":{"entity-type":"item","numeric-id":2707068,"id":"Q2707068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c44dd4a6f1fbc94adfa188a1d3620884577d42","datavalue":{"value":{"amount":"+0.721363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$4849B854-3F5A-4C77-A276-4FA57028EAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaccd7b22a8df5bd68194026e067b8142e26ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":584251,"id":"Q584251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c0fb72f52f3d1bb9cb47ba115c979b7deabef7","datavalue":{"value":{"amount":"+0.7196524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300071$4AC123C0-A8E8-43D0-9EDC-474632A91237","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":"Q5300071$3E1DF621-215A-4BC1-B468-A485BE03216E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300071"}}}}}