{"entities":{"Q3454089":{"pageid":5233489,"ns":120,"title":"Item:Q3454089","lastrevid":52405925,"modified":"2026-01-22T14:06:09Z","type":"item","id":"Q3454089","labels":{"en":{"language":"en","value":"Encoding dependency pair techniques and control strategies for maximal completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515504"}},"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":"Q3454089$5618C4B0-598C-4546-840F-7997FE043855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36de791b31aa223602d69f8363e7849fe7fbdefa","datavalue":{"value":{"text":"Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454089$22BFDE25-A3A9-46CC-BABE-CA66F5CC54B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7452e39d1138d031c1d27bddb254a99ba172ff32","datavalue":{"value":"1465.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454089$267AFA87-DB2C-4AB6-8147-7C3977738477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a81c67bdff72c3a10e05e8352eb84b34e446eb3c","datavalue":{"value":"10.1007/978-3-319-21401-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454089$FF7C1687-6555-4807-9357-25651427230B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faea45bf976617b2112d97345f6e78f1f0185a6f","datavalue":{"value":{"entity-type":"item","numeric-id":352954,"id":"Q352954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$F2FE538D-19C0-43D4-A821-BF19331C2905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$088C4C33-6A3B-45D2-A46F-D46F2057681D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$4D337717-7BDC-4621-ADB5-E0E662C20406","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-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":"Q3454089$6BF4D2C7-2065-4C7C-B033-5654CE4503CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454089$AF97F7F9-98CB-4A9F-8DA7-BD352972F1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454089$3672E306-9008-401A-BE9B-3E9C8E672699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f93a51d9b6e887dd50b7db7482c10567d4ecb26","datavalue":{"value":"6515504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454089$B9864C38-F02B-48ED-93D5-600C3C08D913","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454089$B2E0CFF9-13D3-41D6-A5A8-DB91B60AE3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454089$A0E8CF7A-A805-42AE-8E9D-C97677DAB2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454089$9CC784BE-9FA3-4CEA-8991-D2A2B3058B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454089$55E22F93-9A65-4440-9BE9-40CDC92B949F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e1f0e06d03e0da5d6effd626e3343adc638de34","datavalue":{"value":{"entity-type":"item","numeric-id":31286,"id":"Q31286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$57F86926-21C6-472A-9A24-019A5E1C5242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"494b99103b726cb47c99c8135159c2c7da286a71","datavalue":{"value":{"entity-type":"item","numeric-id":21993,"id":"Q21993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$80E08958-C73F-4F80-8F37-6503EF0FE270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c5e63746f1155fa9146a08988f7e26222436fba","datavalue":{"value":{"entity-type":"item","numeric-id":21994,"id":"Q21994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$EAF1E8FC-B774-40AC-8390-10CCBD42BFE0","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":"Q3454089$01D7662C-7BC0-45FC-A21F-6E7FE8F1009F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba6facbedc3931041ed67d221932df666005e9dd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454089$FDE1E386-4292-45C4-8D14-65D5F8F17156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce93c36e0f82360ec0e9221cebb733c3f989a0c3","datavalue":{"value":"W1411483300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454089$13ABC702-CA04-4999-AC67-09203A6EFB15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$DE12549D-C8F3-4F16-9777-543681030216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$FE0A54A3-1C52-41F1-91E4-E0165C09D84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cafbc2d85d46d1118f546505a693afaff05b05","datavalue":{"value":{"entity-type":"item","numeric-id":5389074,"id":"Q5389074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$7FCC69F6-FF26-467C-81F9-BB4A6CE84595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$19D23F43-A60D-4D30-A098-8D7D3C1748AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$E4B18764-D243-44E4-B787-84894CD5FE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899b3951cc1052f519270945fa364ec760c367c0","datavalue":{"value":{"entity-type":"item","numeric-id":2908523,"id":"Q2908523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$018A27BE-B5B3-4FCF-A758-7794A36FC3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe24a2911936f4f179df33097d128548548ad97","datavalue":{"value":{"entity-type":"item","numeric-id":844197,"id":"Q844197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$D9ED3CF8-2C88-424F-89EB-A32644D3957E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60759639915f213cf6f47415adfbdbc33f70fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3527302,"id":"Q3527302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$585B630A-7DF6-4772-81FA-011EC427E9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225ffa9eaedc07f47854bb203744bea12533ee06","datavalue":{"value":{"entity-type":"item","numeric-id":352956,"id":"Q352956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$6802DC3D-A7DD-4CE9-94D5-EEAB3623C165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315fdba4d6814f7d1aad814689d11cc07946b461","datavalue":{"value":{"entity-type":"item","numeric-id":5170837,"id":"Q5170837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$1C5BA71F-7F87-4FF6-A01F-ED41DD5D3D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025e7dc02d4e4f5dfb3bd0f5cf257682bb9b6bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5448809,"id":"Q5448809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$440BE881-F25A-438C-90D8-822FE6386B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77128970ef1ae7664b1eef0de5f0b57e43899ac","datavalue":{"value":{"entity-type":"item","numeric-id":846165,"id":"Q846165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454089$FBEB59A8-9F1E-4015-8B6C-FE8813DA5E5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7e31dfc96dae4472290cd410eb90b88d414413","datavalue":{"value":{"entity-type":"item","numeric-id":5389074,"id":"Q5389074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7da88fa251392ef9ab24ea866832a1bed7a2ae","datavalue":{"value":{"amount":"+0.775455117225647","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":"Q3454089$F9F01C88-7068-4BB7-9DB0-C463ED3680BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712dd645d08f09dfb4ce28f0ccb4aa64d6de9e00","datavalue":{"value":{"entity-type":"item","numeric-id":352956,"id":"Q352956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736bd624006760d7050c94dccbdc07283b3958f7","datavalue":{"value":{"amount":"+0.7353764176368713","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":"Q3454089$8C43A2CF-F799-4FC0-93D1-A75F065445A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ad19b87f30e28372a2bbee7a2ff253f0dc16fc","datavalue":{"value":{"entity-type":"item","numeric-id":3527302,"id":"Q3527302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060cfef53d13b68896ee8f1f3af56bf40d78477c","datavalue":{"value":{"amount":"+0.729785680770874","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":"Q3454089$389BED08-2D57-430B-9F36-2BE9D4718CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e328bc35de9b6329b7e24c6f9873aae4794dba","datavalue":{"value":{"entity-type":"item","numeric-id":3541711,"id":"Q3541711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08688923d1159fa5fb1d1312db7a09ad02927ed5","datavalue":{"value":{"amount":"+0.7285420894622803","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":"Q3454089$7437EFA4-CF4C-46CB-A9C9-B9090A1F77C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1c8784fa4f0a359093f719060d176faecd05b0","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5a24f5a6d4e11098ff7d2fa9d19afe56072d68","datavalue":{"value":{"amount":"+0.7186200618743896","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":"Q3454089$45B3EC84-C834-4F21-9CAD-448F89E78860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454089"}}}}}