{"entities":{"Q2486583":{"pageid":2497326,"ns":120,"title":"Item:Q2486583","lastrevid":48525046,"modified":"2026-01-05T02:52:02Z","type":"item","id":"Q2486583","labels":{"en":{"language":"en","value":"Automating the dependency pair method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193214"}},"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":"Q2486583$8FA2D3FB-BFFA-4970-8B43-B7CED106C4D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccf9b96a697879e06da1f42e7e03e6cd3f90b66d","datavalue":{"value":{"text":"Automating the dependency pair method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486583$B10EAAE5-9124-4E49-9AD5-7EF43B3A189D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fb3e5c1587f5791d33dff57b581b13d9629e518","datavalue":{"value":"1081.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486583$6A45F29C-F555-4F45-8CF5-3A3477EAE545","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$7C88029F-B456-43DD-82AD-0A4B3D3DCCBE","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":"Q2486583$44F73FB3-6F8E-4F72-BC9E-52B4F8129E10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$F5967EA7-72DC-4BE1-8518-1245CABB80E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2486583$48E338B2-2B41-46B2-B4C9-AEF2F1C8391E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486583$9D971722-A1CE-426F-AA66-6ABF24CB6E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6761456f5e01faa205b56cc4ef8169a44d2fb3e","datavalue":{"value":"2193214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486583$D38EC90B-DBBF-44BB-BB44-55FF2B0C51AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486583$A5BC0052-6EC4-49C9-8DE2-FD4C5792A6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486583$9390FC30-1674-49DA-BF2D-743E1CFE2929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f9b9f1f2b2198f38d02ed36fd38c9dc04a01fa","datavalue":{"value":"Dependency pair method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486583$AF2479E3-9E3D-4428-A298-418CC3CF94C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680c244b02c0203bda666c4a12f1fe54854dd0a1","datavalue":{"value":{"entity-type":"item","numeric-id":22085,"id":"Q22085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$E315B93D-F52C-411E-95EC-275173957BF0","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":"Q2486583$5F97EDCD-F2B5-4891-A22C-FECA0AA468B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1aec6be82e1c28568de36cbc981a31073fd576d","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486583$910B2C11-F51F-463C-8290-5AEBAA5844A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e3290263587ed1fce066a05f41cd35b4a2bf2ca","datavalue":{"value":"W2168096396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486583$95B0F2BA-0932-4418-A39A-93C361E934FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0f7da457b43912f2a4228302a8c9be09aa54d2","datavalue":{"value":{"entity-type":"item","numeric-id":2723906,"id":"Q2723906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$75D2ED41-EBA0-4F0E-9F64-2594626EE7D5","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":"Q2486583$746F544B-24D8-41CB-BD96-DCD614779AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac48908fc1f7976d584bb6bf89dc55e17e7792","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$1FAA8157-4C70-4E7D-B597-923CDEF1BF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f379c0c8372e5f5c3f6f1ec2ecbe2d16fde0f60","datavalue":{"value":{"entity-type":"item","numeric-id":2723431,"id":"Q2723431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$0788F3B0-7C42-4ECE-B541-AE5CA814F74D","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":"Q2486583$D7E1D29F-697F-4FC5-AC91-F1E67826088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$89F0097B-B2B9-43C8-8370-22B5FE85BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$D01975A5-B727-4442-96D0-2143C7BFE493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47717bb5dadf44e591440e0fca8e5d160b3165e0","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$BFEDBB9A-DE24-4D0A-8AEF-07EF6E44EC4A","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":"Q2486583$F22B2BF1-72B3-4D0F-A9B8-0DB55BDCF4E9","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":"Q2486583$0FA3AB42-1FE8-4A60-A815-A531EA79ED2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3d7dfc55facbac01d8f787937a9b2b168b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5464701,"id":"Q5464701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$8ECB4702-4BDC-45F9-9A02-5DA279C5C7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1049bfaaec537d06376da08751517933a39b70f","datavalue":{"value":{"entity-type":"item","numeric-id":4447241,"id":"Q4447241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$5D1B3868-93B9-4FC5-B485-441B0058F853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$D1208741-E3AA-4738-AE37-6434BE8BE236","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":"Q2486583$1E3F9EEA-4BB4-4158-BBFA-A47434DC9DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4606d723115f901c13f42c908b94c490b7af2196","datavalue":{"value":{"entity-type":"item","numeric-id":2843601,"id":"Q2843601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$BB7C6104-3F80-4DFA-ACDC-5A958F69A533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8b62c0dba39f501efc5ae3fa8f833d22f9a0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1853138,"id":"Q1853138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$DD3D35B5-B51B-4CB5-B6AF-80635B59C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743c63efcea696042e252dc9c8ea8a0f079ca8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5055814,"id":"Q5055814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$6B4B3B85-29EB-4516-BE6F-7A618E104032","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":"Q2486583$E57CC0E9-259E-4DA7-AF13-7533ED5F6C70","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":"Q2486583$40ABC257-ACE3-4AD2-B78E-92E2DB834583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486583$E5ACC967-A948-4D6A-A2CD-8B75E9F1860B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c34a1c39bb1e80afa2a018e1fdf2b43a106e3a2f","datavalue":{"value":"10.1016/J.IC.2004.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486583$FC0019FC-2CEC-45F4-A1F1-494AB178B2FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0177ab9d4c39357dff3e55dd889d5eb20074eb","datavalue":{"value":{"entity-type":"item","numeric-id":5900708,"id":"Q5900708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ba6fd5321b4f99caf4a4c570f131641306634e","datavalue":{"value":{"amount":"+0.9976521134376526","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":"Q2486583$8AAC66CC-E49B-49AB-BC48-BD14B9F535B9","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":"f8183252ef9a07e509d77791efcb6ae7e96e88b3","datavalue":{"value":{"amount":"+0.8743370175361633","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":"Q2486583$8933014D-FEF0-485E-BCE6-A11F416371AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1501dcbd9c8c1b63d9e245b057ec48edc579ea4f","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3a287917a652dc8bd806515f40500abc0b939a","datavalue":{"value":{"amount":"+0.8500155210494995","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":"Q2486583$BF0993BF-0E58-48DE-8EE5-3BC12762A348","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":"647c77e2328b8ce78945564e8a9d59c3ca7512a8","datavalue":{"value":{"amount":"+0.8491572141647339","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":"Q2486583$1089B7B8-3B84-4F85-848D-4DE8E9676C21","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":"9f5bb7cd72dc27f992bf28a1894d1ad83f2abfc5","datavalue":{"value":{"amount":"+0.8491203188896179","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":"Q2486583$85698F38-0797-48ED-828C-E2BD6D0E3517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2486583"}}}}}