{"entities":{"Q5845382":{"pageid":7874933,"ns":120,"title":"Item:Q5845382","lastrevid":48639010,"modified":"2026-01-05T11:25:23Z","type":"item","id":"Q5845382","labels":{"en":{"language":"en","value":"Recursively enumerable sets of positive integers and their decision problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3106575"}},"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":"Q5845382$E8F51C2C-74AA-4952-9E70-43F02865D675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80cb0fd3af9726df256c439a5d1f458a9b8b8dac","datavalue":{"value":{"text":"Recursively enumerable sets of positive integers and their decision problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5845382$16CAA841-DFA8-4754-922D-ED64CC459D79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1916aba6374e880a7993b1276812a60318a0433","datavalue":{"value":"0063.06328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$3F9A375F-A627-45D7-A913-7DA4A0D63269","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3d8a4bc80110bd21dc681c413f290d4ab2cc6fd","datavalue":{"value":"10.1090/S0002-9904-1944-08111-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$8B4C3A46-0E53-4A31-93AA-5DC2DFBB3CDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"621d9cc75a408c6843e8c6609fed82621c86db7c","datavalue":{"value":{"entity-type":"item","numeric-id":1454827,"id":"Q1454827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5845382$EAC485DA-E578-4F77-AC64-A1F142E6A048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5845382$B3FA6248-FD54-414B-9175-B8D9DD92F7A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a959c6e5dc8a983774e23b2f91874f573982598","datavalue":{"value":{"time":"+1944-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":"Q5845382$33911874-56BC-459B-B1DC-DDBD5EB3A14C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$16FFC79E-9BB7-4743-9BB9-232461D6DA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$1F4F98EB-3007-4E5F-AE77-3C5B590F8A50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7224562f6da007f3fc3ebeaabe5b6c7c014019c9","datavalue":{"value":"3106575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$3CF8C059-36A1-4227-AC5A-2ABE458B03DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"479f869dd20e3ef0b5b6180c648eee1e0ef6ace7","datavalue":{"value":"Recursive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$9C6D2188-3AF7-4800-8FF8-ADD3805577A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$1A3E5E79-B27F-4691-819E-1823A37341E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c26f32d6948e4a045ae73b20ec076113ae2518a","datavalue":{"value":"G\u00f6del's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$64A4EA59-8423-4D1E-BC68-3F5E2F65AD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b255a0bedef1575ad1703fed42cf71260bfd1759","datavalue":{"value":"complete set \\(K\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$C599041E-DBDE-4922-836E-B147987EF3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270a4725709af90cf6986248151444d29945d74f","datavalue":{"value":"creative sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$8A6D90A7-32A1-4CEC-A266-AB2D7D0CC2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394244979073c45fe99112f2bed184c2cfc06da5","datavalue":{"value":"one-one reducibility to \\(K\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$8C90B8E3-F98C-4F6A-A16B-C331790301E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214cfd74473bc6d0eae3b8ca28189646d43fd7f1","datavalue":{"value":"many-one reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$BCBDB899-3D5A-45D3-B054-BD1FE6DFA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4304b4bac40ab760bf98c5cc7bd6541e45e0a0cc","datavalue":{"value":"sim","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$3FA64FFF-6D04-4E55-BE1D-6AA0F2008A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f03fa484f1a109afd818418a8b1e46a93aeb3d7","datavalue":{"value":"non-reducibility of creative sets to simple sets by bounded truth-tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$DD5271F2-DBCF-461B-8EA4-1AB7FB50E717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10647b3eeb51fe0914c103572d1679c67a3d14e7","datavalue":{"value":"counter-example for unbounded truth-tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$B614D1B0-F0FA-4F13-B748-28E004E9AD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bd2233dc9dc45a4a750d3142c8e27e3eafcf41","datavalue":{"value":"hyper-simple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$899D3DA6-D4E4-43A3-9501-3D7993C0FD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db302ba36ccaafe20e5f886b4010cf0f27b73203","datavalue":{"value":"non-reducibility of creative sets to hyper-simple sets by truth-tables unrestricted","type":"string"},"datatype":"string"},"type":"statement","id":"Q5845382$1B18B71F-5302-45A5-B9D0-1B765271F291","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9f2beefb3adbfd0a391f6caa643d03547f11bca7","datavalue":{"value":"Q55881466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$9A4E29EF-8FF7-438F-9554-12F6702D7FFF","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":"Q5845382$199C5EAF-9D69-4D31-A646-FBDA02C017F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44f0e3cd1b7f8ea569dddab70d88c64865c50b65","datavalue":{"value":"https://doi.org/10.1090/s0002-9904-1944-08111-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5845382$CC4497BD-9A13-45B3-A4BC-3BC96AE05244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66a3cc22e92c60ac67142648533c7ab66991b0d9","datavalue":{"value":"W2045033949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5845382$550B6793-2B91-46C7-82AC-DCF6D5D6F246","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747926ebc36a5550fddc3c55feebb2327bb1a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3998241,"id":"Q3998241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb17f803bae1e1ace6c780507a527c2f388f8c76","datavalue":{"value":{"amount":"+0.7837939858436584","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":"Q5845382$FD01EADF-5F86-4FA6-B589-BEE8BB201BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d665c25478e8b233b47c7385833a842f0ab34f95","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12ff4c1d900b980a0167b59c7193f0dc7c4a6b9","datavalue":{"value":{"amount":"+0.7672370672225952","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":"Q5845382$5B743960-D003-461F-B07A-B180EB265A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8161fbb98d9ad0e249dbce35c05761564373f7a1","datavalue":{"value":{"entity-type":"item","numeric-id":3283893,"id":"Q3283893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609754159c294386d1a6995e9adf63dfadc4617e","datavalue":{"value":{"amount":"+0.7611989974975586","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":"Q5845382$F9C2732F-C8BC-47AF-9BDB-F1FACD746122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b996b1ab733bb0f0574a21a464137a13a83d99db","datavalue":{"value":{"entity-type":"item","numeric-id":4274278,"id":"Q4274278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1021556b4e6d1ab38efbd801b815942642c2ad42","datavalue":{"value":{"amount":"+0.7601765990257263","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":"Q5845382$667858D6-2F7A-47ED-B84A-2E963DFF206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddca182616b7b777521ab6ffab8025ee2057422","datavalue":{"value":{"entity-type":"item","numeric-id":3792671,"id":"Q3792671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac1de077647310580fb39cfeb8d78ffc2436778","datavalue":{"value":{"amount":"+0.7580040097236633","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":"Q5845382$63E68997-A184-4C5F-9491-31FC40A197F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5845382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5845382"}}}}}