{"entities":{"Q633791":{"pageid":635639,"ns":120,"title":"Item:Q633791","lastrevid":51216689,"modified":"2026-01-17T07:14:28Z","type":"item","id":"Q633791","labels":{"en":{"language":"en","value":"The patch construction is dual to algebraic DCPO representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5871632"}},"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":"Q633791$2AF4FCD9-1D24-4F82-86FE-4A840933EA55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5b5172c4763f392148c5fb9486a0aa05f28ce58","datavalue":{"value":{"text":"The patch construction is dual to algebraic DCPO representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633791$474923D4-293C-42DD-B21C-2663C85B8EDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a9338f5373d12f502ad3b2f093471c552149297","datavalue":{"value":"1234.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$25A83A75-F8A2-4948-8FAE-02C14B346026","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$DA1E1B6C-4BA3-473F-BD40-ACF9F74C63CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633791$C18A8216-B18E-4122-9582-A3BD37B39456","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"227a31c5201dccfdc267c359a9f82221073cf48f","datavalue":{"value":"The author uses the parallel between the preframe and the suplattice approach to locale theory in order to prove that the patch construction, as an action on topologies, is the same thing as the process of recovering a discrete poset from its algebraic dcpo (ideal completion). The main theorem reads as follows: (i) There is a bijection between discrete posets and ideal completion locales; (ii) There is a bijection between ordered compact Hausdorff locales and stably locally compact locales.","type":"string"},"datatype":"string"},"type":"statement","id":"Q633791$0B2A63C8-2B57-415B-AEE0-FBAF6BF29A5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$D03F36CD-5B73-46CF-82AD-A8513F3DEF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$A9053B79-585B-4012-95ED-CE8AF2FCB9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$0762B00F-D1A7-4367-BF2B-423B345130A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$59A61766-1EE5-4DCA-949E-0E37306AB49C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f26bd6cca7d0e0f2f9185c372b2889f9259ab67","datavalue":{"value":"5871632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$A65EADE4-5337-4402-84AC-A1BDD1DCE494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q633791$9096C306-ABBD-4354-9FFA-E78BB10E013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe83ea8d7972f4d7898711b7142bd72fd4a3a4c2","datavalue":{"value":"patch","type":"string"},"datatype":"string"},"type":"statement","id":"Q633791$B9FAA4BA-FF4D-4453-A02D-638CB9D2A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ed4c5a41115f5e817e4e411b825933567bfec7","datavalue":{"value":"stably locally compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q633791$F8325972-E09A-44CF-826F-2D1F694B209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9199cc8ae7907f2cac7947aa33d9d91598db74","datavalue":{"value":"algebraic dcpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q633791$3C7962A0-1931-4420-8728-A2856C180A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6526e3a74e947c8b426c389bde30de6a9b59094","datavalue":{"value":"preframe","type":"string"},"datatype":"string"},"type":"statement","id":"Q633791$BA58A738-555D-4251-B203-FC7A4322056F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7918a9a011dc659f4866b566042e534d784831ea","datavalue":{"value":{"entity-type":"item","numeric-id":593203,"id":"Q593203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$E00BA17F-8B1B-434D-8FF6-BAFF986B0D36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$F095B813-66AE-41D2-AFC0-9DE175590838","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":"Q633791$5D577C5F-8F98-4B7B-9D26-BBD785FCD35A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9d526ef058a430c936552302b414c76167d7f8c","datavalue":{"value":"https://doi.org/10.1007/s10485-008-9177-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q633791$ABE0423D-2CDE-4297-9035-5A992FED39B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"611fdee65c124cf2963f5783cfd9af9a372f790c","datavalue":{"value":"W1966177179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$17BF74CA-DABB-4F82-9F6C-159243E01E05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"937a3f5beb87d93a07c1dd9c899e4e4afc8491ce","datavalue":{"value":{"entity-type":"item","numeric-id":3831708,"id":"Q3831708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$B8E86A2D-3EB7-44BD-A0DF-0253DBA20CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2ccf4fcd9d3d38026f2030849919c4cd7e8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5788423,"id":"Q5788423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$602BB5B3-0329-4614-9AC1-112B1105A7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d40550fddd78fa96713d6f04c43b101012a561","datavalue":{"value":{"entity-type":"item","numeric-id":1295213,"id":"Q1295213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$541E2942-9048-4C72-AC72-E856CD5FCE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c026f500b31fc7544ec74bb3bbb24814bc440e5","datavalue":{"value":{"entity-type":"item","numeric-id":5928473,"id":"Q5928473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$B03B4E6F-12A2-423C-B8D6-63961E5ADB1B","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":"Q633791$94E2FEB2-AFF1-481C-9F98-31673580BCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1263e99e4b707d4720c126b40005fd827e683362","datavalue":{"value":{"entity-type":"item","numeric-id":3344036,"id":"Q3344036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$2CF0C50F-99A9-417B-8758-067819C12597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$27E6F0E8-6869-4EF1-9058-7E9E851F5152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad3f95524b6dac38c5347708a9cf5f58cdb5950","datavalue":{"value":{"entity-type":"item","numeric-id":3978977,"id":"Q3978977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$BDFFC961-448C-4D47-B244-03AC1DD82620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$465CE506-6C3E-4A5C-A407-75C6AF2CEE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f65afd97aa0db0cd4febfb8d8a6f0e8415a171f","datavalue":{"value":{"entity-type":"item","numeric-id":4362082,"id":"Q4362082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$123162D1-6AF5-4264-A1AF-A7BF436A2D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de836b573c170030af8878d37a17824e81e8387","datavalue":{"value":{"entity-type":"item","numeric-id":4727857,"id":"Q4727857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$16682C90-A38C-42C1-9FDD-AAD55843A03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$99F352EE-9CC6-4276-9E57-9A102F473B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$614033BB-4E7D-4C1C-B849-DBBD6ED41A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a29cfb9dfb0456d8d170feedbf51136ed7f567","datavalue":{"value":{"entity-type":"item","numeric-id":5516901,"id":"Q5516901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$45BAE947-3340-4198-A6A2-D039AFB3FEB6","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":"Q633791$C5006FE7-8ED7-4677-9425-4FA7B3E9973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3728670c4af7ca2884e08b4c7b79d1fb36dbab","datavalue":{"value":{"entity-type":"item","numeric-id":4024899,"id":"Q4024899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$BED85497-6930-4DF9-A4E3-8DD88F0D4F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$70466602-4B18-42D5-BC4C-A7322B343072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d623cd7ee4cf1f62fd548e24deeb532e455c2","datavalue":{"value":{"entity-type":"item","numeric-id":4525542,"id":"Q4525542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$5AAE134D-004B-4CFD-A2C8-DA26FB6BF62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b550e7bb49b9c5d525ca758333914d668cbca46","datavalue":{"value":{"entity-type":"item","numeric-id":3372727,"id":"Q3372727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$D7BA5451-5D88-4DDD-A83B-938FE50A6C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b93f7334095f2237e28b3b6a76b3b2fb6ca78a9","datavalue":{"value":{"entity-type":"item","numeric-id":2575778,"id":"Q2575778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$E8AAE3D5-3EE4-4810-85BA-2DD4BA2B1981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9ab3e424dc1140f0bff3f8859f77b1c4b111e0","datavalue":{"value":{"entity-type":"item","numeric-id":3978991,"id":"Q3978991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$11AE8EDA-BCF2-4F4D-9CC9-933516557EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$20A7A184-2D6E-4553-B203-22454463160D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23884631887fc88408f6964fc07e7d111ece1960","datavalue":{"value":{"entity-type":"item","numeric-id":2367538,"id":"Q2367538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$0B239B8C-58C0-47A3-90EE-C6CA3A95AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd4fd9b087f9b979e3dc5d201cce2c340572c7a","datavalue":{"value":{"entity-type":"item","numeric-id":4359621,"id":"Q4359621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633791$A78E52AC-AE3C-4DD6-8722-7B5564737356","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43ab06caa9969aed11656dc98477dc950ca625b2","datavalue":{"value":"10.1007/S10485-008-9177-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633791$FA0C1C7C-3D7D-4311-995C-C096E21594C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2b971c4d20605c82703ad276398e1ed1353ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2504392,"id":"Q2504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a016883228ec76e03c98f8ca5a5fb6a40023a91c","datavalue":{"value":{"amount":"+0.759195864200592","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":"Q633791$7356512F-41C1-43BE-9E91-D58BB1662ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825d59305dc3685970e475b32db9cd9088abbc9b","datavalue":{"value":{"entity-type":"item","numeric-id":1434361,"id":"Q1434361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023c65870f9d74f659ab13433c3921cc869a0477","datavalue":{"value":{"amount":"+0.7515549063682556","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":"Q633791$3492F2B2-FFFE-411A-8DC1-301F711C2C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1436319f08bf19520a306d49a522eb878f1e715a","datavalue":{"value":{"entity-type":"item","numeric-id":5415639,"id":"Q5415639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2a265e4269dd61863fc01dcf22e5b5cba68065","datavalue":{"value":{"amount":"+0.7308427095413208","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":"Q633791$EEEF2239-A892-43C7-981D-86CD1524F529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d784dc301d5713024163f2667afce916945d7dfa","datavalue":{"value":{"entity-type":"item","numeric-id":2575778,"id":"Q2575778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bc46bd7595d57ee64fb88f559ffde41e6fcbd1","datavalue":{"value":{"amount":"+0.7268558144569397","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":"Q633791$D1601C8D-4DF0-4641-8C98-C66DAF17B2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41a9423c3c711aa55e6512d5f0fc45a5f249d42","datavalue":{"value":{"entity-type":"item","numeric-id":1427774,"id":"Q1427774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137e9303731c08e223da7443bf716a93a092c2c9","datavalue":{"value":{"amount":"+0.7223450541496277","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":"Q633791$1D8DCE83-81DE-4311-95A1-DEE1065BE4BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:633791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:633791"}}}}}