{"entities":{"Q1864874":{"pageid":1875616,"ns":120,"title":"Item:Q1864874","lastrevid":71015661,"modified":"2026-04-13T18:55:27Z","type":"item","id":"Q1864874","labels":{"en":{"language":"en","value":"Modular termination proofs for rewriting using dependency pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1886741"}},"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":"Q1864874$CE7D117E-4CB8-4B11-BB07-6B32CD296AEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2460c0af115d2692e71c95ccde9af97edc0d2d1","datavalue":{"value":{"text":"Modular termination proofs for rewriting using dependency pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1864874$FB8B9BE1-AF07-438E-84C9-146546B7E650","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b409d243eaa3228af00480bc75cd8b51a86de6b4","datavalue":{"value":"1010.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864874$67A66819-F4E7-42AF-84F7-6490F8D613D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a865af8e70392e9c7823f423bd31a7dcffd0dd","datavalue":{"value":{"entity-type":"item","numeric-id":1864873,"id":"Q1864873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$F25386EC-A7FE-4277-BF21-80F46E8754BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$9D936C9C-55B8-4BAF-A56A-EF4257DCF38B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29faeedccb4bb679d2c76fa40bbc73d7916c9a4d","datavalue":{"value":{"time":"+2003-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1864874$8BFEE75B-B5CB-40FD-9281-488DFC448640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864874$0F1EB511-3F9E-4B9E-9334-4C9F005FEBAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"697c84fdc8f870cce6d7cf2cc19e38d948898e09","datavalue":{"value":"1886741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864874$AE2E8821-BF84-44C8-AFAF-49C463031B5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864874$81D5D910-B632-4E4E-8A06-DE8FDEAA040F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864874$D5095831-BB44-41B6-BA65-C1D13BBA7CCB","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":"Q1864874$20863911-EAC2-4AF6-8B3C-616C8B4C1083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"017b7ddaad0d69b4e79139dd2e953592fb4100fc","datavalue":{"value":"https://doi.org/10.1006/jsco.2002.0541","type":"string"},"datatype":"url"},"type":"statement","id":"Q1864874$C1CFB826-07C3-4C49-A908-EA1BD6011E16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05e98baf32b2250e711356e730ff83bef728bd14","datavalue":{"value":"W2030433877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864874$B8E730BB-F2E0-44CF-91DC-F899907BA8D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"985a179b435d17c11e27702f66af0c3cfed0ca52","datavalue":{"value":{"entity-type":"item","numeric-id":1572699,"id":"Q1572699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$6048509A-FF90-497C-998D-929AE63157D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402ce27b9e8ba72444a161a083c6bec62c80a786","datavalue":{"value":{"entity-type":"item","numeric-id":1386229,"id":"Q1386229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$2AACB080-EA65-4906-B492-AF7E5FF20036","rank":"normal"},{"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":"Q1864874$428ECE03-6342-47DD-B06E-5DAA167ADDCF","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":"Q1864874$700EDBF6-5A3F-4D43-A850-DB8CE465A320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$E66AEFC2-4A4D-4B1B-AB23-90ACC3388380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95f5b098103aa998ab86838a951ca6d74163b57","datavalue":{"value":{"entity-type":"item","numeric-id":673622,"id":"Q673622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$A8EB3567-E3EA-47B0-8C20-6AB133E5671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$3338D261-AF35-430D-BD9C-9532014EDFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87d791b3bef9ce142540481bca9b113bf919089","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$0B7F79AB-7029-4CB1-8ED6-3897E2013738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f471f788912cdfff520a8ac13be7b96bbc1b92e0","datavalue":{"value":{"entity-type":"item","numeric-id":4537515,"id":"Q4537515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$423328F0-6549-477F-A22D-475E93E7B799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e14d4e3a2bdd0eae4ebd276c697618c997d47c0","datavalue":{"value":{"entity-type":"item","numeric-id":5055845,"id":"Q5055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$BF4BCFC2-0607-4403-8F4D-4B94E3795BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de155c624c0fcd2ab88abd76298f9dd081129f3","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$2C9A8753-AFF7-4339-95BF-3AA953D6C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd24b6b06ed42024ab5f880502e2b6fa9efdbb4","datavalue":{"value":{"entity-type":"item","numeric-id":2723429,"id":"Q2723429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$0A053441-3D91-4630-A72F-898CF0746A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f51358aae1228fcd9fc59d15da76e6fe45405e","datavalue":{"value":{"entity-type":"item","numeric-id":2762491,"id":"Q2762491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$0B821529-62C6-49B5-8AA8-E1827955B18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$56C5FCF0-DFB4-482F-89E3-33D1396BFD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$381E1A67-AC7A-4367-B7B0-5E10AB6E65AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97f38ce2791a860bf53bd73b9389f14789f8213","datavalue":{"value":{"entity-type":"item","numeric-id":5055854,"id":"Q5055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$3CAAF6A9-9DF0-4680-B380-4E110506D803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$88E18D52-9F1C-4601-83CD-153132E91CFB","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":"Q1864874$1F8F2C81-399B-4DFE-B041-467CEF6DAF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f174558c8e3cb1e3814f164d6b85df2a38191b7","datavalue":{"value":{"entity-type":"item","numeric-id":2778876,"id":"Q2778876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$E31282C0-DD12-469E-925B-91416CFAF440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ad2abfc6cc3ebb890b3b52507b9f0b3bd707ef","datavalue":{"value":{"entity-type":"item","numeric-id":1350349,"id":"Q1350349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$DDF6DBC6-D5AD-440B-996F-34CECC0A926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c08d244a6b275b719f350bd2ac35e88e48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$444574FA-69A6-4962-ABDE-BF753612A607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a075c3c514f417f4f1cee8554ef94d7d880fe9cc","datavalue":{"value":{"entity-type":"item","numeric-id":1819259,"id":"Q1819259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$335FD214-21BD-44BF-8888-B3C4044AFF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ded9b57b69cdd985cfd619876f5c125f9cf497","datavalue":{"value":{"entity-type":"item","numeric-id":3197780,"id":"Q3197780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$5B36954C-6160-4F41-B109-927C37D5F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$850E5F67-3031-4FCA-A148-068120EF7355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e1ab7bac36e45ab6e0c2f15646bed5f06e0b02","datavalue":{"value":{"entity-type":"item","numeric-id":1579057,"id":"Q1579057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$83B7EB82-288C-48F3-BA33-8943B1F8FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$B353F208-D70C-4A5B-9E37-B80B5D407A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd39ad9f1e6c17f7f45f17270bce76faeca3cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1392146,"id":"Q1392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$EABA97E2-776A-43D4-81B5-AAF056EFF498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f24c9f0634a3b40f1d86c3af8f38a5977fa8ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$F9DF3256-909D-46ED-9F50-0E8F1ECDEB14","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":"Q1864874$39E8E0CA-DA2A-4ED9-99D4-8B276583466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$9F99657A-A08E-43B7-8DBC-8CE595834D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$45F2B805-DEF4-45F9-8DD0-64923DD69C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6651266019565627c00a97534a81480ebf5c20e9","datavalue":{"value":{"entity-type":"item","numeric-id":1318775,"id":"Q1318775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$F59261FB-8AC4-4C4B-9E98-66FB69241AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db943a7e4456eeccf0929a13443d57c6a7880521","datavalue":{"value":{"entity-type":"item","numeric-id":4846999,"id":"Q4846999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$15BD68EA-A60C-4B72-9BC9-E15FD5A0AD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$D931874B-147F-4F87-9305-1B06CCE7B18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$FE200EAD-29A5-4F69-BCD1-C4455C0B815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7feb9c10dcb1c09a1ab4578b7c600a6c46ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4539636,"id":"Q4539636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864874$9A68E839-C2AB-435B-85C8-D84C55B5539C","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":"Q1864874$EB6DD051-9080-4E86-8C6D-06DA6BCB692D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a70f4901b0c6683a68c6a213ce15fecf6db12cf","datavalue":{"value":"10.1006/JSCO.2002.0541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864874$B952A297-F548-4042-ABD6-38BC6C751423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae19b017730ffd7f07aafc6ac8ae0012cb4910df","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a23361a8671b3c3de064b69600a377df75179af","datavalue":{"value":{"amount":"+0.9282465577125548","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":"Q1864874$1862C8AC-012D-4C7A-9E0F-8ABB506C205C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cb9335e5abe4d12fb856ec54601d7ee050c649","datavalue":{"value":{"amount":"+0.9028024077415466","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":"Q1864874$C5D2ED8F-CEEB-4817-862D-4691B9D3818E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da05ed7d9ebc2fc80066bb8eda805a91e70e673a","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6162d87cff65c535f2e735e56fb165f347cf88aa","datavalue":{"value":{"amount":"+0.8773751258850098","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":"Q1864874$E2F7AA33-9547-4EDC-A995-19DBB8FB33A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfbc0d8629147f6068dd3057d30dabe3b6e3030","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7991565369ebd41d5092a95858a4c5e761119940","datavalue":{"value":{"amount":"+0.8764765858650208","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":"Q1864874$C66272D9-83A2-45D4-B31D-D80ACDE75FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107c8a258b177f19d5bb8ab94aa37b0e0316ecf3","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64f8005c8e7ba00498dca8f31c6ec4364d8af1a","datavalue":{"value":{"amount":"+0.8750332593917847","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":"Q1864874$FF586AF8-DAB0-4418-9AB1-EA392BF2C495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular termination proofs for rewriting using dependency pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_termination_proofs_for_rewriting_using_dependency_pairs"}}}}}