{"entities":{"Q1917097":{"pageid":1927839,"ns":120,"title":"Item:Q1917097","lastrevid":69086769,"modified":"2026-04-13T04:37:59Z","type":"item","id":"Q1917097","labels":{"en":{"language":"en","value":"The discriminating power of multiplicities in the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896651"}},"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":"Q1917097$99F14F58-4182-4EDB-A184-A5B42083DE6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170bfd74f0d37bfa49c4b555ffc915f5a13594b6","datavalue":{"value":{"text":"The discriminating power of multiplicities in the \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917097$6B27C35A-6850-42E9-A4F4-04F6934A41E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf522c3cee5aab8386610c212e6b46df56552640","datavalue":{"value":"0853.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917097$72D322C9-4818-4871-B818-BBF0C8B57A2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917097$FF8A401F-DEF1-4BD3-A051-28FBC5EB0DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917097$B57ECBA1-D786-40BD-8276-4DDF37E40646","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917097$36632CEA-2BCD-4D85-BFD3-56798C38E618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e841b33426c82a5eafbf7f8cc8852d9be70f609","datavalue":{"value":{"time":"+1996-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917097$FA4ED9B9-D3C9-42F8-AEC1-F711707551D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917097$1BC21EE8-86FC-48CA-9C9F-4A5C8495090A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917097$61791CAD-49AB-4869-94CA-23E09FE3C0D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e5d9bfbab58b51023e9d3a3b45abedb9ec9eb8d","datavalue":{"value":"896651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917097$0A9502C9-FDE1-4890-803C-A167C0C33CF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917097$80827AC1-9D36-4BFD-A26A-217C6756EB15","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":"Q1917097$DB64E76E-4E46-486D-9788-F49A8AA50DE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"702146072bdbe0a4f99df0939f1d45e1129a8d57","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0037","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917097$6BF5CF41-059F-4501-9C47-E624F1A39C31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82497c241b17ade8bd120edf46dbcbca03409b14","datavalue":{"value":"W2031709122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917097$E360E312-270E-4BBF-8D89-8D896FB35657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d7f1c312d5cfd325333ab58e48f61f14e014d2c","datavalue":{"value":"10.1006/INCO.1996.0037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917097$6B3BBB1B-FDB9-4443-A82D-79A14A6E8AAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88ff01594fdaeb611f2b6f35887f913ddebc2f6","datavalue":{"value":{"entity-type":"item","numeric-id":4222749,"id":"Q4222749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef3b2b150d35d56c1e6fa19111161819ceb6098","datavalue":{"value":{"amount":"+0.8886896371841431","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":"Q1917097$71915EA9-0479-425D-81AE-343ECFDE0B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec768692d106a17556ab1e405f9fabbab9e17dc","datavalue":{"value":{"entity-type":"item","numeric-id":1854269,"id":"Q1854269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96da743aa8bb23cd04aa687806384643dde25859","datavalue":{"value":{"amount":"+0.7857434153556824","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":"Q1917097$43850D5F-8637-489B-AB3C-CE2B3A48D3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3dbec756cc1b460adf362b308b634ddd55232","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d6b1014a00813088d6d92188f61921ba9f0f11","datavalue":{"value":{"amount":"+0.762256383895874","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":"Q1917097$EF177410-34D0-4D70-A50A-4012EFBD895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9bb7f65a93935108fd65ca9296b4bd73e8924a","datavalue":{"value":{"entity-type":"item","numeric-id":1874272,"id":"Q1874272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ca90b38deec2fdff93ca34d90d6d6f74bad711","datavalue":{"value":{"amount":"+0.7430208921432495","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":"Q1917097$FB73F27F-2DCB-46BE-9025-7356E2FC21EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The discriminating power of multiplicities in the \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_discriminating_power_of_multiplicities_in_the_%5C(%5Clambda%5C)-calculus"}}}}}