{"entities":{"Q4933276":{"pageid":6962858,"ns":120,"title":"Item:Q4933276","lastrevid":51101696,"modified":"2026-01-16T16:30:46Z","type":"item","id":"Q4933276","labels":{"en":{"language":"en","value":"Proving termination in the context-sensitive dependency pair framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798869"}},"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":"Q4933276$09D52D38-D2C3-4EE3-B18F-F44FBF8B0A35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"537bc1675de6ad7debf7eaf8c2a4187af0869616","datavalue":{"value":{"text":"Proving Termination in the Context-Sensitive Dependency Pair Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933276$70D67A11-41AC-4315-A95D-BD781859B088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea29f0a4d2fe18f30542e3499d435340f3684ca7","datavalue":{"value":"1306.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933276$747F9058-CE13-414C-BA5E-08F45F744CF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a81cbe8534365aa2630ba8bd6ca196dba0323a80","datavalue":{"value":"10.1007/978-3-642-16310-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933276$2C5BDC97-B420-4C1D-93E4-0DDC8C10990C","rank":"normal"}],"P16":[{"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":"Q4933276$D9578DF7-0AF9-4092-89BA-8C8312AB0F65","rank":"normal"},{"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":"Q4933276$F8D97748-0020-465A-86B0-8B1519E5E5AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933276$5F573CE8-5635-49BB-8B82-2EE98BE8C913","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933276$7F477DB2-EBE6-4DC3-A8E8-12B8EC8C1C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933276$B035E427-B5E9-44DC-B5DC-EEBEBE141EF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bffd3b259b5bfdff72b4451ab358e359f76bd1a1","datavalue":{"value":"5798869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933276$7FB58C22-157C-4C00-BCAB-AC35F10BBC96","rank":"normal"}],"P1463":[{"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":"Q4933276$5EB0C7DF-A4D6-4B62-9EAF-24781EE8CA1D","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":"Q4933276$475EA60E-0DDE-4D90-B623-0E407DA2CB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33789359f9b960afff5924d56436a42c169171df","datavalue":{"value":{"entity-type":"item","numeric-id":12937,"id":"Q12937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933276$8E7AE991-8AB2-40F2-8EA2-2384C42930BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933276$154684ED-AD46-4CD8-ADF6-4490FA3B5D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933276$9765365A-0603-4096-89D6-1D6497071E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"494d6979e4f6948fad47029137758aa771db2a23","datavalue":{"value":{"entity-type":"item","numeric-id":22034,"id":"Q22034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933276$D2FD14BA-DDF3-40AF-8439-63B572390F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa4d2ee831327588266f7bff63c8d0bce25b9403","datavalue":{"value":{"entity-type":"item","numeric-id":22035,"id":"Q22035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933276$060171B6-5C1A-4293-B759-ED0D98A6C266","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":"Q4933276$304DD597-89AE-4D03-A095-0E5FCC199F8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d3f6c571056d0c5c730f75ba03accf2ee184f36","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16310-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933276$5EC18101-3676-4D42-BECC-4E7E364D388D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4f020f9ba71bf05c3bc73f67aa6646ff8801104","datavalue":{"value":"W1489887862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933276$FA5E7C96-EDD8-4E7C-A5B4-FB07109D7B12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2387173d1a775338c30e8db907787b3bfde16e8b","datavalue":{"value":{"entity-type":"item","numeric-id":989290,"id":"Q989290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d61317308b89ad1d2b02517eaaf2a952746333c","datavalue":{"value":{"amount":"+0.9367595314979552","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":"Q4933276$0EA545D0-4D7B-44BD-9435-7B5570549360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4044acc3f9d01cfbfb914999dee2855fcf55dff5","datavalue":{"value":{"entity-type":"item","numeric-id":5385994,"id":"Q5385994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08eda6deeabd8d604b4de6b6d2dde542d93cc0f","datavalue":{"value":{"amount":"+0.9201327562332152","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":"Q4933276$85133375-E2E3-46B4-9827-576CCB2DD236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067a84845aa7d12ffb226174ea160a5669fa824b","datavalue":{"value":{"entity-type":"item","numeric-id":5505586,"id":"Q5505586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ed3865ba0af3cdcdfc6a19bd5776c8e54d6d10","datavalue":{"value":{"amount":"+0.8690409660339355","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":"Q4933276$D45FA068-EC2D-4867-8A24-F436BDAC5E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aece81f3b6dc7a3878ad3fa68414954b3fc66b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3525002,"id":"Q3525002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb03f79dbbd7f1d48e3f8e4b7f3ab4d971d13373","datavalue":{"value":{"amount":"+0.8636730909347534","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":"Q4933276$597B75FD-F48A-413B-9157-FD3295DEDCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b061f61586de308da6163657eeab207674a4f763","datavalue":{"value":{"entity-type":"item","numeric-id":2867962,"id":"Q2867962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713f7f149c5931eb4e001f48e038f4a8e52617dc","datavalue":{"value":{"amount":"+0.861603856086731","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":"Q4933276$6E6B4972-3E18-41C6-AA30-FD0641FD13E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933276"}}}}}