{"entities":{"Q2946770":{"pageid":2957490,"ns":120,"title":"Item:Q2946770","lastrevid":85390616,"modified":"2026-06-03T07:43:51Z","type":"item","id":"Q2946770","labels":{"en":{"language":"en","value":"Layer systems for proving confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483260"}},"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":"Q2946770$09DBCE50-45E7-4971-96FF-C5ABCD452F55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8028cc5359e6ab3548e2c1616dd512921daf1a4c","datavalue":{"value":{"text":"Layer Systems for Proving Confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946770$41059B52-7070-4052-9E9F-E6C2FDE0CD25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e59f9a40efd1fb555b671144d7dbcfe9dcc30b3a","datavalue":{"value":"1354.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946770$EB4E4666-AF79-4FD0-A8DB-1FBBB5C1A2DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc03fec5757f4a4f93344eda57427d77ae235d7","datavalue":{"value":"10.1145/2710017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946770$11FC7663-2DBC-41D4-8C00-3CF3AD4E5C29","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":"Q2946770$333A79D7-5EF1-4226-ADB8-A2B72E011EB0","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":"Q2946770$E1635BA9-F825-41CB-BA8E-4CBD0C459563","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":"Q2946770$33656FFE-A091-4FFD-A022-5756F646B3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$AA0974FB-58CB-4075-8406-972F954A8AC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$A0F7A7F5-B939-4D30-A0E3-113CD225D41D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946770$C5C596A3-B5F0-46EF-87E5-9B5E9A2E78B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef5d7da8de0497d4549abac90c552ce86e86039e","datavalue":{"value":"https://arxiv.org/abs/1404.1225","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946770$8DAAA3AF-2183-4DAA-A869-D3836FFF3D89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946770$E0564197-402E-4D13-90A8-EB01505D9ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946770$2EE146B6-33B6-4153-AEF1-EE62B6D9A945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc5c0f62120c021d83d28a63aa54548ecfe3114","datavalue":{"value":"6483260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946770$D7A610B6-EE1B-4178-8775-FBB3F52773EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946770$0E6B50BE-952A-4CAA-8F0B-678BDB53E847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946770$58D5E5E9-D722-45B9-B4FB-C1D6448088AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946770$36A4F2E0-4E02-4FA7-93C0-8FEE89581E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946770$662C6299-D011-48E4-96B7-B998272E8F6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55fc25582931f7a65d8b24607d5ab272c8743bb","datavalue":{"value":{"entity-type":"item","numeric-id":40267,"id":"Q40267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$6911280C-FE54-4451-BCF3-E8360518DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$237FFFDE-5B5F-4F38-9EAF-F8A7512564B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$4B56BC43-3B17-4F8E-AB8A-C9729AE70078","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":"Q2946770$D6B565D0-CCC6-47B3-B2A3-2E4EA6426F51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82fa1ee82c5054a5270fb7b499890292cebba4ed","datavalue":{"value":"W2176474378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946770$B6D9D76B-753C-4E42-933B-0B16298A5436","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed0648f809f449264f7f710d068f681caf0145d","datavalue":{"value":{"entity-type":"item","numeric-id":4520528,"id":"Q4520528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$7E83F6A4-F020-4DAA-B68C-588C8E666710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1f9b4c8eb302068f9760bdb30aaa016c688ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5389133,"id":"Q5389133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$6CA96C34-0CA5-4F5D-B31A-B82A921E92B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$BC354AA6-A00F-4BD8-9B4A-503BF0AD9407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c08ad5d55cd7b3d204e4af545a1027839c904be","datavalue":{"value":{"entity-type":"item","numeric-id":2911632,"id":"Q2911632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$046B5583-155B-4F9A-94F0-282F103DF771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$9CF6D279-5E03-484D-A55F-BA0C15A98035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51df2d3001c8e72ad1934f2d80cdd4367d4967f","datavalue":{"value":{"entity-type":"item","numeric-id":1929228,"id":"Q1929228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$EE31FBC8-C544-420E-8DCF-5FADF3F0DF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d65043224af4b2cf3ae668d308eedc182cf63","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$AE0F10E5-E624-4AA2-A203-6BE1CB3AC60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$9378C2E3-5294-4C75-AF7F-E7A72960C82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f41507ec7ee0362ca69ff508966cc502c185d2","datavalue":{"value":{"entity-type":"item","numeric-id":1318777,"id":"Q1318777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$0C939256-DFE0-48BE-9EBC-0EF2346A5031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$D8CAF251-CEB8-4040-A98C-B94EE756A8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033dcd0736cb42469f6e374b902230aefb1fddc4","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$1A767008-D35B-41A5-ACBE-E4D3FAD12A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$21BDCDB7-1F8F-463D-900E-34B7A9F6B417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$5021FE08-6A0F-4DEF-96A9-6DDD8DBC45F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8cd864e44eea6ab2a808612b525d34d8763830","datavalue":{"value":{"entity-type":"item","numeric-id":3541716,"id":"Q3541716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$C7F742F9-0DE7-4B12-B377-A8973AAFE4AA","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":"Q2946770$053CF608-D17A-4533-A613-ADF62339E6EA","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":"Q2946770$657F5204-D336-4E70-8282-4592DD1CEF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cea1f5eb77d59253be3022ba821c70a4d99a31","datavalue":{"value":{"entity-type":"item","numeric-id":2958395,"id":"Q2958395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$37E6E376-1089-42C1-92E0-6DEC4E6573AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da843fc35ebe015907494c69b23b63fc0a14ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$DEF867FA-24BA-4D05-83FA-72FF157CEC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adca5241918a30dd0da6f5c1e5b5c08be40a5bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5389095,"id":"Q5389095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$05F17197-2CF7-4D33-A814-6E054CAB995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946770$DB595B5B-50F5-4353-A5B5-AA97116D4A01","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":"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":"Q2946770$47E49492-6760-41E8-9C62-62D1BFB62375","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":"e2b0d0243f5e518b4ecddce3dad0d05ac44bea43","datavalue":{"value":{"amount":"+0.8860525488853455","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":"Q2946770$9DC0BC19-D5F1-4CB6-B557-C67B64DE629A","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":"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":"Q2946770$81BCF027-DCE0-4B51-940D-4BF524A1DE1A","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":"07d32c8b5e683dd7fac4ea5a524b83b13b184e1a","datavalue":{"value":{"amount":"+0.818798840045929","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":"Q2946770$B12B06CC-5C2F-423C-A11E-053A6A9EA2F7","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":"2aea3420278908c00feff0fd0830756655743d1c","datavalue":{"value":{"amount":"+0.7980528473854065","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":"Q2946770$0DE54FC9-2AA1-4338-93C9-DFD0EEC3DF6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Layer systems for proving confluence (scientific article; zbMATH DE number 6483260)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Layer_systems_for_proving_confluence_(scientific_article;_zbMATH_DE_number_6483260)"}}}}}