{"entities":{"Q793018":{"pageid":794866,"ns":120,"title":"Item:Q793018","lastrevid":64377108,"modified":"2026-04-11T19:27:07Z","type":"item","id":"Q793018","labels":{"en":{"language":"en","value":"The intervals of the lattice of recursively enumerable sets determined by major subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855087"}},"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":"Q793018$7AB9A1AD-FC1D-451D-BEDB-9BE5100B424B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af271c5f4adf6d499839eba53c3a79b2c108d5a0","datavalue":{"value":{"text":"The intervals of the lattice of recursively enumerable sets determined by major subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793018$C91A05B1-60A7-4D9C-ACE5-8261EAA26056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3632ef5394e0c2bc4799eea3eaf752f084ea18db","datavalue":{"value":"0538.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793018$13FE7A36-313B-4A02-911F-7E0E955C5194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222c2f39089ac2bbdf865015cc5525ae61f8606e","datavalue":{"value":"10.1016/0168-0072(83)90031-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793018$87C703AD-AEC0-4B19-8261-D2D208337E38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78494649a50abfeb7718b8ac650c7c073c553a9","datavalue":{"value":{"entity-type":"item","numeric-id":353853,"id":"Q353853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$40F1F555-7EBF-4055-B382-8F6994CD275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4761e83e89cc17291485567599a5ae1ee159d81b","datavalue":{"value":{"entity-type":"item","numeric-id":685056,"id":"Q685056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$EC567652-716C-4BA8-A0C0-9E6573C1EC4E","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":"Q793018$74F57EC2-5DB9-4D2E-8FBD-E4AAC185F2A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793018$365F4A2D-669A-49A3-8B5B-D742F61609B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e8359638e0c97cfdaaebef801fde9f315e2221c","datavalue":{"value":"Define for set X the lattice \\({\\mathcal E}(X)=\\{W_ e\\cap X:W_ e\\quad is\\quad r.e.\\quad set\\}\\) and \\({\\mathcal E}^*(X)\\) be the lattice \\({\\mathcal E}(X)\\) modulo the ideal of finite sets. Let B be a major subset of A, \\(B\\subset_ mA\\). The main theorem is: if \\(B\\subset_ mA\\) and \\(\\hat B\\subset_ m\\hat A\\), then \\({\\mathcal E}^*(A-B)\\cong {\\mathcal E}^*(\\hat A- \\hat B).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q793018$6A60742F-3341-4F72-98B4-15FAF2CEAB76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793018$0CEF4BD0-B8BE-4509-A146-4E632318E00C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9efbec81df18105e8cdc40d50e89df6a4171710a","datavalue":{"value":"3855087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793018$16AF5D65-12FE-4944-B9A8-40D6D1B534CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2a1b8dd2902185390ec17f1d4ad210c2a10492","datavalue":{"value":"lattice of recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q793018$91EFF460-6DDB-4994-A55C-5B5560635646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eaf7063df2cc176fde8a4217faee2fbcb32f928","datavalue":{"value":"major subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q793018$CAC1925E-1DBB-400E-BD66-1A3F1B26C5FD","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":"Q793018$D490F399-5EE4-4549-99A2-E319BCCBD9D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"347577952c77bc3d9cbfde73559dc98f4fd9ab34","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90031-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q793018$FEDD4824-C808-4B94-B088-093EE497862B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ed1c255a61d1603718002b1e88a3e13eeee0f15","datavalue":{"value":"W2093944354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793018$4F729450-0D7A-412B-9F7A-A54DE7ED907D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc9b3f543a41c988076ae748700dea2b62bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4767304,"id":"Q4767304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$AA2A0C73-0141-4A31-ABC5-1CEDF7CE28F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077b9fe34d72d2bf676c1af169f2284ce78c9086","datavalue":{"value":{"entity-type":"item","numeric-id":1843563,"id":"Q1843563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$BF23EDA1-04D7-4031-9199-DF3B913C6799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0665857a7e548ddce8eacc922d9f75c81ec1652","datavalue":{"value":{"entity-type":"item","numeric-id":1248505,"id":"Q1248505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$41F04120-4A2B-4894-9785-F6FB21B4F0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b0e409ebcee6cee216ed726bbf3a24be14c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3337460,"id":"Q3337460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$F3DE89ED-CB40-4745-979A-17B6E7BD1CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$7D4B650E-EF1C-4D47-957F-A241056469AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e0b969fd8e3d4dc018b4b6f3026ab7278e8869","datavalue":{"value":{"entity-type":"item","numeric-id":3041174,"id":"Q3041174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$6FEB82EC-E7CD-4DD4-868E-410951D638F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2672a10af3428154110372773946afeaa5b03b8","datavalue":{"value":{"entity-type":"item","numeric-id":790103,"id":"Q790103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793018$1D5CDE09-19BC-49F3-A29D-9D01EE7FC19E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c8b121f834ea1538e628ef07ef4b1a1d4b9e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3699680,"id":"Q3699680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578b2ed5a0592c7c4351c51e80b863fd0ec9878b","datavalue":{"value":{"amount":"+0.9084770083427428","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":"Q793018$4FC1DB7E-2198-470B-9FB6-CEC1ABE798B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d1db3a8a7d2d11e52a2e9d45924970cbbfae0a","datavalue":{"value":{"entity-type":"item","numeric-id":3720580,"id":"Q3720580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc6ea9b1b72938dda2646a7c056dd22a5a913a6","datavalue":{"value":{"amount":"+0.8296833634376526","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":"Q793018$77275AA6-820D-409D-AD2D-3515EC7FC90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711bb578a143c957d319d74266ddd7f907cb30db","datavalue":{"value":{"entity-type":"item","numeric-id":4863243,"id":"Q4863243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c0caad43375961f9954e4b4c8f5f4b6f6ae0f4","datavalue":{"value":{"amount":"+0.8273667693138123","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":"Q793018$73958525-970E-450A-B877-298232AF6739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef80f156bf288446fb09c4f845fb75f8fc3c6d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3701408,"id":"Q3701408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e41d7fbc817d0a46e75da5bdeb667df4f6660ed","datavalue":{"value":{"amount":"+0.8070411086082458","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":"Q793018$3BABD5D7-3934-4B1E-9068-D0617B94F9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2d2b40afa8615ad14b2a609666beeb12d8a069","datavalue":{"value":{"entity-type":"item","numeric-id":4354181,"id":"Q4354181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b996813a371a6175e688bc249de79ebb2c1f42ae","datavalue":{"value":{"amount":"+0.7792482376098633","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":"Q793018$E953C12F-2711-4658-8DD4-DA06F04E7944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intervals of the lattice of recursively enumerable sets determined by major subsets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_intervals_of_the_lattice_of_recursively_enumerable_sets_determined_by_major_subsets"}}}}}