{"entities":{"Q1277538":{"pageid":1288288,"ns":120,"title":"Item:Q1277538","lastrevid":67197375,"modified":"2026-04-12T15:59:02Z","type":"item","id":"Q1277538","labels":{"en":{"language":"en","value":"Complexity properties of recursively enumerable sets and \\(sQ\\)-completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1257040"}},"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":"Q1277538$73B800FD-8E35-41EE-82B3-D71A011BA9AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8c9dd7571152e8beb2b0f3bb7100d8d3c5ce24e","datavalue":{"value":{"text":"Complexity properties of recursively enumerable sets and \\(sQ\\)-completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277538$46262AF2-21A2-4DCC-9CC0-34BC6282E38F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"719961e47ac605ed33cf361b40cf2031f48c5a13","datavalue":{"value":"0922.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277538$1937E58D-F383-40E5-8AB4-FC2F4C0EA788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1519ec9b77dcb74dd374788405085702300317ec","datavalue":{"value":"10.1007/BF02360877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277538$3B640813-4484-41C4-87B2-64835F7CA7C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$D676AF18-0155-4DFC-9F00-BDA1DE6F2FAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83fe9e06aa9d40cff90268e1038560222d3bf965","datavalue":{"value":{"time":"+1999-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277538$D75FB3FA-8311-47D4-BB61-779942C058A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac5714cf4c559446baa7f7a99edf3aa75cc59e5e","datavalue":{"value":"In the paper under review the author defines classes of effective subcreative and effective speedable sets as natural ``effective versions'' of classes of subcreative and speedable sets accordingly. It is proved that these two classes of sets coincide with the class of \\(sQ\\)-complete recursively enumerable sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277538$FAE7A8A5-AC8E-42A1-9F51-4D01940AE47F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277538$3A12BFA7-7E27-4E7B-88A6-822C5EABD3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277538$51AE230D-5B98-426E-BE95-AC678C7BA89D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5402bb5676a0af783b49f688ad67a21421d1c7ff","datavalue":{"value":"1257040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277538$02A2F05C-9E74-4584-8335-CA6C60142C0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277538$4034D8EA-0456-4B06-9958-20AB295DD652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0abb57a2af0c2a0657e1a12eac0e48dc107e490","datavalue":{"value":"effective subcreative sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277538$1289E643-8343-4DFA-A6FD-F54A0A6198A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db39cea99a56edfb2dee1f9a1252f79b7299d70a","datavalue":{"value":"\\(Q\\)-complete sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277538$1F98AF3C-2E99-4033-B866-2506CACB22FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc144c3a8b04993be489fdb9dcf04ad2228c8ca3","datavalue":{"value":"effective speedable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277538$A2DA4ABE-7A57-4730-B31E-7F4663BE4C2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760aea6a29168acdca880977efcbbf48e149fc50","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$C8FB827C-9E32-480C-A1C6-90105B5A81D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$DE994F20-4EAD-484D-AFDB-44D3DB250DBD","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":"Q1277538$2D298C66-4A96-4335-A8C6-86982EE00BD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8163a5081f8b0b291e678042b7038ef6a2c37a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4101804,"id":"Q4101804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$6B3761AB-FE26-4BD8-9752-A69FEC58DB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21d1a3439f28d02b5e1fbc89d2d9ce035d62c69","datavalue":{"value":{"entity-type":"item","numeric-id":4049050,"id":"Q4049050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$A9F52380-C01C-464E-991F-32D56CDFB887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$172EA038-45BF-4F79-9422-38F7C28DC9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$587679E2-7496-492B-95C8-185DFDBE1D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27dba3abf981cf0e9ad2911a7f5b5589c7a22c7","datavalue":{"value":{"entity-type":"item","numeric-id":4383591,"id":"Q4383591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$54C99DE5-0F09-4F33-AD0C-45DFD876EDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe5e2690e8aa5db86fc37ab1eba592d8077faf","datavalue":{"value":{"entity-type":"item","numeric-id":3843613,"id":"Q3843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$C8E1E91A-4D6D-49DB-A487-E82155AA1220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2b1fc6a64f7a5ffaf3101f2061a6fff41b0d07","datavalue":{"value":{"entity-type":"item","numeric-id":3980107,"id":"Q3980107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277538$F0047434-69C1-4535-B981-B9BDFC03A5C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada7dcdc9d70898a1a98d439e36af17a3804a292","datavalue":{"value":{"entity-type":"item","numeric-id":4383591,"id":"Q4383591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef7aaa2fdb99cf6b60bec5d2de2867637d76535","datavalue":{"value":{"amount":"+0.9397767186164856","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":"Q1277538$5DD9E4F3-BDEC-4B1C-BC6A-AA411FE2C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431e6bce658b0e9b60702d942c994da922636d07","datavalue":{"value":{"entity-type":"item","numeric-id":5942014,"id":"Q5942014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63522586e7bb2161ea46f9055847282824fe08ed","datavalue":{"value":{"amount":"+0.894080638885498","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":"Q1277538$EC05C5BF-78A7-4503-9666-6C1874BE67EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1303a6f8bac63456f6edfe983930451b570d663c","datavalue":{"value":{"entity-type":"item","numeric-id":1316903,"id":"Q1316903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2640bdf07c3997068f898998ceabdd6e1ed970","datavalue":{"value":{"amount":"+0.8382298350334167","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":"Q1277538$72094144-539A-476F-9EB9-AE387CE05637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231f171783b3be94cf88d53cf47baba145402eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3816067,"id":"Q3816067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87ccbacea28b39e0c783087e48acef21a89996a","datavalue":{"value":{"amount":"+0.7892061471939087","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":"Q1277538$859C5D00-3058-4F3E-8C8F-533E40CC1D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity properties of recursively enumerable sets and \\(sQ\\)-completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_properties_of_recursively_enumerable_sets_and_%5C(sQ%5C)-completeness"}}}}}