{"entities":{"Q2289085":{"pageid":2299828,"ns":120,"title":"Item:Q2289085","lastrevid":78545984,"modified":"2026-05-06T11:51:06Z","type":"item","id":"Q2289085","labels":{"en":{"language":"en","value":"Higher-order distributions for differential linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158706"}},"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":"Q2289085$9248492B-F1EB-4300-B3BB-614F19473B96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77581a3c696c862d6939c6e7f8955b9b5a5632ac","datavalue":{"value":{"text":"Higher-order distributions for differential linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289085$EB82E057-51E6-4672-BBF2-E05D5B103ACA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5260613ec986eed11ac539d4bea8b585fd22a6a4","datavalue":{"value":"10.1007/978-3-030-17127-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289085$8B8DA199-E148-46F7-822D-41D481660D2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f425776279bc8f40c9e6ad98966501ef1af7a787","datavalue":{"value":{"entity-type":"item","numeric-id":2289084,"id":"Q2289084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289085$8E2A68D8-1F36-4BFC-8531-2D53B9A9D8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e8f2bfea4c8135913cd97a9a4f581b5e04466e","datavalue":{"value":{"entity-type":"item","numeric-id":825991,"id":"Q825991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289085$502810F0-7305-4271-9F05-454FB6E026AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289085$BB5DF08E-7B6A-4D1A-B177-B64A81FE54EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289085$12DD1921-574B-4CEF-A1D4-26AD7F1F355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289085$004ECA53-6BAA-4108-8B1E-2707C55A07BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9c0d65a037d8492585013b6a0f0b5a36ed8177f","datavalue":{"value":"7158706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289085$309E9696-56A9-4839-B97F-2424B36A6D75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289085$D8639D9B-339E-4EDA-91A3-11FEFE50B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289085$968EEA8B-BEA4-4196-ABBD-AAEFE3F69C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b06e0953094f55de2d844844bafbc3e9d13fb1d","datavalue":{"value":"topological vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289085$DFD28239-8B7F-4672-8958-E8C16D391FC0","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":"Q2289085$BD071975-D335-4C77-B215-A38F638F15E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc4772c87065e0acfceb9cc5823ff1751ea752a6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289085$36D3872F-9702-4887-8812-B0D69A6A2A9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fade2c8e4247a316cfd670811026f022fd788a94","datavalue":{"value":"W2908220729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289085$9864AB23-76EA-4042-9040-5E4DA23A32A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0180ba83252527254c8ab6f686a8bced8aac598","datavalue":{"value":{"entity-type":"item","numeric-id":5145335,"id":"Q5145335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14430c3e9d685c38189ca681ce8e1a75f9f72c71","datavalue":{"value":{"amount":"+0.8153232336044312","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":"Q2289085$90C4E1D6-EE1F-4725-97EA-DCD623CE8C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f519426848a9bd5879e6d9a6cd350cb24ad8f5eb","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a977d8ffeecb0a6edc4682a5ebce859d0a9db658","datavalue":{"value":{"amount":"+0.8149125576019287","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":"Q2289085$D8B9201A-1105-45D2-99EB-7164D5FAFF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52937a2ae86f194f8f848e7e07954bea90743816","datavalue":{"value":{"entity-type":"item","numeric-id":3637207,"id":"Q3637207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748ef6734393f7a531410028467723d05f3eaa47","datavalue":{"value":{"amount":"+0.8064202666282654","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":"Q2289085$B0C93724-0632-45EE-B0FC-0C5F26D9129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3981ddbb98ed63391025af451e709cfc0eea1003","datavalue":{"value":{"entity-type":"item","numeric-id":4606699,"id":"Q4606699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e29f4da06352cd63774436705948c29898a3b2","datavalue":{"value":{"amount":"+0.7889655828475952","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":"Q2289085$3765BFC3-6EF4-465F-9223-F2B7B7562B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b13c9af30dbbea35a58447e6467469462bac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":6622060,"id":"Q6622060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139533db8242deb5e73bc4967f2a9803e857072e","datavalue":{"value":{"amount":"+0.769940197467804","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":"Q2289085$4B2056D2-186E-4B85-852D-8E97D8CE7E52","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":"Q2289085$291337BA-067B-4825-99E1-2BC8F1977388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order distributions for differential linear logic","badges":[]}}}}}