{"entities":{"Q276418":{"pageid":278185,"ns":120,"title":"Item:Q276418","lastrevid":77607071,"modified":"2026-05-06T09:38:31Z","type":"item","id":"Q276418","labels":{"en":{"language":"en","value":"Observationally-induced algebras in domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576796"}},"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":"Q276418$F0D5C153-0C04-4F5E-B258-D95EECF5B357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e304ff0f601e5e64a1df58c84fb277917c68327","datavalue":{"value":{"text":"Observationally-induced algebras in domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276418$ED29CBC0-2420-4704-8D97-B9A2D04B10EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ab7dcf2c9405076094e9b9fdebf5fd238707ff1","datavalue":{"value":"1337.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$D9D19C03-BFA7-43BE-A5EA-3869EE91A81C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30662d8a26cc88b9c288870123c0e286e0df56be","datavalue":{"value":{"entity-type":"item","numeric-id":276417,"id":"Q276417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$4E56A7A2-2100-4FCE-B648-39A3B4E38610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276418$634D4684-165E-4097-981C-98455C02B6F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$14F3E89D-5F4F-457A-8628-2F8C2776D768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$2C865A48-F0E0-415F-B9D7-DD0E909B16BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56f341128b93ae27f98bed8a0e613edfef340abb","datavalue":{"value":"6576796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$3E88957F-9D73-47B9-91DB-B10DC7754D30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q276418$5944B212-BE5F-4A62-BBAE-729CCEC90FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q276418$E94875DF-0323-4846-9BFF-072ACD659FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q276418$6D9ABA7B-B9DC-4302-B52A-F9054EC2D21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202a80cce893f6fd3030a9341af67d83e8826880","datavalue":{"value":"topological domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q276418$5F0C87CD-FE17-4C75-B605-8ECE4D36778B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$62B8932B-2352-480E-B416-7902ADB392A6","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":"Q276418$436F9EA8-0175-4D2B-88AE-45BCF4C55330","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5e99542d17bc9b47ee93f830b15bfb14d530855","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q276418$25AE2F9E-C9CE-4EA7-92CC-AD1B353F0D47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13816e26886029931f0b87cc3c3b394d79664e73","datavalue":{"value":"W2014028175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$EF6E9B27-F5EA-49D4-8868-9FDAC408F6B5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9a60a633556e2cfbedf7ced07303e90840b4b792","datavalue":{"value":"Q113317921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$E4D15B63-E198-4984-8AEE-B021A23B884C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4540cedad6250008610d476f6e4d35f0eb6f26cc","datavalue":{"value":{"entity-type":"item","numeric-id":3178272,"id":"Q3178272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$79B0BAD4-B304-401A-9F4A-EBC0A1520B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543c037bc3a36240d412bdd81fe852448d7aa096","datavalue":{"value":{"entity-type":"item","numeric-id":5739353,"id":"Q5739353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$DB533CF6-279C-4A58-9763-C8195D51E354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a0d9370d10f36e3cf3a0029fa79b1654854633","datavalue":{"value":{"entity-type":"item","numeric-id":492906,"id":"Q492906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$F1763530-3BEE-4BB3-B493-C20475A74ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$1845A366-800C-4835-B2AE-AF40969B92C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad79bd0997416576802a75fe8e0542f6323c9511","datavalue":{"value":{"entity-type":"item","numeric-id":5458368,"id":"Q5458368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$EEAF89D3-DE76-407E-BC29-4E8B708930B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0b99b3344ef97c0dbd1ad5b6840d5c27d2b412","datavalue":{"value":{"entity-type":"item","numeric-id":3559970,"id":"Q3559970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$D0A6BE60-D143-4411-BBDE-4160350C4AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a72c2418dc791b7070825816c3e5d973b0f3f36","datavalue":{"value":{"entity-type":"item","numeric-id":4222889,"id":"Q4222889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$1C86B7A7-38A8-4317-85C2-270A2BF95CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a24148a61daca7521d113a3065543db08d853","datavalue":{"value":{"entity-type":"item","numeric-id":879352,"id":"Q879352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$D0AA14AF-A573-44B7-9591-0702E7E60242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$05F9147C-9A93-460D-8BE1-DE1716686A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1089625db3782877728ce858fa0226ac69e04cb4","datavalue":{"value":{"entity-type":"item","numeric-id":2852362,"id":"Q2852362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$8A14DAEA-DD22-4E44-802B-61FF3E631EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73488216077a8f2fb95870113b1939b3a859d3a3","datavalue":{"value":{"entity-type":"item","numeric-id":1023293,"id":"Q1023293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$2838F50F-8BE5-489B-877A-04B0D40A508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$0C981065-6F45-479C-A281-63DCFAA51BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$B0F7AD38-264A-46F8-BBBA-F0127E894BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$C1D2748A-5C2F-4F70-AE64-EFD03911DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87173fb80eb98b244bad127843fde7966f7c636","datavalue":{"value":{"entity-type":"item","numeric-id":2852372,"id":"Q2852372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$CB4CB463-2D73-4F12-9841-7689D2C96257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$53767B3D-75BD-4839-B4C6-A540FC4B2414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ee5c7fa41a9422dc1493f779dd49d7e470e9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3949664,"id":"Q3949664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276418$F9EFFABC-0BDD-4C64-9798-C4F2BF437E63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0424ace7812fe62e47e38560a47a9fca9d8306fc","datavalue":{"value":"10.1016/J.ENTCS.2014.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276418$7718E97E-A7D4-497A-9D29-078FD137E309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20495f3f24141c64d48160c31e90dc75a5ba2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2921115,"id":"Q2921115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q276418$E86990AB-7490-46C0-A9FC-4B2029F020AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7434946b3b30b56ce5add9db1c36c9ffe128eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":5096170,"id":"Q5096170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a978c9dad0dea124ab5e327f91e9467818f59805","datavalue":{"value":{"amount":"+0.8923584","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":"Q276418$8B96BDE1-E12C-4A27-A936-CF37DE56A6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a796ddc1866cdef9488b7389a5f9008ec2af01b1","datavalue":{"value":{"entity-type":"item","numeric-id":3216122,"id":"Q3216122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e05b28acff0d10bb290f8e57f4d2e9a89189a80","datavalue":{"value":{"amount":"+0.8801685","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":"Q276418$321043A6-DD45-415E-8768-26F40746ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9298d71e8911ba88b72c6092572b4b62ecdadd38","datavalue":{"value":{"entity-type":"item","numeric-id":3707383,"id":"Q3707383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892b64fd06b595ed70a2657677ea55f7ffd755cb","datavalue":{"value":{"amount":"+0.87885785","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":"Q276418$E53CF580-B3DF-4C88-852A-7B0CDE479B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6945c9995bea9fd92f1eb9de3639b55d6aa83075","datavalue":{"value":{"entity-type":"item","numeric-id":624383,"id":"Q624383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1788af1fc36f15bed5aaa23dcdf67c3509d88ae","datavalue":{"value":{"amount":"+0.87334484","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":"Q276418$5E73E302-BD4D-4B05-B416-3A4882EE8DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eccb792ebeb18bc43a48bf5e11bdcf474cd3b65","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b274129421084183f185fee84e69e6dd3c819e6","datavalue":{"value":{"amount":"+0.8707952","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":"Q276418$98B44617-BF1E-4E2F-B350-665EA262BD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47008b2587cf7daadd3ef9c54f30db47117519d6","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b274129421084183f185fee84e69e6dd3c819e6","datavalue":{"value":{"amount":"+0.8707952","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":"Q276418$5197CF75-AF13-4CBF-A460-9ED0190A2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9d6602121664f50b1e3bde58776697d149642b","datavalue":{"value":{"entity-type":"item","numeric-id":3433173,"id":"Q3433173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707d56a69402ce5ee7c903aafddc2f8c5eed33a9","datavalue":{"value":{"amount":"+0.86307466","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":"Q276418$5F562A05-F640-4824-934D-19542D765AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3215fe03bbbe1dd5869b642b7fd55784f25a50a6","datavalue":{"value":{"entity-type":"item","numeric-id":4373730,"id":"Q4373730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac052f972fefe11e249b049ada8b5d69212c80f","datavalue":{"value":{"amount":"+0.8621677","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":"Q276418$DF8E7632-DCED-4933-9AB4-145ABDACA25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e4b5ff847d73ff055387aad8edb75cf1ff9e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4508552,"id":"Q4508552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae44bdf686c51e0a4e92a49da12e3774ba15ee4","datavalue":{"value":{"amount":"+0.8620278","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":"Q276418$CC148296-BF96-41B4-8892-3E76AC509C95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observationally-induced algebras in domain theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observationally-induced_algebras_in_domain_theory"}}}}}