{"entities":{"Q1210138":{"pageid":1220887,"ns":120,"title":"Item:Q1210138","lastrevid":47155327,"modified":"2025-12-31T20:48:33Z","type":"item","id":"Q1210138","labels":{"en":{"language":"en","value":"Total sets and objects in domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 169664"}},"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":"Q1210138$5DBECC9C-541D-439C-8650-AF2441E57581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b077bf4db54c855ac99086bde89be80676bf42e","datavalue":{"value":{"text":"Total sets and objects in domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210138$8E7CF195-6F7C-4CFB-9FD0-22E20BF300CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10147e48838b0ed500185211eb90ac4699ff1e2c","datavalue":{"value":"0776.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210138$8CF54014-C8D3-4A52-8AC8-EECEBE16A90E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"314ce5817c64c076e3ac2c4cec0aaec2e77b99e1","datavalue":{"value":"10.1016/0168-0072(93)90038-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210138$A7AB9E94-1CB1-45E4-988B-A54B38C343C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$0A390F20-ECB5-4445-8035-B8E14B31E9FB","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":"Q1210138$5FADD617-2CFF-4358-8BE8-326969927BBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210138$B171CE2D-F837-4CBB-B874-9B5332F93D08","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01c405588089bfd70a3d0fdd66362505db40a19f","datavalue":{"value":"Introducing a topological notion of totality, Kreisel's density theorem and the theorem of Kreisel-Lacombe-Shoenfield are generalized in the theory of Scott-Ershov domains. Among the immediate consequences are the well-known continuity of computable functions on the reals (due to Ceitin and Moschovakis) as well as a domain-theoretic characterization of the hereditarily effective operations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210138$EF066BA7-7592-49D9-B2CF-F4C5C38FB0B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210138$47FE3EDA-677E-48FC-A3B4-31A3897D7411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f76ebfd90ffee0302e2c7f3b958d550db93ca79c","datavalue":{"value":"169664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210138$5DD3D29A-4D3F-4B67-AC48-A557636A8912","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b0c369ca68b77ffbfa4b1d4d8dc233d67683e4","datavalue":{"value":"totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210138$7F905A02-99B9-4F9B-98DF-DA051EF66AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c62a56cbedb88f5c230dd066511c6dea625d0b","datavalue":{"value":"Kreisel's density theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210138$00787C8A-2E79-402E-B4D2-8724580B135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"192b07f40ff2af08740d01d039500baebc3b0059","datavalue":{"value":"theorem of Kreisel-Lacombe- Shoenfield","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210138$CF6E6EEF-AC58-429A-9EEB-2593DF4A61A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935f9fc75bb8b09937d4507b989ef09f115dd116","datavalue":{"value":"Scott-Ershov domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210138$CF9C3AF9-A339-4441-8CDF-378DEF047430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76724fc1c38f66e731e700fda2853835ca1b3d3","datavalue":{"value":"hereditarily effective operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210138$418AB64C-3AB1-4E7F-966A-3CE11C5938F8","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":"Q1210138$2CA8A552-0DA0-402A-9842-E02834C5CDEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"754836fdc8479831a30af9f2874982555dfbc87a","datavalue":{"value":{"entity-type":"item","numeric-id":3360172,"id":"Q3360172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$435C7868-CC65-4FF7-8A1D-BB3F868A0A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c25af921c31c09fdc185b31dcdbf631d311a48","datavalue":{"value":{"entity-type":"item","numeric-id":5573970,"id":"Q5573970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$B984C513-0433-4F66-8E96-AA47D92B511B","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":"Q1210138$1F66CD93-38F0-42F2-BDFE-C4580CB70A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da92b26b85f6737e55d5cc004ea787c9e3471a63","datavalue":{"value":{"entity-type":"item","numeric-id":4111546,"id":"Q4111546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$DB057BD1-59E9-4F88-9A8E-29F4F7C2A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2e8a3441b9f5e6df7b00f8a1d023a25432c6df","datavalue":{"value":{"entity-type":"item","numeric-id":1225046,"id":"Q1225046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$9FB7157A-F107-41E9-B21E-FC15965ECEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1240ac773ddf83a37f621ea679fecfabea1ee0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4135483,"id":"Q4135483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$402EE0C5-3CF1-4B0D-90B1-5BC9FE81F539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e536f1d75671c630b57baf1808e70ff2faf238","datavalue":{"value":{"entity-type":"item","numeric-id":3863873,"id":"Q3863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$7239F0CE-5E4D-4FDE-9996-15B3D2916ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$74C4A06A-9B8A-4E87-BD3C-8B39AA5D5046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$D47350C7-EB4F-44D5-8427-3F671A8A7377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f6c3ba9d67daaf9fd7b9e2ad735227bb576b6e","datavalue":{"value":{"entity-type":"item","numeric-id":3734353,"id":"Q3734353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$97539A8F-B3E3-48CE-9CC4-179FE4188989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae72eb78a5a58c182f1daf0aead2d595d569806","datavalue":{"value":{"entity-type":"item","numeric-id":3050417,"id":"Q3050417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$21FF65EE-144B-469A-A8C5-333526512709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747d404579adba7e87db1a17a09af2ad09c4d561","datavalue":{"value":{"entity-type":"item","numeric-id":3281965,"id":"Q3281965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$CE347BFE-E49F-4DEC-A5B1-CE175C2A5A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cc03aa1088b0656346f312f7efa53dc2ba977e","datavalue":{"value":{"entity-type":"item","numeric-id":5567860,"id":"Q5567860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$038CF4E6-E76C-4CC9-9093-C1B36E485647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$BEEC020A-23AD-461D-B075-90A5ED4C2479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6166c112385748177b658bdbdd7157c3787992ec","datavalue":{"value":{"entity-type":"item","numeric-id":5625126,"id":"Q5625126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$CE78FA37-0402-4FC8-A647-668B7AEE9517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6452450bcc9d58f3467a1463aad43bdb776205e3","datavalue":{"value":{"entity-type":"item","numeric-id":3230369,"id":"Q3230369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$A0ABF654-028E-484A-A351-A0FB1EEF5197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf3bd704e339cbcddc7a51f2128f45662170e81","datavalue":{"value":{"entity-type":"item","numeric-id":4729775,"id":"Q4729775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$75F98786-04DA-44D7-BCEF-B22655A6F064","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":"Q1210138$7F06315D-A237-4D2A-AA28-1717112DB33A","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":"Q1210138$FEB2DE92-213A-442A-AB81-85212DC7D4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fac3d055d90ee3aafe3674088228fa265868c9","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$CD4FD131-4CE8-495C-8920-61926D76C4EF","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":"Q1210138$B7BECF30-364E-4A7C-8AB0-2B7A498FA31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09c62b5fb278b94610a1a7f16a578b78037de78","datavalue":{"value":{"entity-type":"item","numeric-id":3676137,"id":"Q3676137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$879D172C-3429-42FE-A456-CB03E2CA8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210138$BCEFC020-48FA-4FFB-A3C7-FFC9DE3098B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ecf27d3a721cc80fd173bfd80f7fa0e6abfc28e","datavalue":{"value":{"entity-type":"item","numeric-id":3360172,"id":"Q3360172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff547f859445cfaee903f6a53171f951c639c433","datavalue":{"value":{"amount":"+0.8735045194625854","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":"Q1210138$A153B0CE-D388-4D22-94C1-87CB4F8E64BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f00c08c3c608e5daf13306079161cd53662af63","datavalue":{"value":{"entity-type":"item","numeric-id":3146243,"id":"Q3146243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb6f3b93117605565459ada33ba7b9a8564a0e4","datavalue":{"value":{"amount":"+0.8523582220077515","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":"Q1210138$7BC6EA7C-2E93-4E2E-A016-686A1353A580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894606c677829ef7cc7309743c2d71e299503182","datavalue":{"value":{"entity-type":"item","numeric-id":4499149,"id":"Q4499149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4898f6b01f660c4641d32a22b6bd3bafd4dd1c","datavalue":{"value":{"amount":"+0.8214594721794128","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":"Q1210138$344F4572-0BD0-4669-A8A3-7792EC25FC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa12f6a7cb169540f0a1f080c60b8cad70e7ffd0","datavalue":{"value":{"entity-type":"item","numeric-id":800730,"id":"Q800730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5f5406d3b2de54244eba2e1764b4876e18b763","datavalue":{"value":{"amount":"+0.7965875864028931","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":"Q1210138$06DAC97A-ABDC-444A-9F4C-B34AC0D5C5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a49022c60264daad69dcd704b2465e00a7ea4f","datavalue":{"value":{"entity-type":"item","numeric-id":3318764,"id":"Q3318764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4545fb07026f4b69ad5aaf33101a7994a242c643","datavalue":{"value":{"amount":"+0.7822045087814331","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":"Q1210138$243EBDCB-E91D-4BB8-9F74-6B8D9EE6365F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1210138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1210138"}}}}}