{"entities":{"Q5351972":{"pageid":7381546,"ns":120,"title":"Item:Q5351972","lastrevid":100961471,"modified":"2026-06-05T23:33:20Z","type":"item","id":"Q5351972","labels":{"en":{"language":"en","value":"Confluence of layered rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767610"}},"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":"Q5351972$E7E4B661-B875-4867-88EF-CF77B672B843","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb237da78e9bc139209ab1a2312fc6c24d8a5c2c","datavalue":{"value":"1373.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351972$9D46181F-CC19-4F92-A50D-5DED00DA9ADC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d64add4224d48d3e6a017692fd022ede79a50f","datavalue":{"value":{"entity-type":"item","numeric-id":823307,"id":"Q823307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351972$E33F3E74-6C8E-44C9-AF56-B1E449E29039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351972$5425D94A-2186-4E95-818A-28A4F66C772B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351972$3E40DC8B-8FC6-4B1F-9D92-39427566D696","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351972$C06C600D-9F46-4E15-8676-7C5F74EC006C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44285a00f3f73b5feb3ecf5feb381404941e2ff1","datavalue":{"value":"https://arxiv.org/abs/1509.04699","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351972$ABB0C3D1-CB7D-4090-89CF-EBE1C0780757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351972$5B1669E4-6BB1-4FEF-B94C-A1CFE6B03F6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d4683152d3b5f8b1807870708551954027d7d5","datavalue":{"value":"6767610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351972$B50AD1A7-DAE3-459D-8760-15B67F4625F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf060195c8fd22c198301b6d5d6829607bb5eb4","datavalue":{"value":"layers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351972$D17BCBB1-305B-48D9-9239-6A20273AEEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351972$26AAE71A-4B7A-42A8-AB17-F5B8663D12E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08ad5cc243aaeb3e65ad49f2325bf43711510f5","datavalue":{"value":"decreasing diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351972$1666920B-AB4D-4B28-BE63-B2B454939F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688264d772c59a381a1bb6b0f73efc2ab822f13b","datavalue":{"value":"critical pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351972$19A2AE0D-B5F2-48E5-8D57-E7FB3358B17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04d6f35760f2a40266d94e7240aecaa6c7f8d56","datavalue":{"value":"cyclic unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351972$24C4207F-5FE1-45AB-965C-C5796105798A","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":"Q5351972$A7B6596C-93AD-44CB-82EA-13B61FAFC91E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4779ed0520801446f24bac9ee93579ec6c801445","datavalue":{"value":"W2963161407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351972$40BB4AE8-BEC9-49C1-8D42-101881043D9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced4f4b6cbef1c5e00d0baccb9d2bb53fcca3ce2","datavalue":{"value":{"text":"Confluence of layered rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351972$9A4575BA-5D19-411B-ADC2-18644612D2D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7477fd3e4150200db9b53b01875a5ef0bf454a6d","datavalue":{"value":"10.4230/LIPICS.CSL.2015.423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351972$49412C57-53EC-4675-A391-246831A040CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8ca420acc06329d6b326db22c8a370c33ed6e9","datavalue":{"value":{"entity-type":"item","numeric-id":2911632,"id":"Q2911632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ccc8da29e9714d2b17ef7b6be832fb25417605","datavalue":{"value":{"amount":"+0.8331578969955444","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":"Q5351972$594B88DA-0629-40AA-95D7-CAF7690B42A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfebab85faa5e6c06e359f23b6840ffceb110115","datavalue":{"value":{"entity-type":"item","numeric-id":2946770,"id":"Q2946770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886dcb74184b8d3e8d4d4fe955a2ca9640bfda95","datavalue":{"value":{"amount":"+0.8303590416908264","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":"Q5351972$D0E9122A-7D83-461A-B9D2-15CAC00D97BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa294c271410ef2c5db771d0520219ccaa10a4","datavalue":{"value":{"entity-type":"item","numeric-id":1623131,"id":"Q1623131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c294e045d367b4920174f09d578eb0d7055c008","datavalue":{"value":{"amount":"+0.7779980301856995","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":"Q5351972$223D8D47-C4DB-4888-8870-9514E0070A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e547fc5c1e3bb97e75c55d04de0b08c47d41f07b","datavalue":{"value":{"amount":"+0.7713853120803833","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":"Q5351972$B452B1E8-7212-45FD-AAA8-5D1989CEBD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d5ea8f319beb02881e79c56f126cf784c2a02d","datavalue":{"value":{"entity-type":"item","numeric-id":5170823,"id":"Q5170823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1375238345db9b7f07151d0075e7e0d22d513d00","datavalue":{"value":{"amount":"+0.7712463736534119","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":"Q5351972$48CBED54-8BDD-401F-983B-ABF373AA2D4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence of layered rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_of_layered_rewrite_systems"}}}}}