{"entities":{"Q2988663":{"pageid":2999387,"ns":120,"title":"Item:Q2988663","lastrevid":85815176,"modified":"2026-06-03T11:37:54Z","type":"item","id":"Q2988663","labels":{"en":{"language":"en","value":"The power of non-determinism in higher-order implicit complexity. Characterising complexity classes using non-deterministic cons-free programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721339"}},"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":"Q2988663$DE1A593D-82AE-42FF-BE24-F09CC44A2761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af1e50f8038ee012317a011d66a8a96be2d198fa","datavalue":{"value":{"text":"The Power of Non-determinism in Higher-Order Implicit Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988663$EFF7E39E-9DC3-459D-A86D-B04750F90406","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"443b5b68fd05e1bbd91bc43473551227be6d643d","datavalue":{"value":"1485.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$B42103ED-64B5-4DA0-BC95-E8F131E9E959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9048f63c203b0acf4beb57ab62378bdc99846536","datavalue":{"value":"10.1007/978-3-662-54434-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$5EBDB86B-AC2C-42D0-8115-EF748FC22A88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$BF5F7468-3D28-4EAB-81B3-B9664DD44D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$28232AE0-5657-451C-B06E-A552603008DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$3EB976E4-079F-4FD9-8E56-1D4DB3A7DA92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988663$A2F037CF-8A28-4514-8565-A3DBFEFDF51F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$DDB0831F-45D3-4477-A475-35911D55934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$5CB0C54D-DF08-4854-9CCF-5193BD9AE326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$5C79920F-35F2-47FB-9916-CA3F0B247C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$EAB8641C-49A4-4B29-A8AB-376639F9F32F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b603e72fdca128f8cb10c4e62caae919f9c772ca","datavalue":{"value":"6721339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$2E6E9D1E-C1E5-4DE2-8762-973EE2E9983E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988663$2A95DF45-0514-4516-A3FB-0B99F81A07F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca8d433e8f053876465d4ac9419ff01a0a54e64","datavalue":{"value":"cons-free programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988663$F1C18170-564B-419F-A945-624AC783D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29f1e0b26b8664c4c80de87c2dad32b7930d004","datavalue":{"value":"EXPTIME hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988663$6476D577-CF6C-4875-AE68-8E89B115F6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dde35c6615693f415d9ceebb7223aabbfd84587","datavalue":{"value":"nondeterministic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988663$A779FE10-38A2-4DF0-9799-31DD4AFCF665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2144b7a2ddcdb83a66dcf2c8115e40adf1434e09","datavalue":{"value":"unitary variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988663$45CF6A32-F2E3-4D44-AA09-A878D5F6FAC6","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":"Q2988663$67CFA7AC-08D2-4BF3-AA0B-4CDE3C0707E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a9509f069b34e7e53cb191dab2d69d025172aa2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54434-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988663$032DE7BB-DB93-4CA3-9B0A-28E034AF0860","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"606151fcfc6f1e5504530431f438f571f823870d","datavalue":{"value":"W2580582392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988663$DC76998E-87C8-48FC-8773-DB7C8E39A8CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$908F63B2-505E-4417-BC28-D068C8F00AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75d97eb61388dfbe7aaf586b28eba6a4cce05cc","datavalue":{"value":{"entity-type":"item","numeric-id":3623925,"id":"Q3623925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$3F6C0614-FFF8-4AAF-86CB-9A857CC89B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1937be61d8b5e0b9b7d996e8fbe4ac24597510ee","datavalue":{"value":{"entity-type":"item","numeric-id":4934292,"id":"Q4934292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$B094827F-AE98-4900-8593-989224FA3A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$C976A122-5E41-4561-9E92-22066C0A2BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc081d8b1ff0a7efeef97213486399080360f1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5170816,"id":"Q5170816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$58A72C42-CDB2-4C9C-9478-8E171B9FB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106cea7bd77d7b2f83f120eb7a1ad86d0877eee2","datavalue":{"value":{"entity-type":"item","numeric-id":1207943,"id":"Q1207943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$DA3730BA-BC07-4863-9F4E-46BBE8BDBB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4276b2de792ee29a82d6cd8ce37552c59599af","datavalue":{"value":{"entity-type":"item","numeric-id":1193623,"id":"Q1193623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$F5C85EA2-00DA-43C6-87FA-D452094E2B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$87C72001-EE7F-411E-8F76-4951F8C3BF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$4FC68B6C-9BEB-40A2-9514-59094CFB307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d37412feb3c9b7693518f86d19f47e0942eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$C5B7C023-2952-4591-B177-37C466CD9578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175ce5d5083c8155a0a3300509bae00b5d459802","datavalue":{"value":{"entity-type":"item","numeric-id":4299012,"id":"Q4299012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$EA3DD7D3-0D42-4989-88F3-37FFE83AAD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f10a89b5ad707618eb4c91350d0541dc4a78f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5369488,"id":"Q5369488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$9EFB1CE1-DE2D-4C0C-B0E3-97D6DE4CA263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c8f424bb38354f1c397cfb87d36e7ecfe77e0f","datavalue":{"value":{"entity-type":"item","numeric-id":2988663,"id":"Q2988663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$690CF437-B329-46C8-BA9E-DFC89957864E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ae34a08be874046bb1ab3b14e4fb7eb344bb46","datavalue":{"value":{"entity-type":"item","numeric-id":693050,"id":"Q693050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$120C20AD-EADB-4468-BDCD-8EFB4B1E0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6254e9b5341acf40bf37cf670d05df47c4deb3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1827396,"id":"Q1827396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$0579D732-E976-4761-85F1-B64F4FEEAFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10aab6479ee55f97b71787f560e5bb6395845f1","datavalue":{"value":{"entity-type":"item","numeric-id":3370734,"id":"Q3370734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$B6FC25D4-550B-4CAE-BD76-EAF3B6A3EA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f751f0a8276c3dc7012bc64246ffe3e1ea60f97","datavalue":{"value":{"entity-type":"item","numeric-id":3166988,"id":"Q3166988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$B58E1521-0978-45BA-87CA-226B9D6001E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf500897a54d2e5101c3a2d054a645db1a124a6","datavalue":{"value":{"entity-type":"item","numeric-id":639668,"id":"Q639668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$0DC47ACF-85F0-4F9D-83D2-6B6799CA2D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$62BB6103-7F93-4830-A63E-A05C0FC4BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988663$850CAE8C-FBED-49BD-A1A7-0CFE838BF6BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8ba3ae94c424578cd4be76d33ca9c1fae6c536","datavalue":{"value":{"entity-type":"item","numeric-id":5369488,"id":"Q5369488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb5167bd0a621937cc7efe426f351eccfdc93a7","datavalue":{"value":{"amount":"+0.8141248822212219","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":"Q2988663$BC15374F-581F-4F08-B9C4-19BF2A4374EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd6d40e4c800325c24df9e8463136610f8bccaf","datavalue":{"value":{"entity-type":"item","numeric-id":5367046,"id":"Q5367046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2a4d88f0cdc6b53b4ba847553c3fed1ed52210","datavalue":{"value":{"amount":"+0.8003870844841003","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":"Q2988663$8417F4C2-2EC8-4595-A9CF-A41BFD80E7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b8cec8b104a547627454cb5ee75ccd7bb1e390","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313b6c2796374b6dc897508ca34529d34e20f6cc","datavalue":{"value":{"amount":"+0.7421683073043823","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":"Q2988663$DA1E08F6-B663-489B-BBCE-59C6AC1E4DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34443d0e08ea95298fc5ca740cd2ffaed4f4d74b","datavalue":{"value":{"entity-type":"item","numeric-id":5875893,"id":"Q5875893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13125e2f5a3fe5935a4e3880fd5289782efaa71","datavalue":{"value":{"amount":"+0.6953784823417664","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":"Q2988663$FDE582AD-FA87-4238-8AF8-7E312CD4FBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b32e131c4df944ec43e47e50cd77ac3e58685f","datavalue":{"value":{"entity-type":"item","numeric-id":3644761,"id":"Q3644761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8219d005c60abedcdfcfe151bf5f3c5432c6f790","datavalue":{"value":{"amount":"+0.6943372488021851","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":"Q2988663$043A80D6-8308-4138-8F97-D4DFD25123C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The power of non-determinism in higher-order implicit complexity. Characterising complexity classes using non-deterministic cons-free programming","badges":[]}}}}}