{"entities":{"Q2879312":{"pageid":2890032,"ns":120,"title":"Item:Q2879312","lastrevid":58039686,"modified":"2026-04-03T13:48:25Z","type":"item","id":"Q2879312","labels":{"en":{"language":"en","value":"Truth table invariant cylindrical algebraic decomposition by regular chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341543"}},"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":"Q2879312$F0613A4E-FC5F-480A-B43B-42E8531EE7B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df61efc98d1a80f547dd4dc855e0f9055c6331e0","datavalue":{"value":{"text":"Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879312$B11BABAC-6D84-4EB5-8938-2968EEE13B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14e6bea6367094823b5ca57fc1e2f46b35671f15","datavalue":{"value":"1350.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$B0A81579-D066-4F44-B4E8-DE36D0DE0742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"117f38c8fce839be9f7c264675995748ebb0ba96","datavalue":{"value":"10.1007/978-3-319-10515-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$071579EC-E3DE-4805-81DC-5D66711E6804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879312$68D22CE9-F752-430A-A461-346C0F401B75","rank":"normal"},{"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":"Q2879312$9578E19F-1301-4DFD-A5A7-F5496AA964DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879312$47EED227-7B41-41AA-B0AD-7D6169EA650E","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":"Q2879312$0C9298C0-19EA-43BD-8C86-B52BE86ECD94","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":"Q2879312$D58331E8-11A5-4777-A4AC-94CAD3B6B525","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":"Q2879312$E81FF736-3415-4123-98B4-8B1A99BD7DD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879312$CE1A251E-A74F-481A-8173-CD40B5DCB394","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":"Q2879312$9CEDC217-62E8-4785-BB59-5956D06E84F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c178aebc3e9fc6d58b225f03adf345cedee46b2","datavalue":{"value":"https://arxiv.org/abs/1401.6310","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879312$1DFFBC31-146D-46C5-9D1A-0DF71FD1B8AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$DCBEDF2F-2042-4A44-A550-64ACC1DFE0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$B9CC4A25-E91C-49F2-BA55-2013150CC092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$B5E5DB3D-F770-4450-B970-FAB672812944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2502e63ff33429c1131db2c3e9a039834d8a0730","datavalue":{"value":"6341543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$8488D215-B003-4230-95EC-A0088275B0F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879312$00554465-E230-43AE-9B03-CF0EDADCECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1999ab392fc1875458c1494b0fa2b06c2e0d3e44","datavalue":{"value":"equational constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879312$25749D5E-359E-49F0-9C22-A83B351C6409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d5ae3472d1ba794d723147541f877deb856974","datavalue":{"value":"regular chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879312$B16C0F57-FC88-4E89-BFA8-EED0F423DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8358b2df85a4ffd0e6967e70986501310f0ae","datavalue":{"value":"triangular decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879312$F61756EA-5522-4C50-94FC-FC8B3BD230BA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aedbd4724774ad6340af5b772df076b95600088b","datavalue":{"value":"Q59590581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$A064EC0D-C2F2-44E8-89B3-179BCCF53B7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879312$DA9BEC02-4BEB-464A-93D3-E0DE3BB2D828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879312$EF3B8272-964A-479E-A253-94D8E2954671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879312$BD7BF503-6B5E-48E1-A3CD-FB481748B0DC","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":"Q2879312$B541269E-8964-4E9D-B12B-26E5A7E61FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b56a5b1ca1e2f417d87e65e522cf4a18bd6a5a3e","datavalue":{"value":"W1485955744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$17C5CDB7-15E4-41EC-BED0-7DED5B0EDA9E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a50c0698cd16900d2e695cb0d4daba42e4cf3329","datavalue":{"value":"conf/casc/BradfordCDEMW14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879312$C1F5CC40-3D09-46E8-8064-3186E119171F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cdae0f14036e3f78d393442380285918b3f16e","datavalue":{"value":{"entity-type":"item","numeric-id":5963392,"id":"Q5963392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6655c09924beaec5728549ee2dca31a0aab25bf","datavalue":{"value":{"amount":"+0.8995617628097534","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":"Q2879312$F638BF4E-FF6A-4EEE-ABB4-8156E5D9C31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df62384ff39104ab36c6e931315d4378c140267","datavalue":{"value":{"entity-type":"item","numeric-id":2963225,"id":"Q2963225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe65e6b9581811daded407e94cc66a8849e24075","datavalue":{"value":{"amount":"+0.8701596856117249","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":"Q2879312$C64DE050-AB8A-48F8-B49A-CA9CEB1C3E56","rank":"normal"},{"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":"a1792807ee81c0f001a45bd822313ad0d8a20f72","datavalue":{"value":{"amount":"+0.8615937232971191","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":"Q2879312$97DA64EE-AF00-4836-9990-6627D37D3DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463a6ed47d5fed7ed6bda37294664a46bce1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":2879160,"id":"Q2879160"},"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":"Q2879312$496D73BA-F777-4DF5-8085-7635865D1F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11c85a4e06de2c02af7796d7ab2932b2eb5a57","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2311ffc8cc46117b5a36171a2493fab800e29d4","datavalue":{"value":{"amount":"+0.817883312702179","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":"Q2879312$2B8C0293-24D6-45E2-B237-B71D1A54F87E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879312"}}}}}