{"entities":{"Q2911632":{"pageid":2922357,"ns":120,"title":"Item:Q2911632","lastrevid":51540953,"modified":"2026-01-18T17:17:24Z","type":"item","id":"Q2911632","labels":{"en":{"language":"en","value":"Layer systems for proving confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075079"}},"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":"Q2911632$C4242ED8-E3B3-4A03-8437-F99D5B57CB62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5b091b884f49e393c90408b4cd0df44a944858b","datavalue":{"value":"1246.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911632$D67F3A5E-0CCD-4AFB-A9D6-01E3376A06A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e621a15e62a289b8ae90fd2dd0602a0ee81e78","datavalue":{"value":{"entity-type":"item","numeric-id":515685,"id":"Q515685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911632$7D810986-7675-49F3-9534-D3E582BF7F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911632$80DA99B0-4A7C-4F6B-8A97-392E89E4FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911632$402501BB-A366-4D7F-B0A7-BB65337E8771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-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":"Q2911632$7EEE3755-0C8D-49F1-B5BF-DBFAB1DC5FB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911632$F44945B2-4FF8-406C-99C1-C452A569B421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f989f814446333ebbd97fe339fbc0ca6ea884ac","datavalue":{"value":"6075079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911632$AB2E79C0-B8F7-4E86-8EBD-F67700201991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911632$2BA228D4-3457-4E14-AE17-1FE2191609A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911632$3CDF95C3-8563-4ADE-97FF-F48536F1CC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911632$421DEC96-6D94-420E-A950-44E8B3273425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911632$31C0AC06-D410-4A58-9B9A-02344C6EADE9","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":"Q2911632$0AFAF28E-F308-4ADF-BCD8-71E21EBACE51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e05a027105961128fef8a2dc1cdbadbaa154ff5b","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911632$E4ACC79D-23FE-408F-A275-93A60B8519E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdbd237eb4d0847646647091c20de3d5644972a1","datavalue":{"value":{"text":"Layer systems for proving confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911632$CEDCADD8-B374-4C3D-9DBF-5DFB4D497952","rank":"normal"}],"P1643":[{"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":"8e01bef0968d4f93b9db233f415f2728193f0b93","datavalue":{"value":{"amount":"+0.9973620176315308","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":"Q2911632$379BCF2C-69E3-468C-8DC0-52ECEF808828","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":"85aa1dbaaf4e5ff6f539e10444822d25ef0f8e55","datavalue":{"value":{"amount":"+0.8802598118782043","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":"Q2911632$90CF1FE3-86DC-497D-8E70-477E31AEF396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8eba19f2ad3b9bcc07c74569806c31a1f1d636","datavalue":{"value":{"entity-type":"item","numeric-id":5351972,"id":"Q5351972"},"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":"Q2911632$977F8D5D-9104-4E0E-91DD-25F4D37C32E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd030b2f5456b3fa833423c956f15f3f88371d02","datavalue":{"value":{"entity-type":"item","numeric-id":3541716,"id":"Q3541716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161d3bda990bbb3b7abf669ba193c1b7ab496f07","datavalue":{"value":{"amount":"+0.8138639330863953","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":"Q2911632$EFF3DEDE-9AE5-47B4-826C-93D62170C48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7f0a7478dce861b8090bac57a12bfb55d16785","datavalue":{"value":{"entity-type":"item","numeric-id":5901569,"id":"Q5901569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274388234bf625646cbe50e55cba4bd55d80a751","datavalue":{"value":{"amount":"+0.794234573841095","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":"Q2911632$F7ACA8FD-384A-4849-87B2-266B494B7D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2911632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2911632"}}}}}