{"entities":{"Q757358":{"pageid":759207,"ns":120,"title":"Item:Q757358","lastrevid":49473106,"modified":"2026-01-07T05:27:29Z","type":"item","id":"Q757358","labels":{"en":{"language":"en","value":"Lattice nonembeddings and initial segments of the recursively enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191613"}},"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":"Q757358$60F541B3-FDC5-421F-8C9B-C3E7CF10A39E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7ff18e635ff41a34e367b205d586e3042b7f86e","datavalue":{"value":{"text":"Lattice nonembeddings and initial segments of the recursively enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757358$7860DAF5-F2E4-4963-8B6A-DAA7C70C2B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2184445fdf1fb5955f70ddccbaf9427f9db17088","datavalue":{"value":"0723.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757358$1BEB6234-3C63-4C77-AAF1-4CA7013BDE02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff4521d2162875fa39314bb9bab297456abe1a87","datavalue":{"value":"10.1016/0168-0072(90)90062-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757358$AE2FF04F-28B8-40DD-B1A3-117150E5705C","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":"Q757358$9EF621D1-CD68-4E64-86D6-8BD97FD1D6D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757358$3210BDBE-3595-4162-966E-392DFB866C4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d533b5b597fd5b56dfc6c74862a8b31510d02ad3","datavalue":{"value":"The structure of an arbitrary initial segment of the upper semilattice of r.e. degrees is investigated. Main result: There exists a nonzero r.e. degree that bounds no critical triple. Conjecture: Every lattice that contains no critical triple is embeddable below every nonzero r.e. degree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q757358$270BBB1F-6513-40B5-8611-6A3C035D55A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757358$ECA48B9D-F79E-47E1-87BE-AA60DB46A7E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4107aa3e12bc1e8654d714299701b5299065da5c","datavalue":{"value":"4191613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757358$CD460E8B-4305-423D-8C07-F9CD525DA1AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q757358$0B4CDA29-F99A-43C3-937C-471DE1199824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13136a7ef535d87af5090163433ed01637a6af8b","datavalue":{"value":"initial segment of the upper semilattice of r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q757358$D7D69C78-EEB1-48AB-B340-850D0C1CD412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5a2793f1d7c1d287d7a068282984687b77dc96","datavalue":{"value":"critical triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q757358$10E0AB3B-ED5F-4D4E-9F82-0B736A5147D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$3EB4EC57-E0DC-40AB-BDA2-E0B6C87107D0","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":"Q757358$6D45C04E-4AB6-4EAF-B6A4-8915B8C352D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7d75edce4f8127fb77ace34d4f6b523008f18e2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90062-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q757358$C11A044C-98C1-4CDC-BE41-EFF036BD9E04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb53869ba241d8489a61a0f7c0ac3acea1381fe8","datavalue":{"value":"W1980888823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757358$8FA75BD7-F169-4BBA-B3F7-13D554B07B04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9cda4b39156bdddc665a0bb799c9a31ed83983","datavalue":{"value":{"entity-type":"item","numeric-id":5187269,"id":"Q5187269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$0DE92989-BF03-4ABF-85A1-BEF062AD948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a42e2fce249278dbaa1982acb319a315e1aa6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4205431,"id":"Q4205431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$5330765E-D1D2-4374-87DC-35B55DB19FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db98ef22ce5b321a4510aec2c6bc54a3ad34d49e","datavalue":{"value":{"entity-type":"item","numeric-id":1092896,"id":"Q1092896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$6F239F00-5960-409D-B81A-B78488CDA95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8acd3d14e2a764e8ee394cb1671a0ca6c03a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3197813,"id":"Q3197813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$134B040B-9C0A-4A79-ADA5-7A9FB7487D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aae2c55c4e1b6e2ff59464cc1df93f464e1b840","datavalue":{"value":{"entity-type":"item","numeric-id":3197814,"id":"Q3197814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$D00F128B-2DE3-4AD0-B1CC-AA99D438BE74","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":"Q757358$2DC33736-449F-4F69-A7C6-60F85DA9CB90","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":"Q757358$0C1A698B-99EB-49FF-AFC1-54595A5D6134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff557e7dc247071db38e3d3a6654bb3ac39f29","datavalue":{"value":{"entity-type":"item","numeric-id":5670617,"id":"Q5670617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$04CBBCF3-10E6-4A9B-AC9B-6CABA4E6EB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33baeb8b1d0ce631770e405e454620cb1cdbbf64","datavalue":{"value":{"entity-type":"item","numeric-id":3864501,"id":"Q3864501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$B92B070A-F472-483D-849A-6EB3C0CE8EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb14f104575f480ed58766d6e77e783ada64cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3026991,"id":"Q3026991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$D4D97F6E-0A6A-4862-A43D-8B411C728554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77984245afd4966d0d2892959ac3b439c909c55","datavalue":{"value":{"entity-type":"item","numeric-id":3691658,"id":"Q3691658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$F556E39C-3D53-44F5-B9F5-2F90274CFA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757358$CB5D154A-4A47-4BBE-A659-3E86FFD24A84","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"71cc9ce6d843c87d9025a889d598a5ceb74ffe4c","datavalue":{"value":"Q127957228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757358$E57C537F-D844-4A91-AFAA-42795D3051EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c8c1ebd736f71aef2158f3f45ae3a1153a2a5a","datavalue":{"value":{"entity-type":"item","numeric-id":1802183,"id":"Q1802183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d852b663bc7bdb8e4bca489023b6236826dd9ba","datavalue":{"value":{"amount":"+0.8857241868972778","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":"Q757358$73CA737F-D8F1-4891-84CF-45E8F6744849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ab7b6ec0cae8768fa95704dbd74a97df79959d","datavalue":{"value":{"entity-type":"item","numeric-id":4764099,"id":"Q4764099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c63a559f07b4c5af14df6ab5677b44b126d85a1","datavalue":{"value":{"amount":"+0.88332200050354","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":"Q757358$9578CA78-4961-4C0D-AD90-41F356E3B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ef08035d9441745685a34ded10875e3cc80e10","datavalue":{"value":{"entity-type":"item","numeric-id":4205431,"id":"Q4205431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5184645f03442f7d2dd1c5e64958b8d2f6f334a","datavalue":{"value":{"amount":"+0.8762546181678772","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":"Q757358$6846E303-FFF3-45BD-9ED8-B7B8F9914D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615803992e1dadd50bd920a7d5394e5b9d5056ef","datavalue":{"value":{"entity-type":"item","numeric-id":3712325,"id":"Q3712325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f914dd4f9a43e457c82cc34f9ab767ab4a1802","datavalue":{"value":{"amount":"+0.8480005264282227","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":"Q757358$63CCB03B-D2D1-42EB-B833-21D5B2B32E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679c0dc6e3e67db1f85ebb9c77a7f8711404443e","datavalue":{"value":{"entity-type":"item","numeric-id":3770516,"id":"Q3770516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1a3235f48a9e5361fe91d1ac57c99638533927","datavalue":{"value":{"amount":"+0.8459352254867554","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":"Q757358$1110ACDB-5A94-4872-8410-CAAB086E6D39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757358"}}}}}