{"entities":{"Q5013825":{"pageid":7043402,"ns":120,"title":"Item:Q5013825","lastrevid":58403112,"modified":"2026-04-05T01:44:48Z","type":"item","id":"Q5013825","labels":{"en":{"language":"en","value":"Strong typed B\u00f6hm theorem and functional completeness on the linear lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438168"}},"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":"Q5013825$B29A3BE3-4FF6-48E8-87F3-EF5B18AEF4FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"069fe67836139d5b2732328032109f9002c10385","datavalue":{"value":"1486.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013825$4AF8F349-31FE-4592-8AA5-CBCE92289143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3fbe021fe8a37c72cf77df6028e0dcbf50af45","datavalue":{"value":{"entity-type":"item","numeric-id":601134,"id":"Q601134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$7FCE9AC6-9230-4798-92AB-1EE150C153AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013825$077C64E7-74C5-43E8-8C0B-5F04AFCAA47A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9487ab0f37adaedc49fe91c4776e84f5e79d64e8","datavalue":{"value":"https://arxiv.org/abs/1505.01326","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013825$2CDBE19A-275B-4C2E-B927-39541FF41A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"49d4cf14753b6cd0e25ff5bbb7d55453816d40fe","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2016.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013825$A0CD6629-8EF2-4DF7-B779-CA646629AB45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013825$8F711D9B-1BC4-489B-A635-B2233D2AE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013825$C819A25D-3F4B-44F1-AA01-E2C3376861C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d87408fbf64d46fcc3a58d5360602a03d6b885","datavalue":{"value":"7438168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013825$9114A91B-AD8F-4625-A1C4-0814E9DF05A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$447C38DA-B60B-4DD2-A7A5-792572377BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$D2260A87-B41B-49AA-A9FF-810502CA258B","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":"Q5013825$22947404-67B2-4B79-9E38-35B92AC26E45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$4DB4CD7D-F670-4205-B979-48137A1DE301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$E45E81BC-A8D8-414E-8AAF-035F7BB80F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f616d79f26fcad691e031d31d2524b8669486c","datavalue":{"value":{"entity-type":"item","numeric-id":4650576,"id":"Q4650576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$190ECCC5-A2F4-4573-9DEB-D7DA7E95482F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$B2D87C2D-AF2C-400F-9D2D-FF727AD11C28","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":"Q5013825$C0BF8715-5905-42D2-B778-FA2DDE98E60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$9D2A0A89-6829-4CF0-9C68-C93DA0B4E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093fa3fbfb32f6d1d937510e5cebefcb111743c","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$11D0A0D7-840E-431D-834E-FCE0D6DD9CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5351abbb73051af706d3f5ffa07b4dc98afd73f","datavalue":{"value":{"entity-type":"item","numeric-id":5168927,"id":"Q5168927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$636ECD3C-F79D-4430-8271-7FF4E4CE7E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$FB81BE27-DE84-4735-A41D-749A04180232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039d97201652c4283dba241fd4e1b87cdbf197b5","datavalue":{"value":{"entity-type":"item","numeric-id":1320337,"id":"Q1320337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$6E70E62C-78C5-4FDD-AC55-8EB452771C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5829d139140b39d4d01d67ddb3b468cdc67731ea","datavalue":{"value":{"entity-type":"item","numeric-id":4660260,"id":"Q4660260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$8D8CEB93-47C7-4C6A-BA96-7B26E4F14E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c114c3f2adb62d2683467c549dc6a66657a14df8","datavalue":{"value":{"entity-type":"item","numeric-id":866556,"id":"Q866556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$9A95607F-AEDA-4103-874B-8F6FE948B963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013825$AD07BA4F-40CB-4941-A45E-08345AD04DC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bf1eaf30ed5887223fdc3290e794da30577a28","datavalue":{"value":{"entity-type":"item","numeric-id":866556,"id":"Q866556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626df3aebdbab1df6ca361ba2e61c58f575a511a","datavalue":{"value":{"amount":"+0.7991424202919006","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":"Q5013825$E5C3765A-4354-4CCA-AF9C-FE08D121507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d168a66fd117563ce4a172562e9a3deae189c5","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885f2e8745a4d56e54c45ce3cbce3ac5cb192708","datavalue":{"value":{"amount":"+0.7522152662277222","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":"Q5013825$2C713BAF-322B-4244-B0F6-CE9E0FD791CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30fd1bea7797e83341384b414bf2071638480a5","datavalue":{"value":{"entity-type":"item","numeric-id":2724040,"id":"Q2724040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ae055ecba4c1712f878a9e50fe13db9fc44174","datavalue":{"value":{"amount":"+0.7453550100326538","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":"Q5013825$C78AB9BC-4E45-4876-8095-68CC22E8D6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0b26869e267c3d95b234e4312b7de6ec1a818d","datavalue":{"value":{"entity-type":"item","numeric-id":1709713,"id":"Q1709713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ae055ecba4c1712f878a9e50fe13db9fc44174","datavalue":{"value":{"amount":"+0.7453550100326538","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":"Q5013825$65EE8943-DD01-4AD8-B537-6A2345F0AB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb04cffa79c10b94b46f43c3aaf14e7c6a69a84","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d35efa53bd6c914d10961ca299df81bef86be9","datavalue":{"value":{"amount":"+0.741640031337738","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":"Q5013825$82E4D31A-80E9-4FB4-8FAE-FB33067F0CE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013825","badges":[]}}}}}