{"entities":{"Q3520145":{"pageid":5550049,"ns":120,"title":"Item:Q3520145","lastrevid":48964069,"modified":"2026-01-06T08:17:38Z","type":"item","id":"Q3520145","labels":{"en":{"language":"en","value":"A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312443"}},"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":"Q3520145$A51A88B4-E5BB-4D5D-89DD-04B6F6C3736E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"190e85e1b0576e179ef78bc5da3a4929e08751ac","datavalue":{"value":{"text":"A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520145$0F1B6EAA-B833-4073-BC63-9F194DFB14F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"591b94e82b26e71eb9c1eb8cd7ef3f74e89024ef","datavalue":{"value":"1153.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$93F9BCD0-DB84-4EFB-ACA6-D85EF0AD9A9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef512d16cd246ea2f9a0fb1ad6d236cd50ee15a5","datavalue":{"value":"10.1017/S0960129508006774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$F2016FA3-C9F3-48F1-9DF6-793DFC6C541C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$DF2492E7-C273-46FB-BECF-57D1F2C5B5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$FAE30F5F-7FDA-425F-B711-289951750915","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$E557A13E-D643-4E62-AAA2-DFF006A49B5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520145$294A8E83-7E99-4187-852E-236C4CD7AC76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$945ECFF9-8D8E-496F-A3A9-DB2B059A0AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$D64BAF44-764C-4292-A0B3-0B63A175C259","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1b37e55505ec8db40fd54675d68f5e7386d54c0","datavalue":{"value":"5312443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$AFC7ABF4-DA89-4CDF-B25B-2CABCC1E4F1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$E763583C-9452-4B91-B09C-3D633576B48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$102597A5-DC20-4BAE-857C-F11C3D56A92C","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":"Q3520145$9CFFD443-AD03-4690-A400-5B06A9ADD2FF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d16831b1e1e0a81f5cbdce0f2ac8fbf6f30df96","datavalue":{"value":"Q124845870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$44E43A51-3367-4167-80D5-11A10D7D66DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ee5cb80a765312522522c59f4c0f9417fcecf3","datavalue":{"value":{"entity-type":"item","numeric-id":3149007,"id":"Q3149007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$D10F0291-5C45-4CAD-B09D-514E3A90FEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$7F904C7E-B6DE-453B-A634-82F072F5F87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$24EDA9A2-6832-4579-87AC-7BC4E54680EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$DF85951C-CBF9-41DA-8E8F-1183A77A1686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba580116a4f7ad65b76e0471fa738ccd5feb2044","datavalue":{"value":{"entity-type":"item","numeric-id":4236759,"id":"Q4236759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$D1D4D9D5-12DF-484C-8E03-1CF0A8AFFF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520145$13C94A2C-717E-4F37-9048-DB2DC15DAB17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec99a2a8a6b0211271d47b7c0d9330a245e60e5f","datavalue":{"value":"https://doi.org/10.1017/s0960129508006774","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520145$2514F8D9-9960-45A5-A625-DC99D2845543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f238dbe65c922aa7681b5d07e48c8ac832b41d84","datavalue":{"value":"W2142030149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520145$95DBC683-F6F7-42FB-B1C8-5B7E8708E3BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349d6313266e73a46b50e93c42f1cf37d68a22ab","datavalue":{"value":{"amount":"+0.90434587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$331E92AE-E112-4804-8EB1-BC69D42355D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489f5644bf764ff53986feb12279f414e8830b15","datavalue":{"value":{"amount":"+0.88954735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$CB49C90D-E485-43AA-9A56-07653C0807C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44920ad5b17d661f9772e46846b0d45e66e1518a","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489f5644bf764ff53986feb12279f414e8830b15","datavalue":{"value":{"amount":"+0.88954735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$ADBA5062-C9F9-4790-9156-A72FD62DFCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b667b5c2513eb1167b64e74ceb7956e1a344b2","datavalue":{"value":{"entity-type":"item","numeric-id":5234278,"id":"Q5234278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ec0ddf8b4fc2f6a2260870055fb43c59aa50dc","datavalue":{"value":{"amount":"+0.8843351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$9E3865F2-106B-4846-88C5-F7C9D40EBE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19dfe7df5e3e78db5037bc707f6f467ec0ce220e","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ec0ddf8b4fc2f6a2260870055fb43c59aa50dc","datavalue":{"value":{"amount":"+0.8843351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$C376C8F2-63D7-4A54-8C76-62B734039363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1834125fc715c081588d4b2de09ddc8ab420ce6","datavalue":{"value":{"amount":"+0.8753549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$F192C5F6-65A2-41A1-BB77-3F10D319CAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4709877b372ca0fa9cba969462cf15148375a25","datavalue":{"value":{"entity-type":"item","numeric-id":3179291,"id":"Q3179291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4911cb309bb59a7805ade6e97a43ba545b2aed","datavalue":{"value":{"amount":"+0.87407696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$AEC145DB-D850-46D0-954C-1CBB5C57FDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f80d941215a2567cfc968b15e291b18d8e52b3","datavalue":{"value":{"amount":"+0.87248474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$7432BCF8-B9F1-462B-A489-333FB1A804D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a460a926bb69789abf32beba28d2359c22722666","datavalue":{"value":{"entity-type":"item","numeric-id":5874223,"id":"Q5874223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c88c7073f13a39dc6391fafd492842d9d4f3f0f","datavalue":{"value":{"amount":"+0.86987543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$CBA35B3C-588A-4F64-BCAB-08B39D861D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f16d33dc06994c1e8253b3e6cdf1336fcadfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5423da0b33b68190f9eae8cda667dfa47579f41","datavalue":{"value":{"amount":"+0.865028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520145$B910A949-00A8-44A7-ADE4-692BE304A806","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520145"}}}}}