{"entities":{"Q5016210":{"pageid":7045787,"ns":120,"title":"Item:Q5016210","lastrevid":91093253,"modified":"2026-06-04T22:14:27Z","type":"item","id":"Q5016210","labels":{"en":{"language":"en","value":"Lambda calculus with algebraic simplification for reduction parallelisation: extended study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7443765"}},"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":"Q5016210$109D6FEA-DD88-4920-B160-EEEDF426AAD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f29c81a66b4db4b47921049046c178a6d518500b","datavalue":{"value":{"text":"Lambda calculus with algebraic simplification for reduction parallelisation: Extended study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5016210$98121B27-20D9-4B09-A895-D4C3D8CBB94A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"140f35a8b406393da5f51897e2f5532304747963","datavalue":{"value":"10.1017/S0956796821000058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016210$2ABBA7BC-9EAF-4DB4-A7AC-EB9003741BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1879384f5799de15d5fd4ab3de2c1d1f78dd081","datavalue":{"value":{"entity-type":"item","numeric-id":1648880,"id":"Q1648880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$F6FB1C71-D5B1-4B74-B858-2E187F0EBECD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$DA07EAD0-23E4-4D81-BF85-ED6E59AD4B6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5016210$91507D68-D2D3-4D1D-83A3-82CEFCA1A817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016210$45904838-5BED-4125-BB87-5B911F2A49D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f697f9ef4a27f0c01c654591067847d685034f10","datavalue":{"value":"7443765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016210$2AE57177-96BE-4F34-A9BD-4FBD26C47A4D","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":"Q5016210$CA6A7E80-8D01-45E4-8BAD-E44F114F3B0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60d20d3a663a43ca9720861f044bb9a028c6815","datavalue":{"value":{"entity-type":"item","numeric-id":3165522,"id":"Q3165522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$9268789C-093C-4D70-80E4-348F5D8F6031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df227fa0a937e23db224ea7513ebe3194151e64","datavalue":{"value":{"entity-type":"item","numeric-id":2981997,"id":"Q2981997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$9CA791C6-2CB5-491E-83F7-4D52B604C805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a45353a92b2d8942bc72a107031aea6f94ba8d0","datavalue":{"value":{"entity-type":"item","numeric-id":649643,"id":"Q649643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$64914534-C65A-4CC0-8026-8C877D5600E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b0f069766f833fa9e7f26c4ddeb447f9ba38b","datavalue":{"value":{"entity-type":"item","numeric-id":3993075,"id":"Q3993075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$7F8332E6-B305-4317-A5B4-8668C57E6615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b979e736fa93b372044cd516d26f2bf62be9ed","datavalue":{"value":{"entity-type":"item","numeric-id":1941877,"id":"Q1941877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$97546ADA-4BA1-4ADC-AEB0-89E3C8D14CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed79563a50efa9ee998a7702acea10321aeb0e8","datavalue":{"value":{"entity-type":"item","numeric-id":3426136,"id":"Q3426136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$774C70EA-539D-4049-9C68-F8609FC0F5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b963263e52e0fe8bd643ac66f2823dad6addf17","datavalue":{"value":{"entity-type":"item","numeric-id":3021411,"id":"Q3021411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$2FCF4933-D172-40FE-81D4-7B2009A5A030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276ea4e34dea378a70cee36d84fd15fb94c4c446","datavalue":{"value":{"entity-type":"item","numeric-id":1818304,"id":"Q1818304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$36ADBA73-4CC9-4098-8AB0-D5BC267FFCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$50818405-08A2-48EC-B665-51E24B3C03DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ac29d69ab5a6ed5446303741edce67bee4ba14","datavalue":{"value":{"entity-type":"item","numeric-id":5176945,"id":"Q5176945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$AC6B2FA7-38DB-40FD-9BEF-ECEDF4ACA3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f31e069ae87afa176000c1789853576284d182","datavalue":{"value":{"entity-type":"item","numeric-id":526441,"id":"Q526441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$CE4C61B2-7C71-4602-B784-2C9CFB68273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508894c78bd2770d073dbe57a0316a7e71f6bc30","datavalue":{"value":{"entity-type":"item","numeric-id":3890136,"id":"Q3890136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$96887C23-D6BC-4568-8898-048C39B89E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$D35F0646-766A-4173-9544-034C65382EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$572FCF2D-ABF9-455F-AD1F-A2BC9488FDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ef1a1192ee56001b7d8d67ba17cd41c9fc9164","datavalue":{"value":{"entity-type":"item","numeric-id":3558346,"id":"Q3558346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$0E1C8D79-4167-47A1-A49F-61DBDE0AFE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ccec5d85672b95c85ebd65cbad2fe0aa14bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5176968,"id":"Q5176968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$9156206E-9A33-4CA2-B8DF-8B0FB5C37901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50e7d4b4b2a7a711115847a2205614ed13b6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5261516,"id":"Q5261516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$D0DF0FA1-717B-4E4F-BAC0-C795E172F2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d7a075017f7f24525831788fc42ebbe41abd50","datavalue":{"value":{"entity-type":"item","numeric-id":4943359,"id":"Q4943359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$540836DC-E4ED-443B-82FB-34C1006159EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$65E65A41-61A8-4612-8918-A526E155EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b648f8228198461e8f53391f1f3021378e1f2262","datavalue":{"value":{"entity-type":"item","numeric-id":5111914,"id":"Q5111914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$0F47A02B-D065-4AA1-83DF-244FDE333D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b318b78c09c0af3c3e53ae26aaf656ed9f2919","datavalue":{"value":{"entity-type":"item","numeric-id":5464038,"id":"Q5464038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$CA49386C-81F5-49C3-B3D6-C4BD794FBE4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5ded6a606aeae64e592210617b44d07daf73619","datavalue":{"value":"https://doi.org/10.1017/s0956796821000058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016210$D624486F-2A86-4FE1-9458-83A8CA2A12AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4fdd14610cae490168360c27594564b115ffe52","datavalue":{"value":"W3141593354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016210$4C39D3C9-8624-47F0-A829-32CF9F253A80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902661f385e7d94261ef29c3b8c45a866771e54","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd20551ea7cc05e5828cf0f378c9027bef061f50","datavalue":{"value":{"amount":"+0.7740011215209961","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":"Q5016210$BC697659-57E7-4324-A814-8C868B16177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73295cdcdfd3d948c1c61d25dd7776e9812c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4223025,"id":"Q4223025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a645388bfdef485dfea4c1354d2658f201fbfb","datavalue":{"value":{"amount":"+0.7466828227043152","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":"Q5016210$B7DA0173-5659-48A8-9213-F7BC6B01C91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759943902564d6065dae182619b940584fc72486","datavalue":{"value":{"entity-type":"item","numeric-id":5277779,"id":"Q5277779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e608b9b51371a614788299fdfb91003e7217fe6","datavalue":{"value":{"amount":"+0.744430661201477","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":"Q5016210$EB17C450-52C2-47C0-86BD-8EE80359F1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c088ac95ac906727b69fc2484e544561c6a0758c","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f0f2fac90fb99038017476d0991cfb4bf26ef2","datavalue":{"value":{"amount":"+0.7386629581451416","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":"Q5016210$E2C928A3-51B0-415E-9942-E240D2A60483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01139883031fe87bf499e2c4e740336ba881fc54","datavalue":{"value":{"entity-type":"item","numeric-id":4414741,"id":"Q4414741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f794c6a071f7d70d353a6b37560139cead755c","datavalue":{"value":{"amount":"+0.7375890016555786","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":"Q5016210$9C69895A-FA9C-4F7A-B20B-FAABBD8EC321","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016210$3D0E837B-9CC0-4DF0-9EF2-7CF5D3CEA989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda calculus with algebraic simplification for reduction parallelisation: extended study","badges":[]}}}}}