{"entities":{"Q1068562":{"pageid":1079314,"ns":120,"title":"Item:Q1068562","lastrevid":66205923,"modified":"2026-04-12T08:15:14Z","type":"item","id":"Q1068562","labels":{"en":{"language":"en","value":"Admissible representations of effective cpo's"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3932420"}},"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":"Q1068562$4009B6A4-4ED3-4C3C-8505-27BE04AF6C6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2f52b6ef4aa190d2e6759f72bce97ad291da569","datavalue":{"value":{"text":"Admissible representations of effective cpo's","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068562$80094ED2-FEA7-41B3-A08F-D0077938AEF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba395e55d5f68820939c18d2645a3dbf8612e9b0","datavalue":{"value":"0582.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$A043108C-6CCC-49F5-951B-40F7D36A1500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd0fed313edd2c8a17e29ea22c538dc5ed35c22","datavalue":{"value":"10.1016/0304-3975(83)90083-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$D476D93E-3465-4070-915E-B65498C7E383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44841aec96aa79db8c409b434317d17c1ca3b91","datavalue":{"value":{"entity-type":"item","numeric-id":1068561,"id":"Q1068561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$4FFB60D7-14BD-42AF-8A74-5EBFD0492B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b380035f688a74a9a8fbf02991d94c276a4d78e3","datavalue":{"value":{"entity-type":"item","numeric-id":162062,"id":"Q162062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$6C4ED78F-EF08-48AD-B451-FC7D59D2CB14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$5AB814F7-9970-4A53-84CF-EF095DEBB4DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1068562$065B64C4-4ACB-4506-9EED-58BD8C630763","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6547255402e709b94f48de95818d3f242e8fadc","datavalue":{"value":"In theoretical computer science studies, the notion of an effective cpo (complete partial order) is a very useful tool, especially in works devoted to semantics (see, among others, the work of D. Scott, G. Plotkin, M. Smyth, H. Egli and R. Constable). A cpo is an ''abstract'' object in general. A ''concrete'' machine cannot operate with such an object but only with names of objects. The authors define ''admissible representations'' for effective cpo's via two axioms which generalize the axioms for G\u00f6del numberings of the partial recursive functions. By typological and recursion-theoretic considerations, they show that this definition is quite natural and the link between representations of a cpo D and the admissible numberings of \\(D_{re}\\), the set of all recursively enumerable elements of D. This article is clear and well-written and provides insight for further study of a theory of computational complexity for cpo functions. It would be of interest in connection with the notion of ''computation'', which plays a crucial role in theoretical computer science.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068562$1978ECE8-7369-4DE6-95CF-8B1DDF5E4EF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$EAC0E454-BDDE-43ED-983B-A37418662486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$BF42387F-3476-4234-B051-F4D5BD869DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$84DE5C0F-11EE-449A-8782-A30BB946D426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b44241c40fb7c0c3c4ca77fad1d282c25ebf8ab","datavalue":{"value":"3932420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$F3F767E9-8235-4F1F-BC5E-81FBFE68C39A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222e1323bdbce4bcfd26944a7537fa54c68a164d","datavalue":{"value":"effective cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068562$A8F21DDF-FA0E-4802-A2AA-2CF268E8E462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c6495921024283fe2d90d26f1d49fe71a8ac7ca","datavalue":{"value":"complete partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068562$816D1590-63A2-4B22-A530-B2B2EDE921C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682758c6950f40d2a8ce6717da7bc620bb4d515e","datavalue":{"value":"G\u00f6del numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068562$05CBAFB7-3E58-49AF-A399-811EFAA8BDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e6cec512728856a16bd3894dd4dc3f4109df39","datavalue":{"value":"admissible numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068562$9E6C05B4-3575-4CE3-8640-9871AA3B61D6","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":"Q1068562$426A64C6-ACFB-449E-B4C2-4018E6D3C840","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a4dc729dc3c5f2d6b6c92c0e41fb1c92c91ad5","datavalue":{"value":{"entity-type":"item","numeric-id":3278337,"id":"Q3278337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$B802A6AB-8CFB-4839-A253-F78BC68314D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$438FA08E-03EB-4ACA-BB07-F78A9999F5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c021660b683d6096a25283b9bb0986ae286da7a","datavalue":{"value":{"entity-type":"item","numeric-id":1235972,"id":"Q1235972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$AEC7701D-A584-4BC5-BFCC-88D063B7F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$379EE173-FB15-44B6-BBF0-FB31EB6746A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$D97A9B0D-5E6C-4397-AE4E-6EFE284BA472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc3e8e8fdd6a776a4c09be3fe08a805ec0b9552","datavalue":{"value":{"entity-type":"item","numeric-id":4052093,"id":"Q4052093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$2E15E8FC-4D7A-4A25-80AB-9582BB7CC20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80adddbe87325ef55c3874003b1882260ebdd0fa","datavalue":{"value":{"entity-type":"item","numeric-id":4190621,"id":"Q4190621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$BA338C35-6D10-4E4C-8923-E9F9E2A89EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f5eab70966b236525b2f1469660bcdcb8468d4","datavalue":{"value":{"entity-type":"item","numeric-id":5541833,"id":"Q5541833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$78E88E02-0370-40CB-9192-122782B4FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$21689322-5346-4B47-99AF-D95DDCB5CAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$9923444A-CB21-488B-93A2-F72B137D9320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7ca3d63340e462058e9df1bed6065ab64c1049","datavalue":{"value":{"entity-type":"item","numeric-id":3890679,"id":"Q3890679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$DF2C16D9-5F38-46E5-BE12-AF2FA7A01F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$B2EC5448-91E2-4E05-A5A0-9420597B694F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186861780eab49220bbfbae7666b266f31ff3c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3260572,"id":"Q3260572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$914C1F9A-C0BC-4F0E-BBDB-2E59E6E6DAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea2f5bc0ec8dead838c7c21b735ba4aeb0af111","datavalue":{"value":{"entity-type":"item","numeric-id":4163189,"id":"Q4163189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$7454B975-5E8F-4A51-A84C-B3479B1F7297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$A957FC7C-D4E5-423A-89C2-5C5CEB411658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$B636F76F-1F4D-4B95-9B62-164CAEEA00C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$185CF270-AD32-4453-807C-17F00D816F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32ae953476ab90bea3a32cab9fa8ed9072047f3","datavalue":{"value":{"entity-type":"item","numeric-id":3914974,"id":"Q3914974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$A88DAA4C-8493-426E-B36F-CE940E0B68FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8165f8885858aa5e91113149a47ea3961ac0c24","datavalue":{"value":{"entity-type":"item","numeric-id":1068562,"id":"Q1068562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068562$2AB91742-7EE2-4BC0-9BC0-DAE9925A6E51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b554c801d739578af32db6371ed9a22ec1ee5bb5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90083-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1068562$550918E8-8B12-4EFC-B15A-52EE5474FC12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"428429138fddeff5cff60b55765edb8613d1d2e7","datavalue":{"value":"W2047996743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068562$CC58FA71-C5F1-4DA7-9A3F-672260F78164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0735e807303142c52ffdc8bc589f32970db7680d","datavalue":{"value":{"entity-type":"item","numeric-id":3337463,"id":"Q3337463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a183f17235339067781580072feb348b33a60dda","datavalue":{"value":{"amount":"+0.8083500862121582","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":"Q1068562$EAB87853-6D27-4EA8-B4E5-2428D824FDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655cc213e70df7ea251e5d2094d00691cdbbf410","datavalue":{"value":{"entity-type":"item","numeric-id":4724615,"id":"Q4724615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36db2ea009fa5df0da3dd255682be06a3006a16a","datavalue":{"value":{"amount":"+0.7536410689353943","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":"Q1068562$8A1ABC91-28E1-46F0-8972-7826585815B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f3563de1d3aed82cd633051072b16a1a7c5a06","datavalue":{"value":{"entity-type":"item","numeric-id":4371021,"id":"Q4371021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6c393c2c6e36c7082d027614aad55bbe73069c","datavalue":{"value":{"amount":"+0.747758686542511","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":"Q1068562$F0965ABE-2EEF-40CF-A11E-08FF9FFCAA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23cd82191a9f77df1c49e5fdcb84934a3d6e199","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a798d619716550927598640e3e18b6da71461ee","datavalue":{"value":{"amount":"+0.7468902468681335","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":"Q1068562$FCD7A6B0-806F-4772-BFCF-4F8C1C5FFCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d8a83be6c9bd183ca5f492b96fd1d6e66e8d58","datavalue":{"value":{"entity-type":"item","numeric-id":5898844,"id":"Q5898844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1fc95e98ee510914e05bb4c40f71f94166b081","datavalue":{"value":{"amount":"+0.744081974029541","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":"Q1068562$FEF5F071-E6AF-48F2-AE8A-9CB3836D15FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Admissible representations of effective cpo's","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Admissible_representations_of_effective_cpo%27s"}}}}}