{"entities":{"Q5310640":{"pageid":7340214,"ns":120,"title":"Item:Q5310640","lastrevid":50182457,"modified":"2026-01-13T10:24:38Z","type":"item","id":"Q5310640","labels":{"en":{"language":"en","value":"Strong normalisation for applied lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200110"}},"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":"Q5310640$BC54D32A-E897-4765-9709-97F819330402","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6efbb80f2f5030271944089451d9c00a65f5cfc2","datavalue":{"value":{"text":"Strong normalisation for applied lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310640$6C97653B-1E7A-4F12-B836-C5D61650FCD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0f54444f8dc65b7e130286e27b19028b0189bcb","datavalue":{"value":"1125.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$F043E4BF-D4CA-442F-8CE8-20E275C627EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad7ee844698d075fa5a3e0705f40f5e011d7d904","datavalue":{"value":"10.2168/LMCS-1(2:3)2005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$058F7D6C-2E46-4E9A-8AD0-D9A8576041A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310640$B990B500-8651-4963-878D-B5C378FC1E5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310640$FA8DB75E-0832-478E-8C92-5586677940BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310640$513D147C-07A7-4269-B157-C920D03464DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$333E19B4-21E5-4E87-B21F-9D5C4FD75A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$E0A5742B-E9A3-405E-A022-7F5C249FBFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$7FA0FF31-1C58-40D2-9ECF-31957E52A1CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3ec14841103c97a36019dde4370a63c1f00cf8","datavalue":{"value":"5200110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$6A5A73D4-6C23-4829-B43E-B1C21F2A739C","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":"Q5310640$F0871D37-DBD6-4BA3-AFD4-B5F70F4DD237","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65fde529d82f277e0975bfd5705a4078271a092f","datavalue":{"value":"https://doi.org/10.2168/lmcs-1(2:3)2005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310640$CFA14139-2AF7-441A-8063-E631CF5666FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d090df2cf789533645a1dbca86cb30551b03bbd2","datavalue":{"value":"W2113288428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310640$B78ADA44-3C47-4B07-879C-58D9A0B37A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62286b7c3e37fd0408848fcdfe878adae53d4727","datavalue":{"value":{"entity-type":"item","numeric-id":958484,"id":"Q958484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0361696e88817fc2b2fb90cebcb894ed94da36b9","datavalue":{"value":{"amount":"+0.8443335294723511","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":"Q5310640$1434F1D6-4362-40BF-A58D-43562DAF58D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d3790d308f4eef46048b7c5e54eadf8bc34016","datavalue":{"value":{"entity-type":"item","numeric-id":5394567,"id":"Q5394567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb1a372b88129ed4add0dbea44a3850af03f61d","datavalue":{"value":{"amount":"+0.8317375183105469","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":"Q5310640$5438B8A7-F14E-40CA-978C-22C2F87B58BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685e04e20a660edfa85a7e90bc8421e67e643b8e","datavalue":{"value":{"amount":"+0.8189300298690796","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":"Q5310640$AFAF03EF-4FC2-4AF5-906B-FEE43607BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f7a7d189b0b63b157f56d41f3385a946624700","datavalue":{"value":{"amount":"+0.8110189437866211","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":"Q5310640$EDD0E697-4DEE-4CF7-A540-E4B4A0558297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556c8726a188eeae301e8607b42a864399253dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5300892,"id":"Q5300892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757fd3bb07ccf1dc03f172ec888ea6695563e45a","datavalue":{"value":{"amount":"+0.8056803941726685","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":"Q5310640$91BF9D1E-6679-4031-96AB-510CEAFBBDE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310640"}}}}}