{"entities":{"Q2852350":{"pageid":2863070,"ns":120,"title":"Item:Q2852350","lastrevid":83775665,"modified":"2026-05-07T11:15:17Z","type":"item","id":"Q2852350","labels":{"en":{"language":"en","value":"Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214050"}},"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":"Q2852350$AB7D0DDA-92E6-4453-9B3E-DA8BBB255F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"131c16422ebe42befba9531206b3574180389c8c","datavalue":{"value":"1273.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$8B5C8653-0991-4EC3-B6E5-A85332413A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852350$40E2DD2F-7087-44F2-90A2-2988F2E3BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f318053c344ddb9fb0e2eaab56a07f65ebdf1c2f","datavalue":{"value":{"entity-type":"item","numeric-id":288813,"id":"Q288813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852350$B4BA86FD-3C23-4576-A6B4-7EDADC3FC846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852350$435DACF6-11ED-4297-9771-23B05E58B6A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852350$1A40A8C4-F770-4972-A205-095F4B45E1D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce9563cd0e1dcced7695fe2baa35622f5a5ce79d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106001940","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852350$B36DDC16-69D8-4A1C-A0D1-BF29A0E5E6F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$2A79AFED-B8E4-40B1-8796-D74DC713BCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$80772595-097C-4A34-A8AB-99ECD4DA03EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$69CF0A6D-0763-467B-B173-305B890F40B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$24851006-2661-44C4-ACAD-A7C790E74B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$B9CE6307-6FB0-456A-AC3F-56D0668C9D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$1E07688D-6372-4CBF-BF24-22A9C064CC4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"518d50ae2667a5b5795498acd637ab36fb627c54","datavalue":{"value":"6214050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852350$52C07265-1F39-4A86-A11A-31C7866AF9F7","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":"Q2852350$1B553A98-F5EB-4BC4-A0F5-CE0F5DF1FEBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec04becd5431b557a27b9f80f32e2d406adcfff1","datavalue":{"value":{"text":"Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852350$6747DE6C-84E4-4A9C-979A-AB6A8AA729BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fbb9be1592b07b7213b5c8e95c87d09d6c5d166","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7a1c5d1075236020dca255df89bd8e0785ed09","datavalue":{"value":{"amount":"+0.8733789920806885","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":"Q2852350$EB23FAFC-BB89-4D86-BA2B-AED0F3D6E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0da1773c6a64d989062f1e55d81ec87afc7482","datavalue":{"value":{"entity-type":"item","numeric-id":2464940,"id":"Q2464940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1d783a23b6836bbfd37482ba4786e3c7d884e4","datavalue":{"value":{"amount":"+0.8702123761177063","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":"Q2852350$EF3966FE-7063-49FB-BC15-91E991C5D6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624c15ac79f8b04c5b00510533ba4e6d96011e57","datavalue":{"value":{"entity-type":"item","numeric-id":952487,"id":"Q952487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4a57b2791f18131c11acbcc4b355123d94398a","datavalue":{"value":{"amount":"+0.8559820055961609","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":"Q2852350$57A37850-FC10-489C-AAA3-47DFF07F23B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fc8aacb77721006b3bd1e0aeabf0de6d924fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2852351,"id":"Q2852351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026b19c2ac5cb132fa3e00e91ee7008ab167fa22","datavalue":{"value":{"amount":"+0.8441975116729736","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":"Q2852350$0654D407-4EFB-4894-B044-DD109305D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7f6244a7ece078468682ec0545ec42ac0c72ff","datavalue":{"value":{"entity-type":"item","numeric-id":3395309,"id":"Q3395309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c537a13bfba6f176a891868cda7a4ab908f6f1ea","datavalue":{"value":{"amount":"+0.8194959759712219","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":"Q2852350$F8A05D67-09A6-4C9C-9413-CA68A3B28A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parametric_domain-theoretic_models_of_polymorphic_intuitionistic/linear_lambda_calculus"}}}}}