{"entities":{"Q1676530":{"pageid":1687271,"ns":120,"title":"Item:Q1676530","lastrevid":72488427,"modified":"2026-04-14T05:15:45Z","type":"item","id":"Q1676530","labels":{"en":{"language":"en","value":"Consistent Hoare powerdomains over dcpos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804702"}},"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":"Q1676530$8B8815B1-5473-4805-9DC7-72A1F44AC477","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4bb69da8c3003d7f0939b546e66173c4ff59c15","datavalue":{"value":{"text":"Consistent Hoare powerdomains over dcpos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1676530$FC36A07B-465A-4759-B78D-9921DAD6C2E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc75dbee15d5ab7848f3459ac4009e875686d77c","datavalue":{"value":"1422.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676530$E2E070B5-7CFF-4E63-9516-4575C74B4ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd7ed2f74df0fe4218f9e2114a6815b1cd8be9a","datavalue":{"value":{"entity-type":"item","numeric-id":504649,"id":"Q504649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$ABA03B85-6B64-4FF6-8C8D-7CA2CABBA52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff66c06024b6ac7d2f094ee77258b420d5ca296","datavalue":{"value":{"entity-type":"item","numeric-id":276415,"id":"Q276415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$EDE6385F-C2C6-4FFB-80BC-1345980E31BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$1AEFDE16-2BEE-4CC7-9F66-7B8994363B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1676530$CD44E612-C2C6-4F18-9664-9A9D3E1B460B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676530$84F77FE6-1DA4-446B-9FBD-D540C1F7F3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676530$5F5AAEA5-7592-4A98-A019-5C08B4E2F992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae78278977af4c98695560fc4f2d7ba54799873a","datavalue":{"value":"6804702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676530$35D71730-8D08-4861-AF5B-A0A7FD0BF8A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556fc44f650739d1eed9a1fa29b237964fae85ec","datavalue":{"value":"Scott closed subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676530$146BD590-3BE2-4584-9A0F-1CA542D4DA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676530$4DE9D589-84BC-40A9-8FB9-D7B1D82F9BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e324700a1bd3f5ee02839796562a261aee924b0","datavalue":{"value":"consistent Hoare powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676530$5B805AC0-C514-4A35-AB73-A3C3AF56D762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878eb9e3aa369499e4720d5b1e365d607e4371c3","datavalue":{"value":"quasicontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676530$279D2D15-4533-4135-BDAF-A88C2CD32F36","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":"Q1676530$B7B5C4CA-58CD-401D-BAE3-E2A9E9BDF8B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7f2411b14feaf93874d05a60a82361883f871d9","datavalue":{"value":"https://doi.org/10.1016/j.topol.2017.09.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1676530$62C4CC0B-7A8F-43CD-A841-1BB6AAEC1D40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6e596a721ef3fed9ca62c1d3a06db1596e63aa1","datavalue":{"value":"W2761552435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676530$5D45E7DB-3F0E-4416-BF92-BBC47998043D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$3C3294A5-7376-4B08-83CB-D4D39F12720D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$0A763115-D96B-4BE0-A0B6-742E2663363E","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":"Q1676530$FDC25A91-8CD5-4B0E-9E13-0FE65B772EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b1f75c05f4a5f34bc64d5f9b51e060ad87ad09","datavalue":{"value":{"entity-type":"item","numeric-id":3310666,"id":"Q3310666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$66196C91-2B08-4286-9158-B54B23AF98BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c1f0d20fc73ac81eb962b0fcc2d0176b63f505","datavalue":{"value":{"entity-type":"item","numeric-id":1183553,"id":"Q1183553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$67FBA756-4E89-4CE9-9D1F-0D815D2F551B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff49b0aa543b067b67edd8b6adf982041feba194","datavalue":{"value":{"entity-type":"item","numeric-id":6116576,"id":"Q6116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$CDA9EF51-CB1F-4E52-9D75-EE9E4724D743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df55d7260f6635a9eb8f700b574404e9c4499644","datavalue":{"value":{"entity-type":"item","numeric-id":265813,"id":"Q265813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$CB85E432-E48F-41FD-ADE5-A16BA72D0BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$24D3E67B-4692-4707-89E3-07831D3CCEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$9D56BE1D-6DD9-4B5C-8BB2-5F315B3D2D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$E79A303F-BE7C-43C9-BE54-6B06C276D3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4aab29475ea88d31e48fed9d141c6b3636786f","datavalue":{"value":{"entity-type":"item","numeric-id":2250140,"id":"Q2250140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$2232DC6D-6FDF-4ACF-B07C-7B9A8F452198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c47a21dbecba2c0bd99d43948df6153b4736efa","datavalue":{"value":{"entity-type":"item","numeric-id":471444,"id":"Q471444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$57B0FF6D-1AAB-451E-B1C9-C9E4827C1E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b441dda72a3e1dd3626e152b538c50a658c81b","datavalue":{"value":{"entity-type":"item","numeric-id":471476,"id":"Q471476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676530$22578E0C-F973-4725-B053-7B1FAAE3880F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a571234575c00dd4ee6935e2113f2aa0170cee67","datavalue":{"value":"10.1016/J.TOPOL.2017.09.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676530$5E403F7E-D251-4BB1-8875-A5C99646826F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e7a2ccd1060c599bd9713f8bb2bd987a0d10a3","datavalue":{"value":{"entity-type":"item","numeric-id":471444,"id":"Q471444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83fda1dcea0de45b03a880ef4bfb9872813b06d","datavalue":{"value":{"amount":"+0.8933117985725403","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":"Q1676530$9E019C6F-E92D-41BA-B9DA-408CD5BE22A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1917d5026f9b3dcfe00064cabc17139cd82b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5371455,"id":"Q5371455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f834b964fd661f11fce3bbc926163166094fef7d","datavalue":{"value":{"amount":"+0.8803317546844482","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":"Q1676530$3081834A-7FE5-400F-A20E-E6BC6BBA026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c8c72a3069fa0a78588558d5bd52e131447963","datavalue":{"value":{"entity-type":"item","numeric-id":2250140,"id":"Q2250140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c93a28ed10df8116dc936a2c8714781d914c345","datavalue":{"value":{"amount":"+0.8477445840835571","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":"Q1676530$CC9A6A3F-8192-47BA-A266-6C382F55C2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b70b9161d18769a75224ce10b52da59410498","datavalue":{"value":{"entity-type":"item","numeric-id":2401571,"id":"Q2401571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf15e81d49db3b19034715d366b2b6656bfa195","datavalue":{"value":{"amount":"+0.8333765268325806","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":"Q1676530$F798CF6E-B47C-4F44-83C0-F13336B3E216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed8fccb3758ee6a0fcd4689cea579d73f9ece09","datavalue":{"value":{"entity-type":"item","numeric-id":2642996,"id":"Q2642996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a647fccaca01259d2104b5a4671a037818ab40bf","datavalue":{"value":{"amount":"+0.8225000500679016","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":"Q1676530$44E952BA-12E9-4164-9A81-576E56106CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent Hoare powerdomains over dcpos","badges":[]}}}}}