{"entities":{"Q2945138":{"pageid":2955858,"ns":120,"title":"Item:Q2945138","lastrevid":85388027,"modified":"2026-06-03T07:43:05Z","type":"item","id":"Q2945138","labels":{"en":{"language":"en","value":"2D dependency pairs for proving operational termination of CTRSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479869"}},"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":"Q2945138$34504AC3-D20C-4175-893A-85F7884F1EDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0a5e18c0d21873f8c96e25c140828d2e323ce3c","datavalue":{"value":{"text":"2D Dependency Pairs for Proving Operational Termination of CTRSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945138$62791B24-6CC8-4391-AF4D-2C46D7760127","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e78a7ce5e4f376145cf39e34ed8cebae350fc726","datavalue":{"value":"1367.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945138$D714A9BD-BEEE-4C95-A8D9-4F2B97A781EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e4a3665b8c7339ee4633c62311d80c537c11462","datavalue":{"value":"10.1007/978-3-319-12904-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945138$638C4408-2DA4-42A1-B768-D6309F8F5C77","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":"Q2945138$8AC372EF-8A18-4C19-99D1-1C254F532F95","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":"Q2945138$1390645D-D8A3-4FCF-9CEA-B22E150908BA","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":"Q2945138$6C7A9270-075D-44F4-9B58-91D9A89DA829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945138$1343FB1D-4F03-4E88-91C7-F690D391B5E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945138$6EE1FE83-858A-4ECC-B983-F28D4A5F3199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945138$C54BE83E-6CA9-4984-A360-E6D40C4CDFEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d03569a03f17093864751afbebdbb69cbbdae2b5","datavalue":{"value":"6479869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945138$63B5DD2E-1C57-4497-90B1-50F4464B424D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945138$E5F1E94C-ABC1-462F-AF49-D6FBC108B66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945138$C047E04C-DC6A-4F1B-84F5-77538C0EC899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945138$A1DB7F06-0421-45C0-8A77-0B30D4ACFC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945138$19FB5469-7B69-49D4-9A44-19EEFE0CB9CC","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":"Q2945138$2A6B0F72-F45D-4EE7-92C4-C12E23CD63B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb9889d30cb5be89296b42f9c5bb3971a2ce923a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12904-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945138$9C61A9EF-CEA7-42D2-8ED2-CCD833CC03C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008ed060da0e9592de78f0f365978dfd9e34348d","datavalue":{"value":"W123114693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945138$6CC7C934-FB3B-4EDB-9423-53B8F1F20FD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e5c8aa67dc7826dfd12250b78c5ae00dd6e36b","datavalue":{"value":{"entity-type":"item","numeric-id":2949703,"id":"Q2949703"},"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":"Q2945138$9A5CB684-584A-48ED-9590-24B7714ED91C","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":"7b9224f6e356e5662647e8649496f64b0b8ef0f4","datavalue":{"value":{"amount":"+0.8713098764419556","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":"Q2945138$5924BB1B-E027-4E49-996A-AB814C2C27E5","rank":"normal"},{"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":"06bec2a499e3afe9200bd075c3f39542b28f9126","datavalue":{"value":{"amount":"+0.8553854823112488","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":"Q2945138$F6BD380F-3528-411C-984B-9594F3E90C3E","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":"fd38d0edc261cdcac3eac739738d9f926924b840","datavalue":{"value":{"amount":"+0.8471083641052246","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":"Q2945138$37236418-26E3-4248-A108-29ADCCF5F3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5d626f383fca04f3ffaf8b1cca4a6c37a0867d","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbc0e4aa47083c840a9f40627d10d2707d093c3","datavalue":{"value":{"amount":"+0.8034085035324097","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":"Q2945138$EF107EDD-9BFF-476D-B65B-75BE8F89D541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"2D dependency pairs for proving operational termination of CTRSs","badges":[]}}}}}