{"entities":{"Q2709786":{"pageid":2720525,"ns":120,"title":"Item:Q2709786","lastrevid":47597704,"modified":"2026-01-02T04:32:58Z","type":"item","id":"Q2709786","labels":{"en":{"language":"en","value":"Linear types and approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1586982"}},"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":"Q2709786$F97CFC3A-EB70-4529-9968-B9F8EFF7FC9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd8d4626239cc027cc7e9dbdfbc60713f5945f4a","datavalue":{"value":{"text":"Linear types and approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709786$DEA34F9C-5A58-43C6-B634-2D5E6D9BA4BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"597f70736f66bda2ddab0c883e02c0fc5e583282","datavalue":{"value":"0982.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709786$1FA79ED8-11D0-4398-B18D-36CD9A8C9A39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"935e1d1099cd44a953994117eb3136ea40e5d5e5","datavalue":{"value":"10.1017/S0960129500003200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709786$40032038-40B8-4637-8B12-96F472CFDBB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709786$10C8B970-BF34-42C1-BB68-7591058BC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709786$484B446F-E9B9-4145-863A-7373B43AFA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c722b18062e530983ece38a50cd0cb269a2811aa","datavalue":{"value":{"entity-type":"item","numeric-id":371256,"id":"Q371256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709786$7C689082-D442-4CF2-92E3-C1DE68E3D2FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0593af37fe07a1ac9fcda9c5e9e009686627c41","datavalue":{"value":{"time":"+2001-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709786$B6A1279F-612E-49FB-89BE-59AE54816FD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709786$FE4D0951-936A-4895-AFBF-618981B045EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709786$2053FC92-99B8-41BC-A50C-3AD9D40E17D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe693d8995bccf4cc27da5ab197a2ffe317c22b","datavalue":{"value":"1586982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709786$3BBBCE31-38A8-4B75-8C1D-554E9F818DF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db9d488ea6d0894eaa7e9169e2916c4c7e67eef","datavalue":{"value":"continuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$639D9581-9BE8-495D-8599-981222BBFD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6a5e3ac5da4558a54ed427bcc49f7efd6b6452","datavalue":{"value":"algebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$F78E3D13-7E1E-4571-A7BB-287A9F72B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad80aebe80196423fa694ed46354ee45d24df48d","datavalue":{"value":"symmetric monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$D4CE950F-B3DA-46E4-A2CB-967196013343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$CFE2C855-5877-483A-8B3A-2B0E74FD424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$E81473D5-F081-4343-8102-C0A0316BDC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$AA0ADE20-9BF6-4C74-86DC-791A778B093B","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":"Q2709786$A2AC6DB6-9B62-4290-B680-548F3CE878AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709786$2FFB75CA-E18A-4A76-BAF3-F78A39C9AF88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82a6b7a1e99f30cafcec54acd42bfaf6cf460b3f","datavalue":{"value":"The authors introduce FS-lattices and establish their connections to domain theory, topology and linear logic. In particular, while the category Cont of continuous lattices together with maps preserving all joins is not \\(\\ast\\)-autonomous, its full subcategory consisting of FS-lattices is. In addition, it is maximal with this property (under one extra condition). Distributive FS-lattices are precisely completely distributive lattices and algebraic FS-lattices also form a \\(\\ast\\)-autonomous category.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709786$123D4007-C42B-48CB-BAF1-1AA1B7A88519","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709786$43B5C931-14F7-417D-9990-7D41FBACA443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69ae392441ba283187ea1e76259998961e93a2","datavalue":{"value":{"entity-type":"item","numeric-id":5890060,"id":"Q5890060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceee2ad5850f955971bc28b1b5d8c24e635462bc","datavalue":{"value":{"amount":"+0.7648609280586243","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":"Q2709786$3C167F5F-946F-46D1-84A8-D6A6A7D9EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd0f871fb5ea6bdc1500fe9495ed06e3df8b338","datavalue":{"value":{"entity-type":"item","numeric-id":4389696,"id":"Q4389696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe994494a61ef74f2aaad7dafe5cfd148a35ce8","datavalue":{"value":{"amount":"+0.759427011013031","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":"Q2709786$4D6D1DF2-3D11-4F21-87A8-F9C84D1064A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb20946491292c15a773650248fa25fc5f28662","datavalue":{"value":{"entity-type":"item","numeric-id":2334016,"id":"Q2334016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad86c48a5adc73f187a32e5b9f9fb18445a2d5a7","datavalue":{"value":{"amount":"+0.7588201761245728","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":"Q2709786$A886FF22-CCB9-49C3-BF12-8C81405C17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448a17555c07e0116bce6af2ae3982030aa4e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b2cb3fb57fe1927a7632ba186c7dc7d7705f12","datavalue":{"value":{"amount":"+0.7415636777877808","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":"Q2709786$53C43FA5-BC43-482E-9F73-158D0DF8C84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fc59bfe0bb4162bfcd547ae486ad24eb0d1d80","datavalue":{"value":{"entity-type":"item","numeric-id":4501149,"id":"Q4501149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128deb5ebbaf39fd4158c230be526ed7327ddef1","datavalue":{"value":{"amount":"+0.7413602471351624","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":"Q2709786$BFF991CE-8ABE-4B8B-A88D-4EF73C08A743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2709786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2709786"}}}}}