{"entities":{"Q4366772":{"pageid":6396371,"ns":120,"title":"Item:Q4366772","lastrevid":41707038,"modified":"2025-05-07T10:24:08Z","type":"item","id":"Q4366772","labels":{"en":{"language":"en","value":"An enrichment theorem for an axiomatisation of  categories of domains and continuous functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090495"}},"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":"Q4366772$B4C8B89C-326D-40A1-82B5-10FCF347C468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"057d308b12079608d6f6b36339b5911416df4195","datavalue":{"value":{"text":"An enrichment theorem for an axiomatisation of  categories of domains and continuous functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4366772$9AB8AEE7-26CF-49F9-BC36-0D639C5F17F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5875a6cdd764c8a9a592abc26fc01c64aa9c3af7","datavalue":{"value":"0882.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$A30ED74D-8465-45AD-ABAD-3822B83F71E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad76b47f7a43a2638afeea04cbd075eb96ba1ef1","datavalue":{"value":"10.1017/S0960129597002429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$F0D398BC-2703-4417-9730-ADE628A4602F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366772$F5BC5A55-43AA-40A8-99FD-20D55911B194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f90b4e4f8d3c91bc0cb00b95b47a240b3f524981","datavalue":{"value":{"time":"+1998-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366772$D171285D-68FD-4A8E-90A8-65E4BE1D36FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$AF441BF5-6196-4C12-B656-16D7F3BFA10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$AF4AB62B-35B6-4CC1-9EA4-2ACB84BD1462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$742B213D-EBF5-406A-ADC4-06E70241E201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f21773bf56008ba184660f0b987ed6757d7c1f0","datavalue":{"value":"1090495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$BDEFE2A3-7A6C-42BB-8B9A-E5CA2AF45FA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0076ccc5ddead44e8876cb7962cceba963cf7514","datavalue":{"value":"domain-theoretic categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366772$E524DDCD-08AD-41F1-B191-3903E0B83B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366772$3DD2DD97-DAF5-47C7-A21E-75473511FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a314442ab77854917f9e2d62350cce46230c5aa6","datavalue":{"value":"enrichment theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366772$823C961E-CBE0-4D2A-B7F8-92C714FDE0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f72b9e208935b50331b8ce2ef8597b6a933e5e","datavalue":{"value":"patch relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366772$90C69F6E-FB3C-4E4C-90F1-ADF784FB6197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23db07b201806f8484f6e25535c58dcaf096c29","datavalue":{"value":"uniform fixed-point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366772$952BC1B7-DBB7-428F-A436-6DE4082B4DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366772$0891A986-8591-484E-B337-1B646726BEB5","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":"Q4366772$3764FFA0-D7F3-44A0-A3D7-EA2D1C41474D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e42a53dec437cf2d11f04f46a15f64eac46cbe6e","datavalue":{"value":"https://doi.org/10.1017/s0960129597002429","type":"string"},"datatype":"url"},"type":"statement","id":"Q4366772$591CA3E4-5F5B-4906-AEA8-6569446546B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"046f6ba50e6ff54864d0299927fc73f6e3fd7691","datavalue":{"value":"W2008892971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366772$1F7CC666-2717-4055-A7A3-3C2D23476031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92377f4f8d2799b03d3046e260dfcfdb5e258228","datavalue":{"value":{"entity-type":"item","numeric-id":2787123,"id":"Q2787123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b8ab2f085cda45ef0e3d44031b9c67d75f8356","datavalue":{"value":{"amount":"+0.89372563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$E924B448-DD35-4213-9E20-60208CF6E323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7472239196e1cba734aa7d22cc4464381996de5","datavalue":{"value":{"entity-type":"item","numeric-id":3702946,"id":"Q3702946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7f04dd2eb0c7816b25ab8b9f9deed7ae95039a","datavalue":{"value":{"amount":"+0.8894441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$ECB60899-B159-43E9-B050-03C046066661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b457f46c5ff37ae10c1e59c0462f998e2aa161c","datavalue":{"value":{"entity-type":"item","numeric-id":1206857,"id":"Q1206857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb96263f77e132e964747af8fea3ab63de4c345e","datavalue":{"value":{"amount":"+0.88186985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$8A7CB98D-CCA9-433D-8CFD-50B3294E8007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0ef2f1080eabf455f5c979ab09bd65cfc4a568","datavalue":{"value":{"entity-type":"item","numeric-id":3976471,"id":"Q3976471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c43a40e25fcfda548502013555511794b5e7dd1","datavalue":{"value":{"amount":"+0.8809103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$589EC87D-1518-4044-892E-ED07C4A9C81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9ee029bcab984b5dd0f87b579a02d7de66a870","datavalue":{"value":{"entity-type":"item","numeric-id":2576459,"id":"Q2576459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51e7b374a9ead9ce9699d55b9fd98c5548cc949","datavalue":{"value":{"amount":"+0.88037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$A50C61D9-31E2-4487-9651-A1205DAAF6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37f6aa958f9e2a44ff68db0d475b1d3b4512b76","datavalue":{"value":{"entity-type":"item","numeric-id":3156507,"id":"Q3156507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2676c3dcb1d6ce01b35e162fb69e9e53029eb5","datavalue":{"value":{"amount":"+0.8773561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$548E4C53-F635-40C7-8020-61439DBC7E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf47ecc46f8c47646243ef87c4307ec847ac9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3324131,"id":"Q3324131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2676c3dcb1d6ce01b35e162fb69e9e53029eb5","datavalue":{"value":{"amount":"+0.8773561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$324A2BB6-DC54-4578-8AF1-5D8690F64CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a834e122ffd31dddcdd659c7153cdfd9efb70c9d","datavalue":{"value":{"entity-type":"item","numeric-id":4314774,"id":"Q4314774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a499a40a0c93845e364734644df45dae35307a","datavalue":{"value":{"amount":"+0.8753599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$85B9F3C8-F49A-460E-8F13-C7450E628A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d69a18b8f4dc04948cab35c692f86984c6bc526","datavalue":{"value":{"entity-type":"item","numeric-id":4680156,"id":"Q4680156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa3b8a600b004648f8414da6a4139c86af2d4a8","datavalue":{"value":{"amount":"+0.87474906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$FA5E57E4-86BD-47F0-BAB0-86AE9828B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee2607312ac8eccad5d6e14cee5f05bb2e8d491","datavalue":{"value":{"entity-type":"item","numeric-id":3137164,"id":"Q3137164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece76cf8157a0d0d963245fe9a2d45d711f9d766","datavalue":{"value":{"amount":"+0.8732614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4366772$9CD52A40-6AD1-4522-BD9C-21F167D1BA5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366772"}}}}}