{"entities":{"Q1899150":{"pageid":1909892,"ns":120,"title":"Item:Q1899150","lastrevid":46337235,"modified":"2025-12-24T14:33:31Z","type":"item","id":"Q1899150","labels":{"en":{"language":"en","value":"Towards the computational complexity of \\(\\mathcal{PR}^ \\omega\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802553"}},"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":"Q1899150$25035318-484E-4DFA-AF63-B5C07216B4F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab58ced8f2ded5694db836a78bef5c40381e1c8d","datavalue":{"value":{"text":"Towards the computational complexity of \\(\\mathcal{PR}^ \\omega\\)-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899150$C55B7B52-F249-44BB-A964-AFDB32C3FAEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dae28b366945bcd0b91ed4cd32c9b05450c7210","datavalue":{"value":"0832.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$82E24278-BE62-4BF7-8E40-B7C7422CF859","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5780a3b7f78ff97edd5aea2f81cfe21add300888","datavalue":{"value":"10.1016/0168-0072(94)00062-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$980DD269-F758-480E-9EFD-A3E3CA9AD2D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35dac4a82d7994982b6498e99b5b158ff9ad79c7","datavalue":{"value":{"entity-type":"item","numeric-id":688506,"id":"Q688506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$1F968319-F6B9-4965-9D88-0484B83CD095","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$17A169E2-A9E2-48D5-841F-C4BF74BD3DFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5674760692b3b942bbb6061c98127228eb777f5f","datavalue":{"value":{"time":"+1996-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899150$FEC3C2B8-3DEA-4EC8-8D03-F6FE74BB7C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$B6DA9E5C-1BE8-4657-B403-8715C6A78BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$96071211-D599-4A29-A013-E25A1F08DD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$C6A07720-985B-4758-BB77-3B59DC2AF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$07C24111-3717-4D42-9D45-BFC1F05C6A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d80f0c53f1db5ec4d58d92e5bb7d829f7ada81cb","datavalue":{"value":"802553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$9D13049A-48EA-4D4C-9895-3875A2CF592C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d38cf892d6f2a56b1e7401a38c2167f1133ed059","datavalue":{"value":"partial primitive recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899150$E2BBBDD1-7C65-4059-868A-C1B833388B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a26cbb31227bad8a4792a913328487b1da2a74e","datavalue":{"value":"prenormal terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899150$13A6A56F-34F1-4870-800F-0ADFAD76255D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9523b81abac7dcf2946305ecf06ced9bb8e7c3","datavalue":{"value":"structural complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899150$E04E93D3-4B7E-4EC6-9B30-486A1EC30DA4","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":"Q1899150$0E6500E4-2C38-424D-8884-D1FF6245EF9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"869345126d11b212825c5c69839eec766dfec474","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00062-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899150$48378270-6F71-4BD8-836E-41CE585CEADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8de459d7e45dc831f5df0ac083fdc458549e2c4","datavalue":{"value":"W1968367799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899150$B0A79A7B-BDF3-4470-8C50-138F36E0FBFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$7840F8FF-1CF5-4FE1-A80A-F2F5FA2012E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079581106df11c72b68bb08c8e3f6fdb85f44f2b","datavalue":{"value":{"entity-type":"item","numeric-id":4842532,"id":"Q4842532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$0812B955-F79F-4938-A7E0-44AA8DF621C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b462873b75a514ad6c8f2994d63c7c697e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$47F98F3B-608A-4F16-91C2-BC7C8BFEBF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c616a7809ed6f53d402127c5d468b218ac28d2","datavalue":{"value":{"entity-type":"item","numeric-id":688507,"id":"Q688507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$6456F46E-732A-4838-975A-85CEB096CAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5264845e246ad5d946e441b51a85f20b79e6ebea","datavalue":{"value":{"entity-type":"item","numeric-id":4876432,"id":"Q4876432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$507F06D0-26FD-4C39-B07F-6E3A70031EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$6A194BDB-E356-46EE-B9B2-9269C003D2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc24098af62705998232d987cb694185530cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5457388,"id":"Q5457388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$A8C78DCC-3AF9-4625-B29D-876C285815EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$1C0F8566-29C4-44A0-827B-BEF2D76AA021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$3EAE32A4-6A5B-49CC-8600-3AD0756CB743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4477a4ab4f1dc46dcafec38810ee55b49e8c2e37","datavalue":{"value":{"entity-type":"item","numeric-id":4775862,"id":"Q4775862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899150$932482B7-7089-4624-A319-1B71BE6CFD35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace4b48d35592cb50c829365795ff750aad5f8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4876432,"id":"Q4876432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e856e289356fc66ec8e3ff1ec6a8952bc1fcb96","datavalue":{"value":{"amount":"+0.8184221386909485","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":"Q1899150$1833D351-CBAE-4430-B851-B1EED944E23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e27d6291741f1be3824802c3696345a5b05ebf","datavalue":{"value":{"entity-type":"item","numeric-id":1590662,"id":"Q1590662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2cfbd6a9cf85c42e7b2d8401d4a6b25c72fe16","datavalue":{"value":{"amount":"+0.778594970703125","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":"Q1899150$1D81D8FA-A1BD-4D1B-8B6B-E71B0BF83364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d2227597916858cdd290852529a7a11e22d5a","datavalue":{"value":{"entity-type":"item","numeric-id":2946764,"id":"Q2946764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8eb26a2798318308ba63a16d608b91da67ec6bb","datavalue":{"value":{"amount":"+0.75493323802948","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":"Q1899150$1BE85F4E-8318-4FC8-A29D-6FC4C30BF24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d466929be996dc728733a53d0889ff375d968d2d","datavalue":{"value":{"entity-type":"item","numeric-id":1304541,"id":"Q1304541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d08740419eb2b4036c90fb5764930e2527d77d","datavalue":{"value":{"amount":"+0.7459800243377686","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":"Q1899150$151BD5E9-C102-4C96-BF1C-DF44AAFB2880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1899150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1899150"}}}}}