{"entities":{"Q1015375":{"pageid":1017223,"ns":120,"title":"Item:Q1015375","lastrevid":69822018,"modified":"2026-04-13T10:35:18Z","type":"item","id":"Q1015375","labels":{"en":{"language":"en","value":"A hierarchy below the halting problem for additive machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552166"}},"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":"Q1015375$36B0BCFA-72F9-4A65-8C53-66DBFDB83A5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bafa702356cc1397c3ac7bf76d1b548b3c056700","datavalue":{"value":{"text":"A hierarchy below the halting problem for additive machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015375$E2DD1A36-B9C7-42A9-B1C2-D7309A18DB1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c8c5d417701abd1c3e29c1927e364eb1ec18f63","datavalue":{"value":"1166.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$0DB48488-4BC3-4E17-ADB9-486C717AD809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acd7bde716d93e0cd61dd5a06aa346a7f843d664","datavalue":{"value":{"entity-type":"item","numeric-id":215892,"id":"Q215892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$89CDA0BA-8B31-441F-9B13-1C4397EE8047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$C289E8AE-719E-47F6-851E-1673F0BE5D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015375$4EBE063B-69C3-4E8C-9BFE-4FE882A323CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$0F2B18EC-CDF2-4CBB-ABFB-7C286587DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$BD2ED8BA-BAE0-420B-BF2F-E73AB4A626B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$A0AAEBA4-4D0D-40A3-897D-111472D5072E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"667931a386efe74b1f63afcd7bbc618eadbdfbb0","datavalue":{"value":"5552166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$97A4583A-9E79-4A34-864B-159E32400349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98eeb489548a362e5ecff5bb0fc9f9c969f5e9a8","datavalue":{"value":"BSS model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015375$7A652F11-07CA-4CFF-A56A-2C001CADD10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3e9b3700300c5755bf1f8a65026f8b84b3da25","datavalue":{"value":"additive machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015375$8D8DABEC-238A-453B-A96A-2E9F2D961080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93d15778afea7f4613b642a3f3c981c5ba3e0f9","datavalue":{"value":"Post's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015375$B1B4A695-2F40-4AD9-A2EE-8C2378444CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015375$2A5149E2-752F-47E3-B144-8BE29AC6A91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015375$FBECD768-2CA9-4A44-935F-562BA0102823","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":"Q1015375$92885039-6C32-4025-B7C9-34B5B72DA519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c43c9d5ea68e58d8215e882a03f2bc0a7f8e405","datavalue":{"value":"https://doi.org/10.1007/s00224-007-9020-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015375$B60C3DD8-F501-4C0B-B002-39B09F23B2BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62815dd50a7160e1607050d0c717a5cef994d3f9","datavalue":{"value":"W2116191550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$C5E57304-102C-41BD-B7E5-28B6CE7DD139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$800913BC-B8A0-45ED-8E18-937C412DD36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1eeb051b31640d20b3c04ab21457e7436fcf4c","datavalue":{"value":{"entity-type":"item","numeric-id":4344505,"id":"Q4344505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$C5DFC258-81E8-45D2-B562-895F5F82EB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f242dfa793c5d7f8f411abbb0a6de6d28beaf4","datavalue":{"value":{"entity-type":"item","numeric-id":1908895,"id":"Q1908895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$2F3DD281-EAB4-415E-A135-BDCEAAE1DDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c928238a0b9a59eb2f4fd1a88eb9d1121ae53e37","datavalue":{"value":{"entity-type":"item","numeric-id":2754200,"id":"Q2754200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$B1372ADF-4A9E-4220-9A18-7E48DB7F4EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5746585457566a9017d1ce78fdea329c109057","datavalue":{"value":{"entity-type":"item","numeric-id":1338216,"id":"Q1338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$28CE235E-273B-4BCA-861D-2D87D275C529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cccc7c4d8b3d5ce9fca5aa4c0e21ea398c51e6","datavalue":{"value":{"entity-type":"item","numeric-id":5492952,"id":"Q5492952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$3EB2F9E6-6FAC-4879-AFDA-065C41A2BBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2052d9f1dbde60f7d2d8dce038fbd8d88176978d","datavalue":{"value":{"entity-type":"item","numeric-id":5898835,"id":"Q5898835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$8E2ADCB6-E83F-4896-ACBD-E263068809BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf086e0919fcd8af1df1aa6fd9ecee2e6da0c7ae","datavalue":{"value":{"entity-type":"item","numeric-id":2479313,"id":"Q2479313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$110AA22F-DA3A-4FD6-9026-7CB0481F89C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015375$15BBFE8A-D0A3-4C70-A54D-EB60A66AE611","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"415bf6e20a2440406e1abfb2a5ace28192795e1c","datavalue":{"value":"10.1007/S00224-007-9020-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015375$1C3CECD1-964E-4C2C-9823-E601549C8F82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f0718e79b95624b467ab4203058a00d0b6dcd5","datavalue":{"value":{"entity-type":"item","numeric-id":5898835,"id":"Q5898835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75c4142d3ec8cbd0ed3e9a1863eaaf132961c63","datavalue":{"value":{"amount":"+0.7781369090080261","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":"Q1015375$09953A5F-2B50-4322-A91B-A557DAF55529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478c4d5432a82310995e89968d15c5c014b85beb","datavalue":{"value":{"entity-type":"item","numeric-id":2871478,"id":"Q2871478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022f46916a24653a1d88ed6a6dac0dbc7e23839c","datavalue":{"value":{"amount":"+0.7551052570343018","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":"Q1015375$4F7BECDF-18F2-438C-A624-54F30A564EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0929dbd645ef3de8b518e6b4d0506097dc6ba62f","datavalue":{"value":{"entity-type":"item","numeric-id":884482,"id":"Q884482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2767bf47d24498bf423fe3b9e79c0f2dfbfffcb6","datavalue":{"value":{"amount":"+0.7254948019981384","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":"Q1015375$216C4FF0-2B75-4D91-AA18-218C18635553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8782799916a023ad8fbd4192b01740338356d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5492952,"id":"Q5492952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad041d2c42bf10dd0857a241674a3b2503ad2581","datavalue":{"value":{"amount":"+0.7240729928016663","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":"Q1015375$9C4600A9-D560-434C-9F42-1AF15672D92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d1102821ac2f5426ed2bd58451bd385d87120e","datavalue":{"value":{"entity-type":"item","numeric-id":2479313,"id":"Q2479313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1690f1451156528a81ef05ba36ca082a184c1a45","datavalue":{"value":{"amount":"+0.7200059294700623","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":"Q1015375$8EAC543C-5416-4B11-9885-5E50C8B55EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hierarchy below the halting problem for additive machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hierarchy_below_the_halting_problem_for_additive_machines"}}}}}