{"entities":{"Q1197987":{"pageid":1208736,"ns":120,"title":"Item:Q1197987","lastrevid":66846678,"modified":"2026-04-12T13:15:17Z","type":"item","id":"Q1197987","labels":{"en":{"language":"en","value":"Confluence of the lambda calculus with left-linear algebraic rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92067"}},"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":"Q1197987$7BEA1509-64C5-42CD-90CA-580FDC62E57C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9910c6326373967db7ffd7baf4e555ae0995bc","datavalue":{"value":{"text":"Confluence of the lambda calculus with left-linear algebraic rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1197987$82472D2E-2DC0-47B4-8D08-7926CA4808E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdfc3dded16d90f58320e6af249100d2d2d4c343","datavalue":{"value":"0780.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197987$B0826E24-3B77-4733-9834-96504D12D87D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"413e704bc3351c4876a9b141045e9c06da203922","datavalue":{"value":"10.1016/0020-0190(92)90155-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197987$58C2BC5B-28FE-4FCB-A187-3A77A22AE73D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c7c2c6896e2b95959c56b9b2301e869a109662","datavalue":{"value":{"entity-type":"item","numeric-id":1197986,"id":"Q1197986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$21C20BE0-DBA2-4651-9899-14AA2D31DC29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$3A8A2631-4BA6-4C6F-B518-AE401438856F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1197987$173BEC7F-C855-44FB-BA76-247A1B513D77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197987$564E9B35-101A-42AE-B8B5-CE72367F24C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197987$59502226-29E9-44BC-9213-E2EBE20B2689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197987$7D25ABC8-266D-4CF5-BBFD-AD7E44CB45BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f7da1f83b755ad15031db01996a5b06bbc7fad","datavalue":{"value":"92067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197987$E4B6A0EB-A736-4490-80CE-2B387B554F0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$C1103772-B0E2-41B0-BD6B-24A70F62142D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$6456539B-2286-4AC0-A7A3-6A1BC674FE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$C81DBBC2-0BBF-42C1-B1BA-CD07A29AB51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbed4ed78fb8840d9eddea3295720e0d27b5914a","datavalue":{"value":"Church-Rosser","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$5F001430-E96A-493C-AB1E-CEE20B4868D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3a7b04f8668f04f639043c91b030af2ec57ff5","datavalue":{"value":"parallel conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$DFDDB708-3600-46FE-9AFE-CA3CA57B834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$8B633B14-146E-4A94-BEB8-C0FDC58A6C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1673effed617e85ede7b4289591417b4992fe3b","datavalue":{"value":"\\(\\beta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$0CB19251-6C1A-430B-A73E-7E51BC2B13AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6165322266fc4a507b178841d6389e94ae96bbd1","datavalue":{"value":"algebraic rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197987$1C92888D-D6C6-49E9-BF37-08139119179C","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":"Q1197987$B324B34D-BA25-4B94-B3D9-02E01A4F5FFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652676950bbd486cb26332dcaeac57930e0fc6e","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$1E63C51F-2314-4D6E-8501-9B771F023A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$48A4DBEF-9A87-4538-B360-8FD6A9B572F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$BB27E5C1-DECE-4476-969F-5924F25D6B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541cd2c6d47f681c3453f27d1724427b29545e31","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$10D2C1C2-5D03-4E08-BB0F-DEBFEB54C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f397234602d2e596e1ba88ed42ded59052387c","datavalue":{"value":{"entity-type":"item","numeric-id":3972839,"id":"Q3972839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$9598A0C8-9943-4F4B-A032-D8A7F9F0F189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac5bf346078724a042be8b8754730cf82bf4290","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$879F2ECC-1D1A-4276-864D-F5A5078F8E26","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":"Q1197987$E6ABB5E8-3F48-4D2B-96F6-D266654EDAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$D729A373-E79B-4057-9167-EFAD2D82D092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178087fa59d8bd99d0bacddba2556fa09cad05d","datavalue":{"value":{"entity-type":"item","numeric-id":3893265,"id":"Q3893265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$FB5D69B1-F08F-4330-94D4-79A0A468B6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$6825BDD5-1452-4A15-830B-8A2A41C7B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197987$80DC8732-25C0-4ED5-8813-9898E6B88C6B","rank":"normal"}],"P1643":[{"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":"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":"Q1197987$1DC2115D-D106-47FA-B853-46F114BCFA00","rank":"normal"},{"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":"260af48f5897099735def80c3ea4995632c81642","datavalue":{"value":{"amount":"+0.8835199475288391","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":"Q1197987$1040C858-F221-4267-A5D4-8DFE15546B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7bf0ddd200185ae55700af2ad9b25803b32505","datavalue":{"value":{"entity-type":"item","numeric-id":987976,"id":"Q987976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7d2694822d016ad962dbf48ed25a232a38a8d3","datavalue":{"value":{"amount":"+0.8741264939308167","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":"Q1197987$C0B31D46-7BDA-4CEB-A9A1-CCDAE38C04EF","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":"95a9400fe56e37dc122b0d88a4d9e4ffa697b7f3","datavalue":{"value":{"amount":"+0.8714391589164734","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":"Q1197987$5BFF27CF-91B2-43FD-8AA7-146959E9819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b468d9befd0c796b3e5a7888f89b276f3ddf6ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5899101,"id":"Q5899101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681b98f0210aa96abba87e632b7691aa4e7cfd09","datavalue":{"value":{"amount":"+0.8685913681983948","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":"Q1197987$6A63C406-635C-4FB4-A745-6711A63663D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence of the lambda calculus with left-linear algebraic rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_of_the_lambda_calculus_with_left-linear_algebraic_rewriting"}}}}}