{"entities":{"Q3525002":{"pageid":5554906,"ns":120,"title":"Item:Q3525002","lastrevid":50456648,"modified":"2026-01-14T02:37:14Z","type":"item","id":"Q3525002","labels":{"en":{"language":"en","value":"Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344247"}},"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":"Q3525002$1DD216EB-BEEF-4CDF-9849-1A3932B710DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ec88fdb5287906eb3d7729101e47a89facf9fc4","datavalue":{"value":{"text":"Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525002$4E651669-C55E-4FAA-909B-723B1CFC260C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2818b9384781752676c5ad92f445a70ff92e30d8","datavalue":{"value":"1148.68463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525002$30CEE892-A868-4AB1-BF6F-20FD8210CCFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4f955f303a69691bff58abbf29b5a2b8ac33a8e","datavalue":{"value":"10.1007/978-3-540-74621-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525002$8B66E5E7-E7DD-4E24-9DBD-49AAA0A55C18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bbe7fc73ae36d42296587e4644ebbe3b7b1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":989288,"id":"Q989288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525002$14E074A3-6A2F-4E50-804C-5D17D7EEB0C4","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":"Q3525002$67ABA92F-AEAD-4626-B943-4338822C839E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525002$0E3C9AFD-EA8B-4B8E-8B64-855E5A11A15C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525002$C0EF0CAF-F07C-47B6-BF91-FBD37839B184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525002$51865370-742B-44D3-8026-EB7A70E420FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525002$0DA1CA26-81DA-4CE7-8A35-5EC1A8D47966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"209787cde0a46a8658aceb9f8d6a05cc594e3b02","datavalue":{"value":"5344247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525002$D87029F1-70EC-42AC-B0AC-F6455FAA8256","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":"Q3525002$4F96704A-94F3-48ED-A0C9-E85564DD2D3F","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":"Q3525002$78599541-FAE6-4F46-B8B7-DE13034E41C1","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":"Q3525002$415D2B01-4500-42BA-8930-6C30E9C41896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de105170fe528c0ff9aadb3ab1932000e627e65b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525002$ABDFD385-67F0-4F14-A449-971E92D81CF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8883790792bde04c8f94bb5b77ded20762b01413","datavalue":{"value":"W1593859098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525002$1DD8C220-BF3C-4788-A27D-C494EB57C4DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9eb521e6c9322a030fb5d1d91b6b79aeab2cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2808236,"id":"Q2808236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2750d38461c76895c2a59c17d42dae4f6ec36c6d","datavalue":{"value":{"amount":"+0.8995018601417542","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":"Q3525002$34121612-3BF9-49BE-9BC4-EB94029A27D6","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":"844939cc9485d015d881e1b58ff34b5f4191b965","datavalue":{"value":{"amount":"+0.8745043873786926","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":"Q3525002$45EE109F-8DF4-4C5B-9BC5-BBE57461E6C7","rank":"normal"},{"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":"7b96ae7b6a4b1a7fad5103454d1eb883fdf5259c","datavalue":{"value":{"amount":"+0.8740073442459106","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":"Q3525002$E0A3A3D3-99FF-48D3-8C99-A1818921B466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19212de72591fe548066e57870061bb9cc748f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45439dcd8c2c1113e56402beff32a1a40074af4b","datavalue":{"value":{"amount":"+0.873852014541626","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":"Q3525002$64F6A416-207F-4F95-8677-D89CB9B7C3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cb8320e4ef940f052ecae277d263e4adaefa63","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249265c60098f0bc2ce86f7bb1054d7e827ee34d","datavalue":{"value":{"amount":"+0.8700789213180542","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":"Q3525002$0FE90F70-DBB8-4565-A50B-1031E59E586C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525002"}}}}}