{"entities":{"Q2949703":{"pageid":2960423,"ns":120,"title":"Item:Q2949703","lastrevid":52357172,"modified":"2026-01-22T10:58:31Z","type":"item","id":"Q2949703","labels":{"en":{"language":"en","value":"Extending the 2D dependency pair framework for conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6488533"}},"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":"Q2949703$44D4E74D-38D6-437E-ABBA-08382A460E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba0b65f18646252680c33a12e0600e28d67b8090","datavalue":{"value":{"text":"Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949703$5839F795-A4EC-47A6-BAC4-C29AF5EC3C56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"832fa6c1c8760fd70dad2a84c8de3395fd309c02","datavalue":{"value":"1457.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949703$740FEDAE-3DF2-491B-A33B-E82A9430CE70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2915aec5cff5270909e05147cbb22951f8e934aa","datavalue":{"value":"10.1007/978-3-319-17822-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949703$12853716-00DF-49D4-A700-5C5C9FB6EDEA","rank":"normal"}],"P16":[{"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":"Q2949703$16586543-6E4C-4602-A867-2B2CF4127D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949703$39D83581-2333-45E4-B93C-8FB6EA81A6BC","rank":"normal"},{"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":"Q2949703$75156372-651D-4D39-85A6-6302DA5D8A83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949703$310DD122-EA16-4ADC-A1D5-37AF77CADFE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37551377838a2209a6b3220ccbcf1fb6b1cdede9","datavalue":{"value":{"time":"+2015-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949703$BD2CF778-D514-4907-8AA6-E1CB11C7DB7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949703$EDE9E055-EA51-4794-9E4F-5726EC5B2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949703$866A56BE-E74C-4837-A15E-DE70CAD783AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"411f90db11831cfcc155ecfaf73697106ea65d56","datavalue":{"value":"6488533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949703$912146F6-1EE6-4BFF-9DF2-AAA750C7165E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949703$BFCF7E66-84EA-48FF-9D1E-02B80F9838A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949703$75D6A70A-4B12-471B-AFCE-EE8AF99295B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949703$76B85D43-F72A-4716-9589-D4C71E64BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949703$987D3E44-1895-486D-809C-8892B315DCAD","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":"Q2949703$C497FE68-A892-4A65-85DF-E0FB373A336F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d58993da66626a486b4c742f161ae9310876f868","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17822-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949703$FE2B89CD-3983-4E43-AC11-C794B080B69D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6700e468c689d19d13dbc5f78d0e181c71c4fac3","datavalue":{"value":"W799904898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949703$BC85EFA7-093D-44EB-848D-82FD07DF3897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ceef00c831236f957e51cc9b7efc86ecdff69db","datavalue":{"value":{"entity-type":"item","numeric-id":1635507,"id":"Q1635507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ae5ef0d0060bbf5b2a7ad5ac690f23a406924a","datavalue":{"value":{"amount":"+0.9415032863616944","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":"Q2949703$E18FA60E-C0C5-47D5-9F46-8455BD58C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b98283bb3a708a8fb06d1f72d6a661759538165","datavalue":{"value":{"entity-type":"item","numeric-id":2945138,"id":"Q2945138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d56f816f9e672f907226612889893bfe254301","datavalue":{"value":{"amount":"+0.9090880155563354","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":"Q2949703$F13FDCE9-3F4E-4491-924E-C23A92514D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612e91b26a7a3e8fd0d27f37c668f6f27ebc01d3","datavalue":{"value":{"entity-type":"item","numeric-id":2228436,"id":"Q2228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afc6e76d01e36e9b99490297688da7320bc2ee3","datavalue":{"value":{"amount":"+0.8704021573066711","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":"Q2949703$BA82EBDB-4AAE-4854-92CC-4A31DD081716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7667881ab6622c04be5a567e18ece6e1fa37b","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b263e4313207e7332bfd21f873ddcb2c9c780df5","datavalue":{"value":{"amount":"+0.8702651858329773","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":"Q2949703$27D3FEEE-E8CE-4740-B4DF-44D39262BC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4730717ff3ff20e26d4ff0917d36421422c17d","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d987082cd0c0294f30c7fa2d9a47d458e62ee0e6","datavalue":{"value":{"amount":"+0.8122140169143677","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":"Q2949703$D120E0E4-7131-4CE6-8C44-38652DF4B9B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2949703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2949703"}}}}}