{"entities":{"Q831307":{"pageid":833155,"ns":120,"title":"Item:Q831307","lastrevid":64702596,"modified":"2026-04-11T21:39:41Z","type":"item","id":"Q831307","labels":{"en":{"language":"en","value":"On the axiomatisability of the dual of compact ordered spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347069"}},"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":"Q831307$E159ADF7-E34A-45F0-A839-3859B1921030","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e55b4da2945c0b454e24f0cc241ff46467f52fac","datavalue":{"value":{"text":"On the axiomatisability of the dual of compact ordered spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831307$A6FAB92F-1633-41ED-B12A-172B2FD8C6CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d575ef1bbb395bddbf1ebac0f3fae2579d7af3e7","datavalue":{"value":"1460.18011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$1F56FDC5-C856-42C7-AABC-D5520B676000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9f4bb953182125cde15d1f42ea16de969a1a52c","datavalue":{"value":{"entity-type":"item","numeric-id":831306,"id":"Q831306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$91C06042-8628-4026-8D75-CF69BE16272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e1f9a37b2997b4c67a007cdd4d90ea6293c606a","datavalue":{"value":{"entity-type":"item","numeric-id":502642,"id":"Q502642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$B8B87D38-BF96-4C04-96C5-8211EC6DE88C","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":"Q831307$D35940DE-D13C-4BCB-860E-CC48354F1374","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831307$7ECF69B9-D8F0-40F7-B219-4C31D2B91C55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c982c5e8939a92dd4b6cad473f78f11ed914281c","datavalue":{"value":"https://arxiv.org/abs/1909.01631","type":"string"},"datatype":"url"},"type":"statement","id":"Q831307$775F5F08-2441-4EF1-8821-254508671B55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"045858923c6c53fec7d40ee9640218b1e5f361bd","datavalue":{"value":"18F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$E60F9A5F-A2F9-48FC-ADE7-761584B23741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$E0CE177E-A142-4CEC-9B00-BFDD985F7787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$5EAD91D2-6ADA-48D0-8EA1-60EFE5FA9DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$BFCD6DA6-101F-42D7-8000-ACC5B2446577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0f3ffa02fbe0852fe565f610d0b15773e9be7e1","datavalue":{"value":"18E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$063DDECE-8A57-4A68-AC89-64E680EEF539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$828E36A5-B9C2-41CE-88DB-2DD1734B85C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$1FAFF618-D437-4444-8EEA-B02268153F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$2D01D47F-20C5-4DE3-BDE1-1DD3F2882820","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dd5033a127a538575c59be55a93004036d28569","datavalue":{"value":"7347069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$B7D2AB78-28AE-4695-8F54-6EB426BA3D15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4cc708cfffc7f94adac5e09cbf759aecacc5e2","datavalue":{"value":"compact ordered spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q831307$74964D65-B30B-42B9-8E60-09584DFD0EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q831307$A90E1315-F0DD-4751-8405-EB82D7899A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7515ed1c2c6dc921320494b384ee00fedf43c1d2","datavalue":{"value":"axiomatisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q831307$5108CD7C-7E9C-471E-8004-2E00B3498963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91b11054dcbea229a63bd2300d803f7c98fdadf","datavalue":{"value":"infinitary varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q831307$A0A3E0B5-9EAF-44D3-90FB-B527AFE9189E","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":"Q831307$B406B11E-87D8-41ED-A85E-8B080069E53C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5aa4aae1701050198388f5f246ef837c033f50a","datavalue":{"value":"W2972239815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$BF79BFF0-758C-443C-BC2C-818E1F1E2A20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4393cc6ee556ee27beef325e50aff6630770cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5207356,"id":"Q5207356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$E0344EA5-98C7-41BB-864A-BAF510290F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e3403cd9f2aeefa41adc21b127aba279fdf4b6","datavalue":{"value":{"entity-type":"item","numeric-id":1770598,"id":"Q1770598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$317806E9-A31C-4852-B26A-B81724A46C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$AB974254-16FD-45B1-9911-B61EB86BB0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e19c166ebacfee7b938e3027fc08a546be1f01a","datavalue":{"value":{"entity-type":"item","numeric-id":1053103,"id":"Q1053103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$742E8CCE-5732-4B22-9F57-318C3224BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$A00DFED8-E713-4E35-A131-C570D277B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$1B9F6E27-15E5-4929-8181-2E3AA2AF2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$A4F478FB-9FB1-4538-AB45-1EDBC0D43435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3545356a0aafd994800ed724ad387bf8b32dbf68","datavalue":{"value":{"entity-type":"item","numeric-id":5612499,"id":"Q5612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$CEBD5AE7-DDE4-441E-822E-17188E0A2CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$488380D4-23F0-4E53-99D9-7E15566B43D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1430057f5b02d1dc624f03f2f455e2ceeb0c0624","datavalue":{"value":{"entity-type":"item","numeric-id":5836035,"id":"Q5836035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$F63EBCB9-45A0-4028-9119-DCEC62FD2355","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":"Q831307$506822FA-218D-4002-B538-82F9B41D5B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4c403bcc4d8bdb929e26cdf9d6d7d8bedb30a0","datavalue":{"value":{"entity-type":"item","numeric-id":4563236,"id":"Q4563236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$6C15D288-28E5-4168-9B30-F3D79630D0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108885ee28ec1141ba0f8c17c139f7319bb41632","datavalue":{"value":{"entity-type":"item","numeric-id":1052451,"id":"Q1052451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$53D94295-41C7-453D-8C14-FF3BE5A3280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$168FD931-794C-497B-A846-D86B145AA39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96ccb758375a92b508a91d74c5cdec7ca00da48","datavalue":{"value":{"entity-type":"item","numeric-id":502643,"id":"Q502643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$A99316D2-B8DE-4DFF-8B42-0802AA95671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf8e9e50b2a58a68f3afae4afa50f57469a92","datavalue":{"value":{"entity-type":"item","numeric-id":5340517,"id":"Q5340517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$AF10377F-8E89-4D85-A811-F5E0E316DA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229b64370cfd7c9d7abac613847be61deb52d114","datavalue":{"value":{"entity-type":"item","numeric-id":4896532,"id":"Q4896532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$0B23A5A4-339F-44C4-ADE0-A243DBFBFC1B","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":"Q831307$82302AB4-FBCF-4E70-BDD5-B0BBED03BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01fca538ce6aaccb6a11f628397554f051275e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5633991,"id":"Q5633991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$8709D126-E9D8-45FE-B4B3-431F29176E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$FF3E6210-B9F4-46B1-A48C-949F7FACF5CC","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":"Q831307$B4CEB978-4989-4599-AA6E-0996E516710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c46c0cc54ee99b5d74def17b349fd26f71f7a5","datavalue":{"value":{"entity-type":"item","numeric-id":2390522,"id":"Q2390522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$3CF46A69-A2E1-4B51-A9A4-4E9D7FA8ED97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e1fc1694525eff6c306f2e5315d901a6a89c3f","datavalue":{"value":{"entity-type":"item","numeric-id":4322441,"id":"Q4322441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$5FF9ACB6-BA13-4321-8E8F-AE71A6C14DFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3044de8b67875b7fab5df5f7e7d71eb9296bc336","datavalue":{"value":"10.1007/S10485-020-09604-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831307$79317FBE-BE80-4611-AE9F-B618973898FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa60f9b602221ee4eb081a4f20426ccff65300aa","datavalue":{"value":{"entity-type":"item","numeric-id":5207356,"id":"Q5207356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0361a350466155a2017b2655def8247279332ce3","datavalue":{"value":{"amount":"+0.8555110096931458","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":"Q831307$4F179E82-0D66-4337-966F-88CE40A460D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba5f3addb1985080051ab664a70e2a0b2f862da","datavalue":{"value":{"entity-type":"item","numeric-id":4563236,"id":"Q4563236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44770af3eccad0447530dce136a9d5db6ff6d330","datavalue":{"value":{"amount":"+0.8351917862892151","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":"Q831307$E08F8AE1-A640-47A3-AE29-919E5BB07FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcdff70715e296674a1e7abd8954365e8672410","datavalue":{"value":{"entity-type":"item","numeric-id":3138861,"id":"Q3138861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fe62ec3b13915643061ce3874aa186ebdb9e10","datavalue":{"value":{"amount":"+0.8348338603973389","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":"Q831307$4053A98F-85A4-411F-8A4A-E8122636D7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0954c599d865f2a90fb9ef99877f41922cae22","datavalue":{"value":{"entity-type":"item","numeric-id":502643,"id":"Q502643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857a32a3b85bd28267b49ecc0b164737660c23a4","datavalue":{"value":{"amount":"+0.7886117100715637","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":"Q831307$B3218194-72E2-495A-AE57-8AEB1B5FEC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d012af755948d5e9d6b25bf180ce125a60a268","datavalue":{"value":{"entity-type":"item","numeric-id":1361360,"id":"Q1361360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7551791d48b1bbf76c6d116b7a7282e9ff75fce5","datavalue":{"value":{"amount":"+0.7724920511245728","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":"Q831307$EF9BBEF0-A30F-445A-8082-E1AA25FDC9C9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831307$4065A41B-1ED5-4EF7-A4AC-1F0EFB95DFF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the axiomatisability of the dual of compact ordered spaces","badges":[]}}}}}