{"entities":{"Q3206938":{"pageid":3217646,"ns":120,"title":"Item:Q3206938","lastrevid":45687256,"modified":"2025-12-16T10:15:55Z","type":"item","id":"Q3206938","labels":{"en":{"language":"en","value":"Finite injury arguments in infinite computation theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648692"}},"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":"Q3206938$4DB21E08-AEE7-4000-B923-34D5DADEA064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"051afee4a170a9a0e476d760259591313d7728cd","datavalue":{"value":{"text":"Finite injury arguments in infinite computation theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3206938$507100DC-9808-4687-9B8A-A7EDC070CF7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4229131ffadda4503f168152dd9e46c77c490bdd","datavalue":{"value":"0417.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$6E37EBB8-4B88-4EF2-AD48-4485EB682F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b37fc0f314f68df6278a54426a571d1017177c7b","datavalue":{"value":"10.1016/0003-4843(79)90016-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$81CFA2F5-79C2-4933-A79F-0FA692A6A1F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51179f5d07eac4a6f6c8d6f4af0f86b9c901e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":688733,"id":"Q688733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206938$EA4515C9-7B21-469C-8E77-B1D73AD2C76A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206938$AB63DD86-D33E-46A8-BD0B-D5289F5E39EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3206938$C2DB5A6E-DB71-43BD-8ADE-85C274CCDADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$259FC354-F88E-4D09-A143-02E996862511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$F9A7AEB3-C4FE-4A48-878A-31E8CF7ED63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$339C2515-E0AE-4C41-BAB8-402C61E95026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c97ba11d1644afdc38f1d70ce8c586d715cfcc","datavalue":{"value":"3648692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$841FF113-B208-4C5C-8784-EB3EF26AEA12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ee69ee96a9b81ad971a0b5d97a2465f1921615","datavalue":{"value":"axiomatic recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$38F51ADD-24C2-4DEC-B932-729BC5041AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"505d08ef732aa3df26fc82042c857aaafbba848e","datavalue":{"value":"infinite computation theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$CF3EF1F2-E20E-4199-81B7-44CB02035253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fd0980f3d1690625f52b649bd1a6f4b31249bc","datavalue":{"value":"finite injury arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$82EF5A48-8E60-423E-AA72-DEAA4D8FB29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6322bcd73e2cc217c2acc51f5fd0fc98a16b15","datavalue":{"value":"recursion theory on admissible ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$149F4B5A-862A-4D48-9D38-F52DB1900726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5262ee324ed66a32474df0388931e3d279cce1ae","datavalue":{"value":"recursion theory on arbitrary domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$238A13F9-57F4-4791-B2FE-4001231AA860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef08b61093f032f4843fd1ae8033127aaeb551da","datavalue":{"value":"Friedberg theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$E89DF496-34FA-4704-9B8A-7C8DBE9A36F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d636fb62762b71a5559b30b7e386b5284e6a1eae","datavalue":{"value":"existence of a computable prewellordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$B5E45A48-D75B-4D6B-ADD3-C480A0A17F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e993936d9d8fad911592bc392789342a3bb34538","datavalue":{"value":"Sacks' splitting theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$F5DC8BC0-C2D2-4F22-97CA-58D2357FB02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf090e8a7253f83d996fa872bb4e0826fa3fd73","datavalue":{"value":"Post's problem on resolvable admissible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$2FAD3C32-D383-4906-B51D-36C419526EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c832c3bcab2a6b82fe94fac03c812b33c26104b0","datavalue":{"value":"existence of a recursive well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206938$320BDC65-47CA-48C1-ADA5-8A53646EC7A1","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":"Q3206938$AAAAB4CE-5F3D-4028-BA76-9245C06C8972","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"834e258c74fac6f341fc48570350e0d9ad36c983","datavalue":{"value":"https://doi.org/10.1016/0003-4843(79)90016-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3206938$27E57CD7-2AE7-4ADE-AC24-E5D6ACC3D6D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9552df1c1052927466910b8f967c8c05b0962e61","datavalue":{"value":"W2069810006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206938$3EC62105-9648-4A92-8B79-ECCB19EB0B76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3206938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3206938"}}}}}