{"entities":{"Q4986659":{"pageid":7016236,"ns":120,"title":"Item:Q4986659","lastrevid":58387035,"modified":"2026-04-05T00:10:16Z","type":"item","id":"Q4986659","labels":{"en":{"language":"en","value":"A type system for the vectorial aspect of the linear-algebraic lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7340316"}},"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":"Q4986659$B0DA0A56-0D2C-4DA2-98EB-936EA1C6521F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7206e9330a7605051bd91151296d30078b38d9c9","datavalue":{"value":"1459.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986659$4041D97A-0E60-49BB-A8E7-85DEC018118E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab28f79cf12c1865e00559af174153a504277314","datavalue":{"value":{"entity-type":"item","numeric-id":331931,"id":"Q331931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986659$B0540317-9EB0-4286-8A33-43E493F38881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986659$E52C2C06-F30B-4437-9E20-737668579A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdedd14f542819f3e703a4797215dd716a1cd763","datavalue":{"value":{"entity-type":"item","numeric-id":468583,"id":"Q468583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986659$C7459991-28A3-4CD8-9F74-7FA6D21ABE01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4986659$4891DAC8-084F-4A13-8DAA-C6E3FD094BA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06e4282639b90622c1e76370a763a705dc0f02d4","datavalue":{"value":"https://arxiv.org/abs/1012.4032","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986659$DEF073C2-F6E9-4988-95CF-ED656EFD7658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"68dd421ba3615d6ac5949b5adc308e6a61029a66","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2011.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986659$7D0CD88E-D0CB-4D4E-AB42-4591136640E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986659$BA0C6676-491E-49A3-A86B-D5499BE21A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986659$27044514-49E7-4077-824C-159B6BD0800E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6c2d0f454c717f1f87450d56540a4fe3d3c608c","datavalue":{"value":"7340316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986659$480A8230-968B-4FCF-8E17-07E1ADF76903","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":"Q4986659$ED1824CC-0F9E-4AFA-A5C5-DE31AA041A4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e8b1f86535197a6c989c0a63f77bcb56e463f6","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8812d15164f438897e23ee0748a4f64c5dc3598","datavalue":{"value":{"amount":"+0.9512035250663756","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":"Q4986659$85981654-04E5-4851-8173-D8B2545B7BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2616319482e9a13b3d4131922fbcf6159dcb180","datavalue":{"value":{"entity-type":"item","numeric-id":2881078,"id":"Q2881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedf2ca948103973472e87cc8fcf90c93919b7f3","datavalue":{"value":{"amount":"+0.8678647875785828","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":"Q4986659$9E6AF0B7-D9B8-47AA-B88C-A54D6E1BE066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c633898e4d5d42c1f39088334966979a4ab4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2825375,"id":"Q2825375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9b18c8595c9f5bce198b3741a376df42d0f2ca","datavalue":{"value":{"amount":"+0.8283153176307678","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":"Q4986659$4427A62C-030E-424F-A47E-128B59F3AEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e65de43aa8aba239f0007ef6a6ecea64e2970","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613d3b43b4022cc440edd1ddec8efe48e354efd6","datavalue":{"value":{"amount":"+0.8091897964477539","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":"Q4986659$A06A53B2-A833-494C-BD66-0C0BAC1626B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ab4e1e073147b6c08198472359175dc79e489","datavalue":{"value":{"entity-type":"item","numeric-id":4917199,"id":"Q4917199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8154e3d0e14a10f3e479119a1017c13f529e0f55","datavalue":{"value":{"amount":"+0.8018315434455872","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":"Q4986659$14227E6B-EE87-430A-B777-754048C3C758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4986659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4986659"}}}}}