{"entities":{"Q685080":{"pageid":686929,"ns":120,"title":"Item:Q685080","lastrevid":47188027,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685080","labels":{"en":{"language":"en","value":"Infima in the d.r.e. degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416887"}},"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":"Q685080$A44E7C92-88CB-46EB-A8E7-B170CBE3D00E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b4ccef619b16e10d3c54ada5b870fac9f32f23c","datavalue":{"value":{"text":"Infima in the d.r.e. degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685080$999CFB98-3066-4CF9-AED6-E7F7A53EDCEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cac0e0e5d2fc978b578602e640c7c758e55d67c7","datavalue":{"value":"0784.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685080$2BE4FB85-AE8D-4067-B202-27517B3E498A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ac78d81d21a4592b0ce4f11177db50f854207b5","datavalue":{"value":"10.1016/0168-0072(93)90238-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685080$EB9402E6-693D-4A7F-8E60-4FCCE0EB52DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe3eb8bf1999af1e8fc173738bd484ff56751f59","datavalue":{"value":{"entity-type":"item","numeric-id":685079,"id":"Q685079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$2442F639-BD56-4021-BE8C-859EFBD24F01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$6BE32423-4AD2-4935-86F6-411B965FE065","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685080$ED2AD49D-7BD6-4915-8196-A67DAEB05732","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad0ef61733cbbac69e958578d79213a949a2ec28","datavalue":{"value":"The reviewed paper is a selection from the author's Ph.D. thesis and is devoted to the study of n-r.e. set degrees. Several important properties of the infima operation on such degrees are obtained. For example, the branching of every low r.e. degree in \\(D_ n\\) for \\(n\\geq 2\\) is proved. The same does not hold for \\(\\text{low}_ 2\\) r.e. degrees. As a corollary to the first theorem, the embedding of the finite lattice \\(S_ 8\\) is obtained. This gives an additional example of the property distinguishing the elementary theories of \\(D_ 1\\) and \\(D_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q685080$C11B4105-43E5-4867-972B-9DE8B5AAACC2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1b8876fc0e708a0055b0cdba0e0185bc5d38e76","datavalue":{"value":{"entity-type":"item","numeric-id":465141,"id":"Q465141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$ED761110-F602-4F83-B957-1A9C7EF07030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685080$F69DF93E-D2A3-4256-87B4-0130628A1C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685080$02469564-9591-4B8E-A1E5-CEBA7CA8BBAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4adf692a1c68c744eca87f74ecf532720345fa1","datavalue":{"value":"416887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685080$E1E2FCFB-661B-4ABF-B1EA-C0021CE14DD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"031e6dc1e9a4c12685c27df8d0d50c4741fab680","datavalue":{"value":"d.r.e. set","type":"string"},"datatype":"string"},"type":"statement","id":"Q685080$59EF6B4E-210C-4D47-AE30-E0596C191FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948cc8cdb885a280b485e2da2b71f5dbbc318ce4","datavalue":{"value":"Turing degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q685080$6505C4A3-FD98-46FF-9DA8-85A433578BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94b6132f8754970b41ec04d307cd96d51bef68c","datavalue":{"value":"embedding of finite lattice \\(S_ 8\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q685080$5DD747C2-A2C7-4273-BB0A-75A4FFB82308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"472096acf400a82b058f2d0617de6b434db12e33","datavalue":{"value":"infima","type":"string"},"datatype":"string"},"type":"statement","id":"Q685080$9A4E0B60-F474-473C-A576-7D17523D8075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23ab83b0e0b7402d2b88769b37817a48d25bf49","datavalue":{"value":"branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q685080$F4B755D4-9EA8-4728-BB1C-2F1E3CEA7A88","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":"Q685080$016DA00C-E022-4DBA-9109-1D6EDDC80D0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"affc28851ccb3447b8a4d5e12095d959b3f0962e","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90238-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q685080$84EDAA94-5EEE-4CA4-9D5A-72E42432E048","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a41cbdcd4fb46556f58f1eb039ad113421d83944","datavalue":{"value":"W2010338821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685080$0453917E-5BEA-4B06-90C9-AAB9CF0A6638","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c27a5614ac0d8289aa5e8ba99f413eb9fb19d","datavalue":{"value":{"entity-type":"item","numeric-id":5661863,"id":"Q5661863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$3DC40986-F539-4728-9E9D-AACEECE11BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4179161f919db9dcbcd98ef0db5617ced5fd807","datavalue":{"value":{"entity-type":"item","numeric-id":1179531,"id":"Q1179531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$68848D53-C2D3-44F5-911E-DEC6405B3106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"944cc543495ec883d4fff588e35bcb43c0150adf","datavalue":{"value":{"entity-type":"item","numeric-id":1182487,"id":"Q1182487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$819C9180-D388-41D0-907E-D90928301573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7920cdf388a5ed50e563163b97bc3726cc303c","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$A4AF927B-77FB-462F-BD22-CF146B7C4618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c929ecfa8f2db0dd69585ea5ecd0d74b52ed4269","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$2A226905-060C-4807-A3AC-7B13D5C4C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3753d4078b0e252803e0d68417e93825dc53","datavalue":{"value":{"entity-type":"item","numeric-id":5619076,"id":"Q5619076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$81BD5138-BC17-4D0F-8E34-BF9A894D81C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c4d3ef65931bb4361fe1cbab9eadef67638ff","datavalue":{"value":{"entity-type":"item","numeric-id":3962982,"id":"Q3962982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$53E0F680-7E47-444C-A157-E5A1839BE6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb5d02297c353098eb650295fe650f46ef66ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1055403,"id":"Q1055403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$2AA294E1-C92E-4F4A-BE23-7137EA8C2D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e10ad025d9092a4bf339636fc9e15f8e0ef7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3666835,"id":"Q3666835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$A95AA2BA-D317-4422-AAF3-C1670E9645A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3af41dfdb6fb1d3e74a0d4d49f596f724795b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1142206,"id":"Q1142206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$471E7DD5-EEA2-4D28-93E9-A89181F196DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$1230C000-40D0-4022-B40E-76AEBC392458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe44472347622bb04bbeaf5dc9ebb849f20789","datavalue":{"value":{"entity-type":"item","numeric-id":3476801,"id":"Q3476801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$6742E845-120F-4396-90B0-2852E0BE42BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$5B16C38D-1E1B-43AF-98E7-AD893FE7C127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c008f44aea72219beafb17df7c629a39a28069f9","datavalue":{"value":{"entity-type":"item","numeric-id":2560238,"id":"Q2560238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$00CF4C9B-A635-4FDA-95B5-48ECDDE175AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd3a853401c0a338f3c6d9ef11af48e72f68c40","datavalue":{"value":{"entity-type":"item","numeric-id":5729295,"id":"Q5729295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$6AA6CFFE-BDCF-4559-BC28-6D40399A61CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$A0A54BC3-A131-440C-9400-E9FAF5B30567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c662cfb058b883255aa2f0d1c3458ae74649778","datavalue":{"value":{"entity-type":"item","numeric-id":809074,"id":"Q809074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$B1B4EF41-8410-417A-B41F-BF46489C3A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7a79ad5d72d6b5482aaedfb2526d8e1808499b","datavalue":{"value":{"entity-type":"item","numeric-id":4185801,"id":"Q4185801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$84BCAE3C-22FC-4497-87E8-28E691DB1428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$AFBC02A3-3609-4F88-B9D6-7F5F696F89E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685080$4844E527-88DE-451D-A520-E3ACD74F847F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b42af6e2cbedfb99c49e64bafef7241b4df02d","datavalue":{"value":{"entity-type":"item","numeric-id":3576065,"id":"Q3576065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68daa5bcc1d18a0b1866c493178e7b6af07cb978","datavalue":{"value":{"amount":"+0.8586073517799377","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":"Q685080$D0D73874-9E54-49A6-B4F9-28BD270A6886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bef43f7ad20cf4ae6091335ce7897224db19cd","datavalue":{"value":{"entity-type":"item","numeric-id":2655142,"id":"Q2655142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fb4ad74b6744d35c6c19eb4b9095176c94eaa5","datavalue":{"value":{"amount":"+0.8512648940086365","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":"Q685080$501B9DD0-CF2F-4808-9834-E38DD3C34ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56cc276cc928c3a43d55987918919264ee506d3","datavalue":{"value":{"entity-type":"item","numeric-id":3491535,"id":"Q3491535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1deab5dd106fe965b49b6f887fad19bdf53b9b51","datavalue":{"value":{"amount":"+0.8046242594718933","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":"Q685080$7F91A711-7AAA-4196-A086-6731B5964C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701573972f71993cf999425f78b7c212438abaaf","datavalue":{"value":{"entity-type":"item","numeric-id":2784779,"id":"Q2784779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00d71636d7bd16ea2317090aa9627158b25f70b","datavalue":{"value":{"amount":"+0.7879003882408142","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":"Q685080$415F8257-5991-444C-91FF-4B0F156FBC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890f1788f9694b1560086dd4eccad55e732174c2","datavalue":{"value":{"entity-type":"item","numeric-id":1114676,"id":"Q1114676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6449dfdf69b858ad6b051f13c028e8a1c9f8376","datavalue":{"value":{"amount":"+0.7815091013908386","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":"Q685080$20E287E0-1C95-4560-BE72-558991EEB62F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685080"}}}}}