{"entities":{"Q4632448":{"pageid":6662029,"ns":120,"title":"Item:Q4632448","lastrevid":53409767,"modified":"2026-01-24T22:17:06Z","type":"item","id":"Q4632448","labels":{"en":{"language":"en","value":"Combining first order algebraic rewriting systems, recursion and extensional lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048696"}},"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":"Q4632448$FAB175DC-51A5-484C-BDEB-2E69AF25F1E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e6c8afdebef79757b3960a1ece9f09b9a131858","datavalue":{"value":{"text":"Combining first order algebraic rewriting systems, recursion and extensional lambda calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632448$2E3D42FE-8111-45D9-A1EA-1D129370E350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"120769ef4138b4ad38c667b2f2ea4bf2e128718d","datavalue":{"value":"1418.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632448$F55BFE35-549C-4F04-8A8A-92E049F14B58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b882afa91e924df80a8b793a91bf2dd23b3874c1","datavalue":{"value":"10.1007/3-540-58201-0_90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632448$5FFF6AE8-9EFA-404D-BD38-D4CC3EB8774C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$1AE8FAA2-0071-4081-8E3D-527C61A808C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$C2BADF46-0438-425D-976C-2EEE19D4FF47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$0674B256-FB68-42A0-9273-6F7795B607D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632448$96D60277-EB40-4DFA-9884-873831E9B473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632448$878E20C2-DF49-4053-9502-C105B96D327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632448$692920FD-B6AE-46BC-BB49-12922B4229B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cf5c3daca3b3046a62a59bf85e2dc9d26a387a7","datavalue":{"value":"7048696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632448$BF4A22F0-8BC3-4E70-A397-C6829D88C24C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff79e803a1c5d08a94972a742953580846010d37","datavalue":{"value":"reduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632448$FD37FB4C-B9AE-4889-BE1C-1533EB190B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec8f33574d0edafcbe4613eeae9c524663bf608","datavalue":{"value":"reduction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632448$0A4CFAB7-4C65-4144-B20F-85B430032B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce052d0256e49f94d85045cf9e553d76ad1d9ca1","datavalue":{"value":"modular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632448$03F273B9-52A2-4D42-AA09-C4FBC3DA22A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632448$6086E7C0-DD21-4CB7-93FD-BEB15A51CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632448$41B9F399-DC6D-4B8F-81EB-E695A53E9899","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":"Q4632448$17D03189-2A6F-4DCA-B875-42883A4EA6F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b2602655f8007a0d81d51b37657d9b0a7440e67","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_90","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632448$4A3CD2F4-C6BF-49A6-8AF6-3338A77C4ECF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"034728d3ba07e95fa399e76e38c992e9728b6c86","datavalue":{"value":"W1589742942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632448$5DD5A06F-65AA-4AE2-8EDE-AC5368AA3B9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$A8DE32E1-F7CB-4385-B6A5-218F44287E36","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":"Q4632448$DFCEC0DB-ED0E-40FC-9397-2B246583E0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9175faeea0f30c7a9dbba3886a0d68487be2ec","datavalue":{"value":{"entity-type":"item","numeric-id":1371430,"id":"Q1371430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$0208BE86-4A80-42FD-8469-D0926D898671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c252405abd976dcaf3cbe6a893c67bf7aa0b754b","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$EC06EEA0-E785-47B2-B58E-39230B0D47EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$92088405-B6C7-4EC0-9E30-91D0EFF4E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$EF868B8C-110D-4DC1-BE8A-FCF7A257C3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$A2CB5969-3542-48C0-A0F7-39F529FD4694","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":"Q4632448$B73E2CFE-B31D-492A-8534-BC6610B30E3E","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":"Q4632448$B263EC56-6F10-4F7D-9947-EFC30C456B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df63191e117e98445c65ec498daee7c4b8d612","datavalue":{"value":{"entity-type":"item","numeric-id":4145693,"id":"Q4145693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632448$A2A8E517-2691-46D6-BBFF-F9629F500E34","rank":"normal"}],"P1643":[{"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":"bd66d1fc0ffdf1d974a2cb33ed013a9fd09cbcf1","datavalue":{"value":{"amount":"+0.9707643389701844","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":"Q4632448$477C1F44-FCF9-4255-8D45-3957F204BE66","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":"6cdfb66f50c69c7fa7706cba2703112c8c7fb431","datavalue":{"value":{"amount":"+0.8377016186714172","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":"Q4632448$719076A9-0672-4EBA-818F-4C40367DD571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67575d50545002225cf6dca799a8968297df436e","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f36e72946a451c6ed6b2f78b6e87abe2c4a737c","datavalue":{"value":{"amount":"+0.8355653285980225","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":"Q4632448$BAAAE7D2-56B8-48B1-92B6-DC0C3A7F754C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07ea29f34a0ae3c3bb20ee1e6b731c59ab57a81","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b0f4ba10a16835c08bf000e565b12eb091f4b4","datavalue":{"value":{"amount":"+0.828162670135498","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":"Q4632448$BBD36B94-744A-4402-AE0A-09F58C26E25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f35a77ac6592bdd6750f884ef352a52081a98d","datavalue":{"value":{"amount":"+0.8281623721122742","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":"Q4632448$EC7EDD21-514E-44EB-A3CD-6A0F09668694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632448"}}}}}