{"entities":{"Q2871851":{"pageid":2882571,"ns":120,"title":"Item:Q2871851","lastrevid":79529987,"modified":"2026-05-06T14:07:46Z","type":"item","id":"Q2871851","labels":{"en":{"language":"en","value":"Comparing CSP and SAT solvers for polynomial constraints in termination provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244379"}},"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":"Q2871851$5A34DAFC-EBBA-4FF0-85DB-B7D45BEE9EA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00cc36f8f153644be8ed2354c8221ed9d1c34daa","datavalue":{"value":"1278.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871851$566CB245-D936-42D5-9AA2-853D534A079A","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":"Q2871851$814A66EF-C936-4DD0-94DE-E2340B36C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a1766d1bc37a94f1b3bc2e2577c39b702d3f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2871850,"id":"Q2871850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871851$59C805C8-E03F-421C-AE4B-2284F9B98455","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871851$5BAF1F3C-0FB1-4D34-9CF8-54A074CDA19E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fff2043c595cba7a5a3ba2c738fddb142725cec","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066108001813?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871851$ECD33253-E92E-4AFE-8E5D-8DDA3679F0F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871851$73DAE74D-2ACE-45E8-B3B3-76C596DD941A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871851$B0B79023-5DFD-4E7B-8131-1D26DA713436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871851$C84AA224-81E7-4025-B2B6-073FCD509CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871851$829B6A84-A247-4ED7-9C2F-CA2D5BD9DE8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df4e104024c9991d10be12214e41a4a9b0e83532","datavalue":{"value":"6244379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871851$A17FC748-18B7-4043-BFC6-B7224B400E0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"621527bcb2544743a612180377c0c8556ec5b01c","datavalue":{"value":"polynomial interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871851$31387F46-081F-4FEB-82E8-183B17CE4810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871851$6D06F124-65A1-4711-8632-39661A4AED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871851$388CDD72-16A5-4397-ABC5-60628D099384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871851$EA452724-AFF8-40BB-8724-69EDC532FB9A","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":"Q2871851$40DB7DD3-53C3-4EE9-8390-1BAEB3C462B7","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":"Q2871851$8F4343C8-3D23-4C96-B821-EA445D4D4E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd9ca2200bae2c06174432e81d71e9a0e297b33","datavalue":{"value":{"text":"Comparing CSP and SAT solvers for polynomial constraints in termination provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871851$4DDE4711-2DDE-4C8D-987B-203A28D21723","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326b087848ae01e2bca640403e3b0a3f1fb856a4","datavalue":{"value":{"entity-type":"item","numeric-id":5191109,"id":"Q5191109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e10e24236ce2c5757865ab9e8b6cdc8a9b55de","datavalue":{"value":{"amount":"+0.8334420323371887","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":"Q2871851$07C5C2E5-B2C7-4C31-A329-61A4697F8A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ab284ca282458f5ee0350d83f2498c8c16f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe6d71befe5dc6090b6a6483423940a88de0fe6","datavalue":{"value":{"amount":"+0.8024107217788696","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":"Q2871851$93A2F2F2-1BFE-4D35-AECF-ACD7A2CA0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3e37d254662258bf38cc4e684970c369ddbc9a","datavalue":{"value":{"entity-type":"item","numeric-id":5055810,"id":"Q5055810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b687b2ceccee9f725a6f1239f1b0330e0a3b297a","datavalue":{"value":{"amount":"+0.7880859971046448","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":"Q2871851$FD4BEB09-49D5-4DC5-B459-7C5D3310D9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62a517dc646a6a12654993a5c7535c9e5b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90595d21109d45cb64101fd93b70ea4b38c2b144","datavalue":{"value":{"amount":"+0.7816758155822754","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":"Q2871851$452F905E-9702-44C2-AD7D-6978319FAC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38e6aaa02a6dd15149691d75689b8dee0520308","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd00c93f18d6a267441ca6d2c9d180aa6dc8f205","datavalue":{"value":{"amount":"+0.7718721032142639","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":"Q2871851$4C5666ED-D7AB-4693-93E6-BB6302307695","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing CSP and SAT solvers for polynomial constraints in termination provers","badges":[]}}}}}