{"entities":{"Q1178707":{"pageid":1189456,"ns":120,"title":"Item:Q1178707","lastrevid":66511929,"modified":"2026-04-12T10:34:37Z","type":"item","id":"Q1178707","labels":{"en":{"language":"en","value":"Coherence spaces are untopological"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22292"}},"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":"Q1178707$705E14CA-A848-4438-B779-FA843FE9000B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a66aaad6aedf2b1bb29ce0aa5c8758e8be6ae84c","datavalue":{"value":{"text":"Coherence spaces are untopological","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178707$561BCAE1-FDBF-44B4-B663-3FB06E8E76F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"566219b3c9008bd5fb4b8fa9e6487aed41fb5502","datavalue":{"value":"0742.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$352D4EDA-19AC-402D-95F0-A2E8FE0256C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"486e27067ba890d21239fbaa0f2b682db3af3333","datavalue":{"value":"10.1016/0304-3975(91)90187-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$B665FA1B-803C-413A-B00A-5AA340760776","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67698e0a14d923954ed78046dcfa863c0d3c0be","datavalue":{"value":{"entity-type":"item","numeric-id":538467,"id":"Q538467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178707$42CF79C2-C84C-4395-A948-FB080EDB2D12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178707$D4CF577B-A29E-4C81-A850-1614B19906BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178707$1AD78F46-CDF2-44C3-800E-BBE86326B372","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1117315ceba2eb4fca64cfcfb27681586182b7e6","datavalue":{"value":"Coherence spaces are special Scott domains which have been used by Girard see \\textit{J.-Y. Girard}, \\textit{Y. G. A. Lafont} and \\textit{P. Taylor} [Proofs and types, Cambridge University Press (1989)] for the semantics of Scott domains. The appropriate morphisms (which make coherence spaces a cartesian closed category) are so called stable functions. These are Scott-continuous, but not conversely. The author shows that it is in fact impossible to associate with each coherence space a topology such that stability is characterized by continuity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178707$F6E9095A-9A08-424B-902A-84A81F09E1EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178707$A35C3161-3FBA-4D26-B717-340B13E4E38B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$EBBE68FF-825A-4A9F-8BBF-112A34C0FC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1011955a46b5f2847e00ed237667143679c7764b","datavalue":{"value":"54A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$D8F34D20-C55C-4E42-A582-7F963F66FCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$F1729D58-B8BD-4AB9-A0BB-FE5354328661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$8BCC66DB-2AB8-49F3-8627-ABA2441E6881","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d3281c646ed2b52523ed3201f46d37665a4b1ee","datavalue":{"value":"22292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$5440FF4E-BE67-4F05-A4C7-8DE6C89D81C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32e8d24a259b77a0c291628c9ab44b4a5f8bbe03","datavalue":{"value":"stable map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178707$6D1A9740-ACF1-43DB-9704-AD16BD128CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178707$9B3A840A-3F40-4594-9C8B-94DFE70FCB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178707$5A83E2FC-F94D-4F49-B959-C6D516983E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546a8e104de11b1e2226cd1170fe0fb11371591b","datavalue":{"value":"coherence space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178707$78D7A4EA-5530-4445-9650-38723DE18122","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":"Q1178707$048C5528-E447-4F11-AFC8-DBB0BCD57749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c75c50291603a2469ab80937cd47ef7b8b8d7edf","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90187-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178707$8394EB07-BB3D-4C2C-B169-FF1EA597D2C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"999311c0526471d20fd8074afaf146b1ae422127","datavalue":{"value":"W2087198532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$FBB50B4F-417F-403E-9555-95AEE4260E8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178707$58A693DC-9EE7-4477-8064-E5DC5471D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178707$8DFA73FE-FE4D-4C7C-B8B5-EA383DF7CBED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b54cd3409fe5bf92ce33045146a61e5fb406bdb2","datavalue":{"value":"Q126557447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178707$DE8D1389-DFC0-409B-BB62-D23B5DAB7B5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670212f10473abee44f679b633dfafdb55521f4c","datavalue":{"value":{"entity-type":"item","numeric-id":917677,"id":"Q917677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b7dee4c28550653faebf59c1ea82e4e31c2754","datavalue":{"value":{"amount":"+0.7815278172492981","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":"Q1178707$54787632-6A15-434C-AD03-89C556381D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd3a74dda3f548cd0ba6ff62f382a58cfb8b81b","datavalue":{"value":{"entity-type":"item","numeric-id":2988356,"id":"Q2988356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2814e36bb2929eff86265b7945ff263656ba167a","datavalue":{"value":{"amount":"+0.7749380469322205","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":"Q1178707$9936F7B2-F5E1-45C8-8625-29FC2E3DB076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f0a7fde878462e3ea3c3a116aae6b3c1e12400","datavalue":{"value":{"entity-type":"item","numeric-id":4714259,"id":"Q4714259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4f535cf7ddafff9af1d8723430658c26add8cf","datavalue":{"value":{"amount":"+0.7617586851119995","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":"Q1178707$4471A419-37AD-4814-B6F5-74395C7CE8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3549e3ed9acead03bce22e0bae99a31aadb0a657","datavalue":{"value":{"entity-type":"item","numeric-id":4304538,"id":"Q4304538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6091c7fac9bf1aa4ee851e3ef8f72cdcdeab41","datavalue":{"value":{"amount":"+0.7616307735443115","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":"Q1178707$D5A6E5BF-89A0-48EA-A1AF-849CF447831B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence spaces are untopological","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_spaces_are_untopological"}}}}}