{"entities":{"Q392296":{"pageid":394063,"ns":120,"title":"Item:Q392296","lastrevid":61571307,"modified":"2026-04-11T00:12:52Z","type":"item","id":"Q392296","labels":{"en":{"language":"en","value":"Modeling linear logic with implicit functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244777"}},"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":"Q392296$8F13C8F4-EE4B-45B7-9504-AAEFAF6B1B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ec8f123ef2a534541b2e5e1d4afa02bb00936e5","datavalue":{"value":{"text":"Modeling linear logic with implicit functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392296$E234A286-D41F-4594-9D02-F3689DD3831E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e7c5c6628d8301ef6bb3c4273b6374d1619381","datavalue":{"value":"1345.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$ACDC6B22-B414-40D6-9169-9DB5FFF52AB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aea00a698ddc1b4092e36cceadca3d25ee7917ec","datavalue":{"value":{"entity-type":"item","numeric-id":392295,"id":"Q392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$DA8D9B3D-3F43-4481-8035-2727045DD1E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$178054A6-8592-4DA6-BE81-1B6D49191230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q392296$70109311-71C2-4B34-AECB-266166E28825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$5FA99CDE-6FDB-453D-9023-264B04F8C1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$FB727DF3-7AF7-48C5-A6D5-A843A3D2A628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3edd586c8c75a758c165638fdc9854d5673d263f","datavalue":{"value":"58A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$E0888CEE-9EC7-4EF7-A4A5-8DC5F3CEF00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87ac7bcbdae742a2bd2627c4b721e0ed79cf7506","datavalue":{"value":"58C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$D02816B9-51ED-41F0-97DE-E6C179DABE92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e94d31f248876dfe3cd6ddfff1c57cd12a6d7589","datavalue":{"value":"6244777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$496088CF-974D-41A5-8AA8-92424B20E2AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q392296$4996516E-FD35-4299-8431-75916FC5E0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q392296$19C6B57D-90AC-42BE-8F1D-04AA9858C6AE","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":"Q392296$46EEA7E1-D284-43CA-98E5-ADF59BFBA487","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5804f410eea857565e7fb0ec16d8a57add5156d0","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.07.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q392296$1BCCFEB2-99EF-45C1-A9F1-CFA1CB6D3832","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bc0f59945a365b538a943c8ed8e66c2f363eec0","datavalue":{"value":"W2070314316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$4BD17BDB-B82A-4141-A7C8-9B11BE35CEDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$D29AA82D-7B98-451B-AD03-FF0804BD1DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f01b06158b4e07cc4d9582e13d059ba9b0706f","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$B9EE03EA-1250-45B6-9BE6-8E58431B4D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$473D8B47-FAED-4CF2-9DA7-39C58CE3AB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$0E6D6532-C148-42CB-AA4F-49248612A983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$B0799634-819F-4369-9335-3BD84D27ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce000566e6d20a1e38b9c7b86f847c008a93ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3679908,"id":"Q3679908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$C764DD5A-D751-4C35-80E7-CD7E2DE48433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$720D6E7B-75BE-43EF-98F9-17D66FB5DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$657B7599-C9BD-4620-807A-56605B7BCE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$6C4CCB43-4F37-445A-9EBF-DFFCF6F94A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$B15899A7-E75B-48E7-A22F-E77C40B0AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$E30C281A-9053-47E9-9487-C9FB6879E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$2A185040-AF92-48C5-8996-5EB918628D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$089CEB0E-9A92-490D-B16A-FA1B7948328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dfdea9eee6a01cfc78a9d32d9738cdf3072c98","datavalue":{"value":{"entity-type":"item","numeric-id":5649693,"id":"Q5649693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$F1C172D7-255B-499C-801C-F3CC04BAAC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$0B2CE322-0258-47EB-B560-D7F586E4D988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788b3060b81ab78b0a7e596ef218f09d64149faa","datavalue":{"value":{"entity-type":"item","numeric-id":705538,"id":"Q705538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392296$014B0979-0666-450D-BADE-3080B7937586","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a22a14d8985e69946c4809a41e7af1b5ee867356","datavalue":{"value":"10.1016/J.APAL.2013.07.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392296$18B00546-D299-476F-9C1D-BC6EFE0E4078","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12b81f56d7362bb166a37c0f0eda06991004c21","datavalue":{"value":{"entity-type":"item","numeric-id":1807458,"id":"Q1807458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689c6a9f078a8d63e51531a133a439b4f052f0c1","datavalue":{"value":{"amount":"+0.89055777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$1638B8BD-2651-4E38-ADB0-29BD8C5EFD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da502d82fa96f14f7dbea0b148081cc1d8f7050","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ecb12569cd5f7e9b2c0f1a3a6db78fcd211245","datavalue":{"value":{"amount":"+0.87762064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$9455AA0A-39B9-4309-B301-8F576BDF40F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98f61eee84158c2fdd5da4c570580362b63c8d3","datavalue":{"value":{"amount":"+0.877151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$64E27B4C-B826-4FA8-82AE-B46CF7E972EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d54ac0681c8ea7423fdb298459cd7776857bb4","datavalue":{"value":{"amount":"+0.87590986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$F3A58B4F-5C0C-4200-8B0C-740F2C4997C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e665406bac2de3909d015814d764f2901cc5215","datavalue":{"value":{"entity-type":"item","numeric-id":2229157,"id":"Q2229157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bca8ff68cb7ac6c010f582d60ba0de6d238a920","datavalue":{"value":{"amount":"+0.8732245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$50EF5A56-0C1C-4B5C-B039-77BB89776B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9717f47c582a39eeb1829ae6667f765c31439ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b07e1bf6ec842b44eed3a67ec4790ac2e7a294","datavalue":{"value":{"amount":"+0.86911374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$09B4E705-BF58-496C-A173-4BD7E2172709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfc6803eeecaf4dc3eba35d3a9d24d9ce1b912","datavalue":{"value":{"entity-type":"item","numeric-id":5892514,"id":"Q5892514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b07e1bf6ec842b44eed3a67ec4790ac2e7a294","datavalue":{"value":{"amount":"+0.86911374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$54AD7793-D5C0-4F65-8A84-B83A8E7816D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8446e884f1512b34d63b11f1278044ba5e4379a","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3584b51f6af69d382aedc1572f8ac1f0fefbbe98","datavalue":{"value":{"amount":"+0.86693966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$40368679-CC8E-4545-8735-45ABF3A2036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3584b51f6af69d382aedc1572f8ac1f0fefbbe98","datavalue":{"value":{"amount":"+0.86693966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$7CB7F906-2A7C-4301-B428-791EC1171AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea70ba171b852e8efc26bea54c918fc8c8372fe","datavalue":{"value":{"entity-type":"item","numeric-id":1210141,"id":"Q1210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9270a3b38d23f3178acdb134513b8ce46148744","datavalue":{"value":{"amount":"+0.8661346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q392296$1D233A25-516E-4446-B346-EF74E0D828B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling linear logic with implicit functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_linear_logic_with_implicit_functions"}}}}}