{"entities":{"Q3203014":{"pageid":3213722,"ns":120,"title":"Item:Q3203014","lastrevid":45680899,"modified":"2025-12-16T07:31:43Z","type":"item","id":"Q3203014","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179364"}},"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":"Q3203014$4B98509F-36C8-4BAE-8F56-05842E60B56C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2ee338d926ceb5ca57c38c5ffcf7ec0f4662982","datavalue":{"value":"0716.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203014$A81303EB-7770-456D-AFFB-903BFE801865","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":"Q3203014$87C98B4A-5B98-47BF-89E6-E2D577FC8776","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203014$496A514D-E557-4AB3-B6E5-1853AC7D781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203014$8A1F643F-A5D0-46AF-B182-DCC20E3A6BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203014$9340BFDE-7495-44BF-B21E-A069459AC290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99438c82ed1b8f19ad20fe6e1cd8d3883ab2d52b","datavalue":{"value":"4179364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203014$DC946331-0C33-4C92-ADBB-D9DF9D1110CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e034123018ef22ca7db3e862cd27cf63ea58375b","datavalue":{"value":"Higher type primitive recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203014$5DCBE916-D0DA-4BB0-A6C9-4FF120A0649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af53fdfe646b5705fa60d1a5e3339094e3facfe","datavalue":{"value":"G\u00f6del's system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203014$C789E209-5F09-4D03-A180-C8D61F50B129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203014$B2F95CBA-4C5F-493D-A3AD-D80F4B4B917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203014$651DDF3D-BA7C-41B0-B54F-8F6B5B364C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ae60c1f3657bb446af696b223cd4219545345b","datavalue":{"value":"EXPTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203014$157A337E-1CDF-4E53-A8D4-D57EC6803076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3203014$D4AF12F7-B360-42CF-A662-A7599F6CDCF4","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":"Q3203014$7EB8F86C-5820-432D-A73A-99AA0B0CFA93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efc93c4e5a31985061ba140c483227d3cafe259","datavalue":{"value":{"entity-type":"item","numeric-id":1193623,"id":"Q1193623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$A5B5B34D-F64E-40BC-A40D-EF66394F9A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4878900afa4bd7161a02cacf2d66a284bf742b20","datavalue":{"value":{"entity-type":"item","numeric-id":3979266,"id":"Q3979266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff7cd6cb038a003c3b50fd3c03fb1a27a66c5d4","datavalue":{"value":{"amount":"+0.9857811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$0144F1A4-4C01-4AED-AB4E-6DDE03B24B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4527932df073ad08e7b3b2849eaa6a256bc6aa0","datavalue":{"value":{"entity-type":"item","numeric-id":1207943,"id":"Q1207943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ef6cd7b2ca405553297167c7d3d32351ac30b8","datavalue":{"value":{"amount":"+0.97520745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$77D0B0EC-E64B-4FBF-B640-A3703CC5EDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ae2741e5afa2bf01abd3fc2036b4bb9e908a62","datavalue":{"value":{"entity-type":"item","numeric-id":3496329,"id":"Q3496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b242b7da2ce878acb3786ef2bf2544820d4c483","datavalue":{"value":{"amount":"+0.9752073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$9DC49D24-B81E-4AA4-95DC-5668BD0CE67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd12124db526dc6342586e19d1b46bd81e0dc13","datavalue":{"value":{"entity-type":"item","numeric-id":4723715,"id":"Q4723715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9566cfa71f0d6dc23ed262564358373baa354f","datavalue":{"value":{"amount":"+0.90916336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$944427FD-58FC-4082-B650-D56A19FD60EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c860c9cb806fdb71ab2d230bccd05632c5289a","datavalue":{"value":{"entity-type":"item","numeric-id":1064320,"id":"Q1064320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e957b19a6a472489aa421e30acd327346d443ef2","datavalue":{"value":{"amount":"+0.9055921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$C9DB833E-66BB-412B-B25B-3E65237AFEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec114dd9b3c2a84f6d298b2d1bded2babd36169","datavalue":{"value":{"entity-type":"item","numeric-id":4673422,"id":"Q4673422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b59be75285c2c4b4ebfd0e976a7f9724fd5a108","datavalue":{"value":{"amount":"+0.9008171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$7BADE33D-1CAF-4061-A15F-22E8C6FAFD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751de868e3f18fa13820ffe8611f66d3a6f67460","datavalue":{"value":{"entity-type":"item","numeric-id":3832552,"id":"Q3832552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44653ce8aab8cb6c2b72f693dc8c25490c8ba1c3","datavalue":{"value":{"amount":"+0.89514315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$A391340C-3339-43A4-BB5E-3E4705026B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65474d4e4b6e3f33d2bad3708187db1cb078cdbe","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f049af68c79d67d4eb5560b75e2f89dacd71f672","datavalue":{"value":{"amount":"+0.88034344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$26B0223A-AFC2-49AA-80F3-F4213149A0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84bd03da6ee2ee86359414543ea3282fda903b4","datavalue":{"value":{"entity-type":"item","numeric-id":2551103,"id":"Q2551103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c150c01ca7f784dd2fc9ccbeb12848a6f06bd5","datavalue":{"value":{"amount":"+0.8798397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3203014$1131C063-89E5-4F42-95B6-4F2659215162","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3203014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3203014"}}}}}