{"entities":{"Q4933277":{"pageid":6962859,"ns":120,"title":"Item:Q4933277","lastrevid":51101699,"modified":"2026-01-16T16:30:47Z","type":"item","id":"Q4933277","labels":{"en":{"language":"en","value":"A dependency pair framework for \\(A \\vee C\\)-termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798870"}},"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":"Q4933277$28CB83C9-F745-492A-97A7-2406EBCEAB31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7984f975d2b25e8318ea6a723f6fd43caca79fa7","datavalue":{"value":{"text":"A Dependency Pair Framework for A\u2009\u2228\u2009C-Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933277$E7D3D05F-42F3-4068-9F2F-C5A0C69A1649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de14e9cede648a3da1aa73feedce6e2c72a092fc","datavalue":{"value":"1306.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933277$E112AE57-8A99-4B80-B013-933E7056E607","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c760d7b95db21415ca0fc00b360ffa0d1449f8","datavalue":{"value":"10.1007/978-3-642-16310-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933277$FDFD6B95-221B-48FD-B671-A9BE94DF89D6","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":"Q4933277$3625A8E2-7219-461B-AA97-C647E9F0106A","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":"Q4933277$D199F8DA-5785-416C-AB41-6D3567A32EA1","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":"Q4933277$900E518E-AE46-428E-AE0C-AC46CA3CEC05","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":"Q4933277$DB384097-9184-4E35-BC4E-4D909B3F0CB2","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":"Q4933277$464B29D3-2BA7-4B88-A725-10F50B4E9020","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933277$63458318-FE5D-403E-B1FA-5DD4E5A0EA5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f06ba14eddda3c44dbffd248f327ad072e95ec2c","datavalue":{"value":"5798870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933277$47C1C355-3AB2-4228-8071-39867B602C4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfd627145ce1a54d764595f41fb2e8e4d193d8a5","datavalue":{"value":"equational rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933277$262398BA-68AD-4568-9B93-B091B0CAB2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933277$8227CDD5-784F-4353-86B2-7CF777474A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933277$AACA9BC1-5895-4E57-B2ED-BA7DA1BA73AE","rank":"normal"}],"P1463":[{"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":"Q4933277$4F9E541D-3768-485D-A4CE-18B9DB039E41","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":"Q4933277$7CB5D7A9-6D0A-431B-8A85-0704887774A8","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":"Q4933277$8DFD3454-6740-4E01-ADC9-E4B98D477340","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85cbdceb64ce37d8291ddb3171af8d2d7d06ffb5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16310-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933277$33965D8B-88E4-4CAC-954F-5FCF71546DE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389e755a85c984a9565333abdb4f60163bc30044","datavalue":{"value":"W1862544530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933277$268BEAE7-E546-4E6E-85D2-57053BC395AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5cc6302cfc7877463b14bf30417e8f935652a7a","datavalue":{"value":{"entity-type":"item","numeric-id":5278394,"id":"Q5278394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b339295ac17cbeb41b61bd80d0dfa612bbf5b4","datavalue":{"value":{"amount":"+0.8534563183784485","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":"Q4933277$C7D43758-D9A9-4BFA-9CA1-1620C8CC64B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da05ed7d9ebc2fc80066bb8eda805a91e70e673a","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f70367c9111ab5f52a595d5b7a5c82bf9252a9","datavalue":{"value":{"amount":"+0.8458430171012878","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":"Q4933277$DA7372CB-DDCD-49D0-A43F-B43570E2626C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6603b7ba7a7e45c16b1305b0558b5513390636e5","datavalue":{"value":{"amount":"+0.8261034488677979","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":"Q4933277$A69AEFFD-1E5B-44A3-954E-CCC5FE0C6980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6995bd222ea4be7e01ece9805b8bffd3eec3bbe9","datavalue":{"value":{"amount":"+0.8035848140716553","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":"Q4933277$302A8E61-98BD-42C2-B124-A10EAE4765FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae19b017730ffd7f07aafc6ac8ae0012cb4910df","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6995bd222ea4be7e01ece9805b8bffd3eec3bbe9","datavalue":{"value":{"amount":"+0.8035848140716553","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":"Q4933277$FE8DF125-A0F7-49BF-95B4-E53AED401C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933277"}}}}}