{"entities":{"Q2985126":{"pageid":2995851,"ns":120,"title":"Item:Q2985126","lastrevid":85737734,"modified":"2026-06-03T11:20:00Z","type":"item","id":"Q2985126","labels":{"en":{"language":"en","value":"Certifying confluence proofs via relative termination and rule labeling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715906"}},"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":"Q2985126$B073D341-1EBF-4B98-A6F4-E8F0F9EA8F2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"287e87f69a3fd8ec4e4d017d3623ef06d0f26e41","datavalue":{"value":"1398.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985126$98EA2696-ECA4-4D09-B7B3-1932AA766228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"769107c71fa9e6ec7c3bd3e3db606339ec8cbb3c","datavalue":{"value":"10.23638/LMCS-13(2:4)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985126$008132F3-46E7-4A8A-8E09-1907DAEAAB95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"285123987aa9e1ffbf687d76a0608e8864735cea","datavalue":{"value":{"entity-type":"item","numeric-id":2305422,"id":"Q2305422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$1CD79DD4-98DE-4F5E-84CE-FE1A414A3152","rank":"normal"},{"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":"Q2985126$83ED9D56-A293-48F1-B000-7E1691452467","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":"Q2985126$E2094E8F-8237-4DA2-A6A9-BF5E9B01E31F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-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":"Q2985126$DA442CB7-43B2-44E8-87BC-8CFE15A2C1E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8321d6fa77abdc80c6eaf032ab276ddfb7ac5a5","datavalue":{"value":"https://arxiv.org/abs/1612.07195","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985126$7DC9DAB1-E7B6-4CD6-B63B-BB7A2549E40C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985126$48645D51-6A85-4B3C-83C2-841900F40FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985126$4556D513-E6DA-415F-BE83-94869AEB3D20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b59f1c147c56b198267854a686c815e55ce4c1f8","datavalue":{"value":"6715906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985126$FDA2D68C-A983-4D8B-B9B4-C67F6C5A2D6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985126$CBE5CF72-5417-41C9-B1AA-2676996FA941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985126$4F6688FC-381B-4079-A4CB-80FC4A23F3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08ad5cc243aaeb3e65ad49f2325bf43711510f5","datavalue":{"value":"decreasing diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985126$25FD6B65-ADE6-4914-ABE3-2302E81783F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985126$40591475-6B62-4F9D-959C-52E666406D68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$3788AA84-3C78-4A04-AB10-827C78ED4E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$62113BA3-F3A9-467C-9131-187DFBB7C61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$652B409F-E2E9-49E3-9476-757EA009F7FF","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":"Q2985126$7FAC034C-49B8-44D2-BC3C-5C862D8EF45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$C88B29B2-7237-4E8F-AE1A-ECD3DB65E9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$4345D22F-8DB8-44AF-AC48-00950A166CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79e3d96b80d97b60f7420ee39a9ac16a248efabb","datavalue":{"value":{"entity-type":"item","numeric-id":40319,"id":"Q40319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$62BBFE9B-813D-4460-8E0A-04F52E5CDDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef0ca4e812ccc71b1750f838c7d82339bf64c7c","datavalue":{"value":{"entity-type":"item","numeric-id":41247,"id":"Q41247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$E816387B-81C9-49A5-A77B-7D07ABAE6862","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":"Q2985126$4720776B-D850-4F4F-A356-8722451FDF46","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":"Q2985126$D4106A0D-47EA-4E98-A427-44660180870A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35102db1b7e7b090a79e18e4df0f2b0bccb432b9","datavalue":{"value":{"entity-type":"item","numeric-id":5389131,"id":"Q5389131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$46201896-F517-4E24-8187-FE5AF91945EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95ce89d8b59b834b555ba3591f8452ae697f33e","datavalue":{"value":{"entity-type":"item","numeric-id":3454083,"id":"Q3454083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$7D42087F-8122-4758-AA07-DE98C3A61891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$25453D71-C49A-472B-AF97-0D880A5FBF55","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":"Q2985126$3FDB9535-386C-4AC3-B959-03F4F847D4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda024bf3459ed600e76cd7f05ef4d9afb8ddd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$95EFE7B7-53B8-4183-805C-F557A8F59E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274736e3c02109cf273cdf7bf9017ac1fe6ca469","datavalue":{"value":{"entity-type":"item","numeric-id":2958383,"id":"Q2958383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$544B7E5E-C4A1-425E-8E2C-8AA991155A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448dccf7e86d247eb8edbfefebc4b6ec58a1b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":3497624,"id":"Q3497624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$F33463AE-4737-4A7A-84D4-62CB09F430AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f483c46e6b48f3c01c32e727f751d0321e93cc8","datavalue":{"value":{"entity-type":"item","numeric-id":616850,"id":"Q616850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$2CA4D01E-2AF5-4123-8D29-D7B9AED229B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$5BD6C26C-95F8-45A3-9EA5-B33CC2C8B957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c227478d93e0b870e0c78c09c2776f3a08c57d","datavalue":{"value":{"entity-type":"item","numeric-id":438562,"id":"Q438562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$7F5E27DE-3849-4862-B5A1-20977031A14F","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":"Q2985126$C2D523EF-A41C-40B1-BD16-DC0037D7870A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$6AE6227F-C6A2-489C-B5F4-6118036E642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580a8b83c26ebe56f49a43141bbbf7fc61419098","datavalue":{"value":{"entity-type":"item","numeric-id":5277883,"id":"Q5277883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$713B02AD-E5C5-4A1A-8C29-B56CF0E2BE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec728f31448e01ff9e5cfe09b4a0aabd5ac40247","datavalue":{"value":{"entity-type":"item","numeric-id":2829264,"id":"Q2829264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$74CCF7EC-4F6E-4B65-B25F-6CB7B515AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aed7d8950dad2bb0a2909432ce367f6a31e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5277884,"id":"Q5277884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$E629D33A-5435-4FF8-88B0-DA42E46F17B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$3225CF9C-9430-461C-88E1-EB5041394608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$EC43293C-507B-4751-9004-EB098361084C","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":"Q2985126$3BB6D923-DF5E-4BFD-BD9D-C6A2C106F072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$D2AC9321-A63E-43C5-99B6-434DC3F9F278","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":"Q2985126$16A298DD-50BC-4E5B-847D-320EEDC7457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185924672466c333b2a4f60179da234e4df54e65","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$DF53F131-4CA9-45D8-B5F3-EB8F29DC46AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$2D2323D0-7F2F-449D-A7D6-B6015BD7EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a03213b095a350f4bf2d8dc4d804066ee4390f","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$CB2D1D11-BAAC-45D9-8EB5-7EF2AE21C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58873e82ac464503e24bd570bcd59f8a9b093a2","datavalue":{"value":{"entity-type":"item","numeric-id":5310654,"id":"Q5310654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$961F6F66-BB7B-4897-B999-D70A91FDE750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$17B4AAC5-14EB-402B-98A0-514E159F844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985126$83B55F28-9353-4F9E-9680-C325A35C763D","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":"Q2985126$22F5417D-8A54-4031-9C95-F429D1A6D63A","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":"Q2985126$54C4FA81-75D0-4006-8777-A5577451168D","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":"Q2985126$B9AEBCB1-1503-4D86-A9FE-AF5F0531F178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6a8c4e3eb9750e028c99613f2c5588b434fc97","datavalue":{"value":{"entity-type":"item","numeric-id":5277884,"id":"Q5277884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bca1eecd9e9d03549249dfa0ddbdc9aa509cb91","datavalue":{"value":{"amount":"+0.9666934609413148","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":"Q2985126$9C1D9799-28D6-414C-A36E-8C7562BD8DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284b84c6f454d2b2d85422c53fabc832598358ca","datavalue":{"value":{"entity-type":"item","numeric-id":2405266,"id":"Q2405266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795d846f5554f12918c16ca714e7d834a59c3389","datavalue":{"value":{"amount":"+0.8337551951408386","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":"Q2985126$A61C1B06-4A52-4E52-A0AC-53D3B99BE040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05bc43978eff57b2dc804b5e8118531e48c1b24","datavalue":{"value":{"entity-type":"item","numeric-id":5389131,"id":"Q5389131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731e5b9850ddf8f9512154443afad29cc715f247","datavalue":{"value":{"amount":"+0.8208838105201721","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":"Q2985126$35EF4ED2-FCBB-451E-8B1D-59D966BC0472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a102b7150f502c9629443c8aa80dd29f9919740","datavalue":{"value":{"entity-type":"item","numeric-id":2829264,"id":"Q2829264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a831efb73e82665c5b3a09016426ca3c24a342","datavalue":{"value":{"amount":"+0.8166134357452393","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":"Q2985126$90582E28-C340-45E2-B48B-E997CA0BD301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9b80eef65e44390592f48c7cf13b00f3e030ae","datavalue":{"value":{"entity-type":"item","numeric-id":5389095,"id":"Q5389095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3c536adda7ed332d1d68a40636b91de6b11b3f","datavalue":{"value":{"amount":"+0.8045934438705444","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":"Q2985126$42F0E9C5-594D-4F69-84D7-2EAC4D3726D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying confluence proofs via relative termination and rule labeling","badges":[]}}}}}