{"entities":{"Q5055747":{"pageid":7085324,"ns":120,"title":"Item:Q5055747","lastrevid":47785807,"modified":"2026-01-02T16:49:59Z","type":"item","id":"Q5055747","labels":{"en":{"language":"en","value":"Adding algebraic rewriting to the untyped lambda calculus (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631155"}},"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":"Q5055747$8A014433-B969-4013-8628-E9B1CDEA6F67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8782969f32c5ab944399e6dc31c09212fdfdc145","datavalue":{"value":{"text":"Adding algebraic rewriting to the untyped lambda calculus (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055747$90DC5EA7-BEA6-446D-9D49-EC6B0648B046","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c50b7d29bb60b00ff2bcfa65146ac11984174d42","datavalue":{"value":"1503.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055747$2BB8E82E-2C89-46C5-88E2-0FDF7B382D5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa4c8c41351086444cd9389745079f7dc3effa0e","datavalue":{"value":"10.1007/3-540-53904-2_84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055747$A4BEC437-507A-430D-BBFB-B333D481DC90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$13E4A696-8933-421B-9ACA-8CE6C2DADC93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$0BE60979-3358-40AB-BCD3-A8CAC46B6BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055747$1E769E9C-69D2-4DCA-B9AB-AB5B8F46CF5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055747$CB96FDAB-F8E6-45A7-8FA8-F768D82DC1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055747$521F351B-8EB9-4B1E-AAB9-DD6B0EAC4537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c30cf238d7e4125514a28606fc0f971cd2cc8e21","datavalue":{"value":"7631155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055747$EBAEC5AF-6763-4FB0-9864-AEB2725D7E7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055747$1D617716-E1A1-498C-A5E0-06C5694E4B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518ba509d40394db8537e191e616003a90884102","datavalue":{"value":"stable term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055747$314A0572-A429-48CA-B2CE-A20AC8F1D29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055747$B546CCD7-E616-4320-A9F5-25380DF90DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48bdc4a05c5f5cf0ea52d1304b502b08b8c64bca","datavalue":{"value":"algebraic term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055747$1DE63C03-092B-4027-8A73-6AC092BE8931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcf9dc9e404547e952718f1e79566dc333de051","datavalue":{"value":"algebraic reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055747$C32D65EF-6C47-4B08-B144-7D739AD5D6E6","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":"Q5055747$ADDEA16E-3030-4121-9733-0B87FFE09707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a85a9aef29ff919ceacaffd15d13298bdb59045","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_84","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055747$6AE18294-6A63-449D-AE79-2DD3AA1F3017","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d9864e4abc9fda841581e616455158b0caa970b","datavalue":{"value":"W1585482631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055747$2C2CD5B4-1F36-4CE2-9E31-D5C0B822C3AF","rank":"normal"}],"P223":[{"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":"Q5055747$7C4E9BFF-360F-4E78-A09E-E885FEA9FD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05270cf0a4626e7520053fa827717fcdbd2507b","datavalue":{"value":{"entity-type":"item","numeric-id":5881282,"id":"Q5881282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$8867999D-E17D-459F-BF62-35BC689C49C9","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":"Q5055747$9D28547B-7DEB-466B-BFCF-1D6BF2FD5E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed163fa47586d6760e996c78b547299a8e45c4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$47C55771-FE26-40E0-A875-874600BBDFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$50E07D51-5198-47BC-9112-F0F2235FA852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$95BF916C-7092-4582-B9C6-987FC2C1C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$D63B02D8-C757-47CB-8AA2-DC1694C1BA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$B61C3590-3AFF-4E39-8E08-8A0DB03668A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e8b14e33ce5508a37941b203d2419e8ded357","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$587C401D-1113-4C51-BD6D-A26C4FC86B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a863517901a3f6f127be35b27a5fd134ba792ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1159627,"id":"Q1159627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$A8C10BE9-0F0C-4F49-A7C0-7E5B10C2697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$CFE7E563-3C53-4983-8B02-9D5CA52EC7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$DB386E9D-55EF-415D-8D17-F5E2C646351E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$4DBDD0A2-551F-479C-AE9F-D2361A1C5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a13b8b47957d5cbd2ccc811d6a3ea0ab1cb966a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055747$E48E1283-38CC-4F07-86BE-45A5306FACC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114941f7931c3b195587f701beb9e1579622913a","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c9505be66983be99aa6b02975f5234b890a836","datavalue":{"value":{"amount":"+0.9882984161376952","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":"Q5055747$803E6D72-9445-480D-BBDC-D88F96E123D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237b97dcfbfc01474547724047ebed891866bc69","datavalue":{"value":{"entity-type":"item","numeric-id":1197987,"id":"Q1197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a956e03e43d42a98ed1bf9b7cbd9cee75e937edb","datavalue":{"value":{"amount":"+0.884782075881958","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":"Q5055747$10227D4A-4D8E-4466-BA22-7283073FE4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebaef0b73e68e126c6a6f68cc83d050beba12eab","datavalue":{"value":{"entity-type":"item","numeric-id":1349901,"id":"Q1349901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bd8d37a7d1a9c523c2b0d700406fac50bfda78","datavalue":{"value":{"amount":"+0.88140869140625","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":"Q5055747$6850736D-CFB5-40B0-87F1-E8F7AAB38351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18abaaa8ec3f4b4dff43413f9172c7868d4ad2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c19efeab29fcf1d9d5574bb3df8beab385852e","datavalue":{"value":{"amount":"+0.8496130108833313","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":"Q5055747$1B7F6326-4293-46E7-8F33-1DD019FC36D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e087c61fe2738d6348d9fbe65d5b85cbfd09b6","datavalue":{"value":{"entity-type":"item","numeric-id":5858674,"id":"Q5858674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fc68d72c189c9a49b9db95648b2938e0f85d73","datavalue":{"value":{"amount":"+0.8403977751731873","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":"Q5055747$A573C05D-A14A-4014-B449-FFB9644DE119","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055747"}}}}}