{"entities":{"Q5900708":{"pageid":8006987,"ns":120,"title":"Item:Q5900708","lastrevid":50958524,"modified":"2026-01-15T22:40:43Z","type":"item","id":"Q5900708","labels":{"en":{"language":"en","value":"Automating the dependency pair method."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695389"}},"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":"Q5900708$A8E7A705-65A4-4898-BD14-175BFC4D4D72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900708$6769756A-4928-4CDE-8D9E-78B8309DAFD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ad9caa3a9a8a836b5c636aa28675b94a36e504a","datavalue":{"value":"1278.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900708$9C337D95-3B49-4565-9DE3-2006CA63DD14","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":"Q5900708$41C83AB1-0771-469C-9078-8566047497E2","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":"Q5900708$7E540A4F-B507-4B6A-BD2F-DC671C296DA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900708$C0493A85-DEB8-4F96-B89F-79EC8858F3AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900708$15E60823-13A0-4248-9BD4-F6F97158411B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900708$6A95CEFC-A3A3-4DD2-B7C2-DD1B9BCB4E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900708$C5B3ED14-86E3-4A6D-8EAB-DF29DB0EDFC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8ab18b99624b1a06827ce9e3690e3b6a105e038","datavalue":{"value":"5695389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900708$8E274D7B-3FD4-4C09-81A6-9A69DE33C4F0","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":"Q5900708$1C61AF62-A3CA-4959-B4BF-BD0620B0668D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900708$071E1886-3AA6-4263-B2F7-0154563E751F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900708$906D277A-4FB5-480E-A1B9-4C18A2F2F143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900708$D1E52ED5-AEE8-49D0-B211-E80A1A8554CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f7dbb1d029bdc94010ca1550f92e1aa9c25882","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"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":"Q5900708$5582229F-7D9D-4671-BFD0-3DC4234AC321","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":"db3978bbb27430fe4199ace315784f387c9e960e","datavalue":{"value":{"amount":"+0.8796265125274658","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":"Q5900708$2826A921-71FB-4FBE-9D64-49A54D6A44D6","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":"5ce43e9031c1a30697fe4e9025809bd366de7449","datavalue":{"value":{"amount":"+0.8541045188903809","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":"Q5900708$2B7CAF6B-585D-4F4D-87CD-1A47F54C61A2","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":"fb634e05edba67c5d366449e16ff9b1cb56a1b46","datavalue":{"value":{"amount":"+0.8532446622848511","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":"Q5900708$13201267-7092-42D1-8D76-7B2791902604","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":"bd666e205848065b7edb1bc87f8926284967dab5","datavalue":{"value":{"amount":"+0.8526175022125244","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":"Q5900708$FE272276-25A8-4E4F-9989-E61141B00DA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900708"}}}}}