{"entities":{"Q4382502":{"pageid":6412101,"ns":120,"title":"Item:Q4382502","lastrevid":81747797,"modified":"2026-05-06T19:16:07Z","type":"item","id":"Q4382502","labels":{"en":{"language":"en","value":"An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130680"}},"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":"Q4382502$003A3EAA-9089-40AA-B41E-D02B6644BE78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08075ed0a16c6dd4d73f744535269de6bdded65a","datavalue":{"value":{"text":"An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382502$66DF3726-732C-4CC8-BE8B-63988B810156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05573ef90fe35d9d108e2461d857b94a9ff87ca4","datavalue":{"value":"0931.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$2A01BF84-F36D-4115-A93F-4842993F37CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbc89089046e3b295d9eb0e6f3faa0bd28eff94d","datavalue":{"value":"10.2307/421100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$FAF5454B-5712-4389-847A-076AD34DAB45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382502$D8389226-9321-4A42-9D68-73B300B1E224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382502$08726D8A-9399-402A-B908-5712F0E76A5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b6305718e91d770e497ba22a66d020d87ea9ce4","datavalue":{"value":"https://semanticscholar.org/paper/07c6705c9d818bad9c6927aa4ddddce1c44839a0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382502$964B5B35-7752-47C6-B529-E95E87AF686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c31cfeb8be93819a226a3ef64a35f4762c4d5de","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0304-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382502$24FF07C6-4DE4-46F8-A6E2-E30FF6E13B88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$AEE0920F-76A5-42CA-B0E5-606F3079E4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$A503E707-319E-4599-BE41-E54B4768806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$3F864748-832F-4E2D-A52D-12B69184D1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$5FBFB211-F61E-4FCD-AB90-AA50652D7F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$C5D11AAA-F333-4487-A05B-18E27FAA8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$6058C821-88BD-4600-9071-DB15ACC50A92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64585742a9084f053ea67a752d4e03bb8e898e4f","datavalue":{"value":"1130680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$6DCB46F0-3A79-48AA-96B4-7E10BBC1CCA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$5FF31C43-56F4-4E0E-91DD-78DB278C97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f997604bf7fd7922f3e9e261488db24ce6239b","datavalue":{"value":"category of presheaves over PTIME-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$A62A5B2F-AF55-4612-A3AB-E6A174984D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cc670791d7181f4c3a4a7a915a71ea0f92f4595","datavalue":{"value":"higher-order function algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$B2EADAE9-B02E-4CC1-81FE-43B02C8E0B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b523d73569c23a102680ead8582464a03691fc","datavalue":{"value":"generalisation of PTIME-computability to higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$FB60F2A6-346D-44A7-979B-CBD1BB1AB226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$E213BD7D-C9AA-4A52-87FE-9A8902E1A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$5DECF957-5437-4FDC-B40D-ED530221D26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$4120FF5F-2CD0-4D44-B40B-58EB3101F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382502$B3CF98FA-3E31-4A81-B756-9D0F2DF37604","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":"Q4382502$986E82A8-EA22-4921-9EAB-3AC30A01F478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a839b386d07adc6fc4a544c8fba482b46e7964fc","datavalue":{"value":"W1992139964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382502$E9EE28DA-75D8-4EDE-B9C9-DEDF03682A90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382502$3799CB12-67A3-4120-89AB-E6A562421245","rank":"normal"},{"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":"Q4382502$7D34A15E-A603-4891-A45C-5A9F44C29D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382502$00B15622-BB0B-4595-B753-B9BA7B3676C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382502$531F86FB-D882-4CE5-BBB9-55CAAF4F5A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0f8183cbda123ce43acce41bfdebc0fdb8836d","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382502$7CADED73-F322-4708-B96B-7218278C2D6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382502$1C007CFE-9F5B-46D3-89D9-45D6336D2E8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209c6b91228de5f78b50785b451238d663d58d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3178279,"id":"Q3178279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a6767985fb180126b165e31aec3b43e0e9b647","datavalue":{"value":{"amount":"+0.7517319321632385","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":"Q4382502$604A90E6-253B-48DD-B339-2B623DDB2EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e61a1512147829b5472de42d9996557db7c646e","datavalue":{"value":{"entity-type":"item","numeric-id":2396718,"id":"Q2396718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f1377a149d340625552ab92be988b4bcca73a5","datavalue":{"value":{"amount":"+0.7320998311042786","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":"Q4382502$9DFDA413-BD82-448E-8745-43BDA33D13B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0ae397e1f6cb1d42840dc2b18965ea92058d66","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362dcf1e9d5f57a6250404dcac09c77e11601526","datavalue":{"value":{"amount":"+0.7284203171730042","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":"Q4382502$82EA2CDE-9161-4E0B-9F81-F7480F242774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702e32e14fc53e33d5d2f5e5d2e1f497a18f6d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1271558,"id":"Q1271558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e8f0708599c8dff76de83fc029f9dccbd82b1b","datavalue":{"value":{"amount":"+0.7261636257171631","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":"Q4382502$88CB9631-41DC-44CF-A72A-D97637B46ACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Application_of_Category-Theoretic_Semantics_to_the_Characterisation_of_Complexity_Classes_Using_Higher-Order_Function_Algebras"}}}}}