{"entities":{"Q2228436":{"pageid":2239179,"ns":120,"title":"Item:Q2228436","lastrevid":82672658,"modified":"2026-05-06T21:27:54Z","type":"item","id":"Q2228436","labels":{"en":{"language":"en","value":"The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311960"}},"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":"Q2228436$61DA82A6-CD7B-49F5-AA03-3881C4D07CFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d62c80758debd481156903a0e9ea14a578096aa","datavalue":{"value":{"text":"The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2228436$3385C512-F43C-41E3-B206-0BA2468A0452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97bfa7521d2b194a48820d701440dae605762e47","datavalue":{"value":"1459.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$074608E7-B27A-4B9A-9109-2B0F181F0B31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$DE019CB5-A7B7-4DAD-B34E-B63D3B526C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$4EB51FD5-F2E6-4B4A-B1CC-EA8C16F65671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$1E39756B-8EB3-4918-BCCE-8E9F5EBAF247","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$DE9C138E-07E8-495B-8A92-B79B26024EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103ae1223110bc14f3808579ff7835e1b3e9dfe2","datavalue":{"value":{"time":"+2021-02-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":"Q2228436$912F05E3-C256-4FE7-AD62-04E13EA2561D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$62A1D38B-E588-4291-ABF8-20D1030A5F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$89313571-1CB8-49A7-A8A9-DE48B429530B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff345f7e0741900e7d2ac48af4ff6406366bab4b","datavalue":{"value":"7311960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$D22E2844-B339-4893-A1FF-B43E7E52C53F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228436$0326A82C-44C3-4E2F-985C-DE06C5A43BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228436$E89F783D-3CD1-42A3-BB1E-1688EE81B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228436$A5EA0655-5C61-46F9-9C74-90AE96041296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228436$43B06334-E6B5-4471-8C81-0020BF21FC59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$4F67C74E-1DFD-4834-9B75-08A9EEB80CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc9a9ad8c0f6411b3ed76602e3cd948eeefdbe9f","datavalue":{"value":{"entity-type":"item","numeric-id":25230,"id":"Q25230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$817C22E6-0B20-4B3B-BB9C-31CFA22D0BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$B6B05FB2-A5EE-402E-BEDD-0F88C1497642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$077DF46D-B785-497F-B29E-391409FE419F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb195c2bd0a4b0e93bd59ac83d154d57485a2e8f","datavalue":{"value":{"entity-type":"item","numeric-id":43995,"id":"Q43995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$CCD4933D-4C6C-439B-9107-19E1D1D12966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$69F5852B-1566-4E0C-B90E-DBE09C3C85DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$F74D8F85-6913-40AC-BB6F-F583015E9A27","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":"Q2228436$F0427696-3558-4CA9-8E73-8A8C7287A086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1839f339ba5935ba1c678e61daa47529b8cd4a70","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09542-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2228436$5FFECFCD-7327-4813-8743-DBF333B77EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e23a0cbdb5865d986ed3de46d8e5e1364da4f776","datavalue":{"value":"W2999233193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$83263C07-71A0-4347-8DE3-3B7AFEE25ACC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d6f971d341e0712af5f5746a5de69305669481e2","datavalue":{"value":"Q126346956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$5D6090D7-00C7-41A1-B245-036717D76A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$FAEBB031-0DDA-4420-B572-C4415B6044DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12258990216ff4021b244dae9f1b968a1473efa1","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$1B0C9676-96A7-46F4-97BD-B33BFC9F06EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d4f90fa52e835209baaf1ee94cf3ff7e79c103","datavalue":{"value":{"entity-type":"item","numeric-id":5619067,"id":"Q5619067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$4B3E5B6A-02E0-4EF6-848A-6753887303B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$F822B961-354A-4695-93AA-ECD66378ACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$14FB949D-D5DF-4101-A696-2C659BB558AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$01FD92B0-39C3-4F34-8619-C985D7415A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$CBF1D12E-E984-4344-A1ED-364256706BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$E4731290-89D8-4436-B2A7-B39EF05D1DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$984474B0-C1F4-44BC-9B0E-5D8D1D47CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$6EE71CF5-3693-47CD-A63F-7C62D1323BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$AA2F2AF0-1D32-44E3-8C6C-68B616665BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8630196765e23a48a0f7120cd525c10258da6f13","datavalue":{"value":{"entity-type":"item","numeric-id":2305421,"id":"Q2305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$DB24EADC-29AF-4326-9C05-21388DE9F507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$7F0BC13B-949A-4F81-A9DC-7E3FA40D66E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cb7f6d1b490c05a83224e0a588d211d03b2f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4342087,"id":"Q4342087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$DAF7AEC1-B6A6-492C-851B-271F58832115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ad8a162001141c6c4e168e5e3dbaf69ae64e23","datavalue":{"value":{"entity-type":"item","numeric-id":2303238,"id":"Q2303238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$909C783F-6838-4BFF-B0BC-EF3FCFD20A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca454fcfb674a55b9997dba52f329c49a980195","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$73EC83B0-CC3D-4180-8853-EFAF78D6055C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040ab0353af170ee2d06c58340752789a437457","datavalue":{"value":{"entity-type":"item","numeric-id":1751429,"id":"Q1751429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$134F7195-225A-4CF5-8628-8C865E8EAD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$D86C38F5-35F1-42EE-BC72-522066BE7A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5713351244dd80f250d6587c90ffbe2516f31b83","datavalue":{"value":{"entity-type":"item","numeric-id":2945138,"id":"Q2945138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$80ED3851-8173-46B2-BB7F-3D6EE4E5BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4503ba4114e24ed9a5c364813a9872b5b85bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$AA2860A0-C7C7-4F7D-82F7-B9B265C1FAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0c1063d2d24fe1956813fa9bc95f21d14d9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$3A22A483-2664-465E-99DD-D3FCFBD8241E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e158ae376e307476ea8721e28c424ca79f524fc","datavalue":{"value":{"entity-type":"item","numeric-id":2949703,"id":"Q2949703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$2CA332DA-5E01-4631-BD34-A7040D0E0BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0abab94a705c39043ecd61c1a54360ab1aedae","datavalue":{"value":{"entity-type":"item","numeric-id":1635507,"id":"Q1635507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$10DE91E6-E441-440D-8708-0043AC92429A","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":"Q2228436$CC4CD697-D76F-4CFE-8AE0-B8D62446BB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b763a04eabde37fd1eb9b2c5994f1585f800cf","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$437D2A70-9CEE-4CED-A8F4-5361993A2DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92dece4062245eff0c48ed11c10cde6ab8215eb","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$9446F177-FBFC-4449-A511-E250DBC5693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c36a48e1bbe926e801935edbcccd22f5ffd1e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$5A74C9C0-4F4C-4DCD-BF9D-7A99E8204985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718380434e13ecab09fa4cf3bd463d4c47181c65","datavalue":{"value":{"entity-type":"item","numeric-id":5816105,"id":"Q5816105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228436$127D2B87-0E4B-4773-8845-5E2E1EAD13D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0cd2720fbdaebfcddf88e4a4aaa1cd4c290a379","datavalue":{"value":"10.1007/S10817-020-09542-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228436$AC00544C-C8AF-4B12-B2C3-C779F3476EE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ceef00c831236f957e51cc9b7efc86ecdff69db","datavalue":{"value":{"entity-type":"item","numeric-id":1635507,"id":"Q1635507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8559831825ad561ef3e5ac633717234b911115","datavalue":{"value":{"amount":"+0.895774245262146","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":"Q2228436$39610E18-CC25-4198-8DEE-BB400D2A12D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e5c8aa67dc7826dfd12250b78c5ae00dd6e36b","datavalue":{"value":{"entity-type":"item","numeric-id":2949703,"id":"Q2949703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afc6e76d01e36e9b99490297688da7320bc2ee3","datavalue":{"value":{"amount":"+0.8704021573066711","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":"Q2228436$E81FDA60-2AC7-4BD1-8DB0-95762E165402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7667881ab6622c04be5a567e18ece6e1fa37b","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fd27a9a11c34d23c602ca3ddc4174be7e0adf8","datavalue":{"value":{"amount":"+0.8086568117141724","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":"Q2228436$CE35B4F7-45F9-4038-8F86-4C29C8F5832D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513b9a1c5a56346fdd5b4d677d5fac2eb9708647","datavalue":{"value":{"entity-type":"item","numeric-id":5191112,"id":"Q5191112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfc11997b43f1c4597e66822b873192e1d29530","datavalue":{"value":{"amount":"+0.8062030076980591","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":"Q2228436$137D849C-7208-4F19-90D2-2360F35B532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e03ff772a85029a8d15c6cbe5c2c07d3db6af64","datavalue":{"value":{"entity-type":"item","numeric-id":4933277,"id":"Q4933277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f0d4a8692fb79ebff933aa8dfe2b6f03f2b2b0","datavalue":{"value":{"amount":"+0.7959551811218262","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":"Q2228436$9A14E489-DACF-452A-9278-C6BB2D94D9FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques","badges":[]}}}}}