{"entities":{"Q1575868":{"pageid":1586608,"ns":120,"title":"Item:Q1575868","lastrevid":47034306,"modified":"2025-12-26T02:37:39Z","type":"item","id":"Q1575868","labels":{"en":{"language":"en","value":"Coherent Banach spaces: A continuous denotational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495162"}},"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":"Q1575868$82AEA6B4-A862-4AEA-B040-C4306196D251","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c56e8ec01fcbb218dceb17684bc9bf91e77041c","datavalue":{"value":{"text":"Coherent Banach spaces: A continuous denotational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575868$ED9F5C86-F3CC-4E6C-BA6A-1B54E86FC5E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47016efdc3c51888530a476812ae53f5e841b1f9","datavalue":{"value":"0952.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$5A037D7A-62DD-4595-B8E1-993F69C192D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc64adb13ad979ffd8b4122c4649479bbec81338","datavalue":{"value":"10.1016/S0304-3975(99)00056-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$6FA20C31-C720-4049-966E-B42455E8B515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575868$13471E1D-5180-44F9-9C20-B2BCF088EA39","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":"Q1575868$1C272DDA-2DCE-488A-9E71-21DB00E0E5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575868$C15C10A7-21FF-46FC-9CBB-D9792CBF69EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$7594FB92-772D-4D8A-899B-A4D718483102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$AB8B2216-AEEA-49B6-8A50-CD686F4C6D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6abddbaf8be15a0c4d9264f5ec754f36101dee7","datavalue":{"value":"46B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$AECCB56F-C663-4E56-AA63-97DF3E8DB1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$88F826B9-F427-44A9-8E63-B54CE6C08697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$3EA62508-4A6B-4809-BF39-2D9757EF81C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$CC9AE517-0370-47F7-A48F-815430C3E326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea8144a9bdffff6d74102ea98e2003327518979a","datavalue":{"value":"1495162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575868$B34AF449-FD3B-4C52-8113-50617464D4A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$89487932-CF40-4B57-B394-76C5F04EA61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db247c9e4417cc72af3da9ef1f35d058a555b8c1","datavalue":{"value":"continuous semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$A73BACB3-E499-41F7-B1CF-94E305664882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a18842299397e124486e0f4a81850bf2012ed1c","datavalue":{"value":"comonoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$F29F4B74-576F-4A8A-8229-E2DA7B488A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$C01DB119-0D3C-4DA1-8650-4ED4C557B418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8450ebfb449b0ab34d6b7e52cbd9ef0e542620a5","datavalue":{"value":"Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$BAB7569F-AA9A-45AB-AD15-5CF84850D1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$8327719A-45C1-4289-9D5C-2E889B9E3F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$08FFDB06-A027-47AC-9B79-B3F7D825AA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5067d4acd56954b4952d475524874708ef5ed2","datavalue":{"value":"norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$90A1D502-AF72-4B20-BE83-BF9B81948951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f36f1433fb0943b5627e18f49274d5819cf38c","datavalue":{"value":"positive connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$878EDBE0-A6B5-46F8-9C0C-3B7ECB5158B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6015f22523809f4571c96c15c1862249778634e0","datavalue":{"value":"negative connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$DA60CFA4-1A28-45D6-9ED7-695AD980F609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23349e3f2e93f8a8be04d57782b5610dd200ce16","datavalue":{"value":"topological Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575868$7BFD89DF-4AC3-4E2B-96D7-084ECDF7489C","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":"Q1575868$E3E65015-E3D0-49D6-9410-C22E40BBF651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b1c2b177f6e915bfd445bc1eb8617c4628a627","datavalue":{"value":{"entity-type":"item","numeric-id":4222829,"id":"Q4222829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83a7fca0426afe35456ebf97d94df0863cc54c4","datavalue":{"value":{"amount":"+0.9970236420631408","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":"Q1575868$FEBABD2B-CB37-4DAA-BEA8-35558DE6F8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa95cab7b9520d9a76b40b2df52aad274dd6e0da","datavalue":{"value":{"entity-type":"item","numeric-id":4353290,"id":"Q4353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e9a507d8468af367e7c60040bda7a3264df5c2","datavalue":{"value":{"amount":"+0.7578638195991516","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":"Q1575868$1B605847-E148-4ACB-8E95-F355EA439295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000d032e27b1261ecf35085c7eb87055417a9916","datavalue":{"value":{"entity-type":"item","numeric-id":4611198,"id":"Q4611198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ffb9be3068d646baf8cdce5242661aaca1b01c","datavalue":{"value":{"amount":"+0.7440531849861145","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":"Q1575868$B4F222B6-4573-460B-8A39-50D8B5DB4245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb10ef9a2a7754ea1c870f949bf51333842153d","datavalue":{"value":{"entity-type":"item","numeric-id":802541,"id":"Q802541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65a7c56daa65bf20d8755f7a8fdb8bfbe393a52","datavalue":{"value":{"amount":"+0.7253203988075256","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":"Q1575868$6A04D84E-2CAB-475F-A95A-02D8B8D1AECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67502025770fd36c18bb18fe3c960d68907b2e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1575869,"id":"Q1575869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59890005ceb6f69397cd5fd8f1bb2d14efc4c96","datavalue":{"value":{"amount":"+0.7249774932861328","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":"Q1575868$2C19B74C-9012-42BF-8197-AA40BA6C5CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1575868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1575868"}}}}}