{"entities":{"Q912844":{"pageid":914692,"ns":120,"title":"Item:Q912844","lastrevid":65327973,"modified":"2026-04-12T01:50:14Z","type":"item","id":"Q912844","labels":{"en":{"language":"en","value":"Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145889"}},"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":"Q912844$E071BFA9-7D53-4F67-930F-E1F124BBD493","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0a345c2dbcab236b51e5188bcf54d13c1d64e9a","datavalue":{"value":{"text":"Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912844$116360E6-20C9-4CE2-AF86-32E11701CCA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a89f81d032385fff36b5f626cd0d71038b93e0a","datavalue":{"value":"0699.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912844$94904D40-1F9C-48DE-984D-714EA9D2FEE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"490772227e9e737ba3cd72e427ca25e6eb763b88","datavalue":{"value":"10.1007/BF01980610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912844$1C252D76-02BB-4610-9E82-C77DA10BF036","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a498319eac620874fc53aa028708e74c50e8702","datavalue":{"value":{"entity-type":"item","numeric-id":912843,"id":"Q912843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$AAF55309-BFA6-42DA-905E-F9BBE4B5FF5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$99A16E3B-6848-4DB0-8DB2-78EC40915137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q912844$4CEBBC97-5E2A-4EC2-B727-A63B4367D95A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bd2ffd5ffb5f2157d1936503f03ac6795b4ec6b","datavalue":{"value":"https://eudml.org/doc/187460","type":"string"},"datatype":"url"},"type":"statement","id":"Q912844$B6F759FA-BEF1-4A6D-8546-D157F3C09BAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b84235ec75f641235b53a57f82ae1c6a3c559a61","datavalue":{"value":"The author proves that homogeneously hypersimple sets have, up to isomorphism, a unique lattice of recursively enumerable extensions. Problems connected with t-retraceability and automorphisms of the lattice of r.e. sets are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q912844$60AE46C7-8D34-4948-8C2E-903B7ABD1DFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912844$6121437F-A3ED-402A-942A-9561CD8495AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83df1301f9dd7dbde909cb5d11367db315a52a03","datavalue":{"value":"4145889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912844$1D92565F-DE5D-4C3C-91AA-C07D24865D67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d7e6f9e57c419d36723ea9b6e7812d58c66263","datavalue":{"value":"homogeneously hypersimple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q912844$279C1C0E-3776-4584-85F4-C86FBA1A5607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5109a747a1194fa458e5403675524ac7b458fa","datavalue":{"value":"lattice of recursively enumerable extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q912844$709ACA78-DCBA-4F9B-A1CC-F0E0C323BF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba7904c99a9bbd70d4b8743da26c855f5516912d","datavalue":{"value":"t-retraceability","type":"string"},"datatype":"string"},"type":"statement","id":"Q912844$65BF4463-A6F1-4F32-BD04-B5648660E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q912844$FC72715A-31BD-4DF5-94E0-0E57F48FD56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e45dc65e3011340162316286f079173dd79816","datavalue":{"value":"lattice of r.e. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q912844$F57A2F93-86BF-492F-84B0-87879F9B5701","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$B65FBB73-4FAB-4CDF-B9F2-5610C32AD864","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":"Q912844$1857D062-367A-4198-8F75-910D1F59B166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76608d6b44cb55a0f5cfe95fe56536e9614304c","datavalue":{"value":{"entity-type":"item","numeric-id":3880826,"id":"Q3880826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$1DC4DD38-4C87-4F44-AB0B-1FE3A2FFE7BB","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":"Q912844$5B3E2A14-3FFE-4678-B721-B6B33004857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d154ba6c2a32a85dade348adc122eac802ab0db0","datavalue":{"value":{"entity-type":"item","numeric-id":1156791,"id":"Q1156791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$38634F13-5D7E-43E6-BF7C-8374BFFECE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a623f649027635a4c99f1d37ce30c20ad7a06","datavalue":{"value":{"entity-type":"item","numeric-id":793018,"id":"Q793018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$4B787BDC-6AD9-4614-8EE4-6692BF1DD54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566700d1dd107f7b9133f57262ca95b0547b074a","datavalue":{"value":{"entity-type":"item","numeric-id":5586288,"id":"Q5586288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$F3A05097-C3BA-40E3-AFB4-CA628C72AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3338fe3614131d1c5a718d56ff89050e1228c88","datavalue":{"value":{"entity-type":"item","numeric-id":3848192,"id":"Q3848192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$2D3086E0-11AA-4B63-991B-BEEC68F3BD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbef6bbbe60bfce0721481461ecfc4b8834e00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912844$CC948F3B-41D4-4F4B-A2D3-5A02AA99E41B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2174398505337e780372de79394c89699d321196","datavalue":{"value":"W2312615636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912844$1B6FFE37-72F7-43F3-A24F-82017362EDC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8ea94e22259e48a152b35f4f0c1a6e3e5b26a","datavalue":{"value":{"entity-type":"item","numeric-id":3773863,"id":"Q3773863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c7ea841fcd2fdf42b2ff9a8f04aa8bdeeb17fb","datavalue":{"value":{"amount":"+0.8381720185279846","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":"Q912844$8C2C13B5-CBE3-4A29-BDEA-E2BA6B9BDCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194d93c06f5ae530822750bf38b74b51d5daa01e","datavalue":{"value":{"entity-type":"item","numeric-id":4731179,"id":"Q4731179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1721245af8c91c85358d9bbbcfcdae703785558d","datavalue":{"value":{"amount":"+0.8142750263214111","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":"Q912844$E00E8FC5-4D9A-4AA7-B65A-D7802602DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67a81f76dcf78626ce7bbe0936f96a474c0a1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4326223,"id":"Q4326223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ab770b9032adb915a59d679c24aad6cc3f4c08","datavalue":{"value":{"amount":"+0.7957499027252197","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":"Q912844$DDAECC2D-1039-4E72-8C81-654EA13B5357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe144fd175e3dd989d757eb228db597573cbbb46","datavalue":{"value":{"entity-type":"item","numeric-id":790103,"id":"Q790103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4197da481e6f84a2f26972ff1a547d73a2edde43","datavalue":{"value":{"amount":"+0.7927711606025696","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":"Q912844$9DD2926A-6A74-4FED-A99B-AF3C0E0C38E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13729af579ada2310fedec7e383a25530a218f35","datavalue":{"value":{"entity-type":"item","numeric-id":4337954,"id":"Q4337954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da41f6f6f414b84a5c718dffe65f713e3580351","datavalue":{"value":{"amount":"+0.7926692366600037","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":"Q912844$9B453E02-00D0-4EBF-9823-B90BC1E23195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Property_of_t-retraceability_and_automorphisms_of_the_lattice_of_recursively_enumerable_sets"}}}}}