{"entities":{"Q2879160":{"pageid":2889880,"ns":120,"title":"Item:Q2879160","lastrevid":58056948,"modified":"2026-04-03T15:28:17Z","type":"item","id":"Q2879160","labels":{"en":{"language":"en","value":"Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341349"}},"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":"Q2879160$63F2230D-D1DE-4D8A-91A6-4D8259A7E13A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14bebdbab940808a5a099ea15fbe5593c1c1acdd","datavalue":{"value":{"text":"Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879160$6074CDBB-0596-4D4D-8900-97E0269F2C7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7739bb7ca3f7239bdff25343532730b25ce9eba","datavalue":{"value":"1350.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$50F42FEC-4E1A-476F-90FA-D292E85B1B7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5ff81875d0b902a634c97eaf1e7f46a23db1571","datavalue":{"value":"10.1007/978-3-662-44199-2_68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$DD8F1FFF-F330-4EC5-811C-F38AF1B7106A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abdd09be1ba8c89002f4d0e9d2a1eeb7b1f0b03","datavalue":{"value":{"entity-type":"item","numeric-id":247221,"id":"Q247221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879160$C5E16652-56B7-4088-AA42-60F37A82A7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"216606854761863ffc71f0942525e64754858561","datavalue":{"value":{"entity-type":"item","numeric-id":944996,"id":"Q944996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879160$586BD04C-E2AB-41F7-84E3-45A56D4D77B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879160$D5590DB1-329E-42AB-8CAC-F7ECC7DF307F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b0df88c2850d305b9b4dc433af13eca76199d40","datavalue":{"value":{"entity-type":"item","numeric-id":1636263,"id":"Q1636263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879160$98BD4177-108C-4B5F-86D5-4BF1C937B21D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879160$73128EAA-8149-44D1-A0C7-A09D1CEEEB27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879160$8E6D9B5A-0941-4B38-BB13-BC14353E48CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92b5c00c35ecd141658426355a39704e94ad1d06","datavalue":{"value":"https://arxiv.org/abs/1405.6094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879160$C19DEDE8-864A-4AC9-AB15-4B4123A1968B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$8B700D9E-DAE1-407C-96F2-42AFE6FAC58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$955FDF1A-522F-492C-BBA6-896378672F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$15B533DF-B66D-45BF-81B3-B953686D40EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$66E9CD98-B618-419F-A8B5-6E644FE3E84A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da320345b144baabfe34e0681365b19d8dfcadb5","datavalue":{"value":"6341349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$C186D2A8-CE94-491E-82C2-69980454E59A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c36e7cfb9f043ce7c2ade8920d20e0de55213e4","datavalue":{"value":"Q59590577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$E0ECDC91-E583-424B-A6C0-1325C1972EBF","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":"Q2879160$92F59835-58AA-4CE7-8A14-AFC78B1F202C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fb290cbd3c200c49a5ce90c531a7a790e75b8ad","datavalue":{"value":"W1560494575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$044AE660-0B7C-43A2-9AA8-684040D1C2B7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2a422066617a0d6511329385f974d9751d41d7dc","datavalue":{"value":"conf/icms/EnglandBDW14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879160$3E3BB329-8F29-4A61-AC87-3825B7ADC208","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225620e39fd9fc8e81e150e4800768481366bc10","datavalue":{"value":{"entity-type":"item","numeric-id":5495913,"id":"Q5495913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d735417d00e001835e156f169258cc1eace3cc","datavalue":{"value":{"amount":"+0.8996568322181702","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":"Q2879160$F06C94B3-D7F0-4BA6-AC6F-8DDB8ACE83BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41df513bc41182b7986fc5f15ed468c1bd5df42","datavalue":{"value":{"entity-type":"item","numeric-id":2109991,"id":"Q2109991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b5a235b5387149d99d771020149c5cd9143bd8","datavalue":{"value":{"amount":"+0.8682457208633423","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":"Q2879160$10FFFE29-9F30-4257-843A-1EB03734FD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708313fc0d0b3a4c1a8000841171c69f50a84bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2843003,"id":"Q2843003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9cb0d597b7c629109f8fe0917ae4dca84b23ab4","datavalue":{"value":{"amount":"+0.8420814871788025","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":"Q2879160$1626ECC7-C768-4F2D-BE14-B8F099AE10C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e9b5a2d1f48d1ea2be0ac5ee927d89a7cdf99","datavalue":{"value":{"entity-type":"item","numeric-id":2879312,"id":"Q2879312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709c6d61f9fcf73d3752e55589d5e420411619ba","datavalue":{"value":{"amount":"+0.834629476070404","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":"Q2879160$ED1907F0-A987-4131-BE9F-3DC87862FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adad7404264022d3f4dfa03cd905bbc62e814706","datavalue":{"value":{"entity-type":"item","numeric-id":4984748,"id":"Q4984748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae034336bfe50670c8860533a4338dcd9a9ef46","datavalue":{"value":{"amount":"+0.8301498293876648","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":"Q2879160$46BACD14-E8D5-44BB-B4B2-7FD2F10AB4D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879160"}}}}}