{"entities":{"Q2879136":{"pageid":2889856,"ns":120,"title":"Item:Q2879136","lastrevid":52085054,"modified":"2026-01-20T22:02:29Z","type":"item","id":"Q2879136","labels":{"en":{"language":"en","value":"Real quantifier elimination in the RegularChains library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341325"}},"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":"Q2879136$09D0C36C-28F5-4984-9653-91E7C5A802C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"392d70ffcad460bbd22c25a6f74493c8e61b27eb","datavalue":{"value":{"text":"Real Quantifier Elimination in the RegularChains Library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879136$5F93E117-62F6-49DC-8F35-949B9EF11EDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"318b87f2781490b1023554c6fe2bb32964a3fd77","datavalue":{"value":"1437.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$2BD54EC0-99EA-4AAA-9D15-F2B72A32E963","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fadcb2bf03ba9699b8f7785cd8668a237f69aeeb","datavalue":{"value":"10.1007/978-3-662-44199-2_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$53F141B1-974E-45CC-BA4A-A6FFE61CF483","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":"Q2879136$255D7D7C-82E8-4EAD-A052-E7CD0CB5F299","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":"Q2879136$1A673EB4-EAB9-46E2-9BD7-1B58A5F9BC4E","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":"Q2879136$75FA6782-36B8-4842-AA62-B74642E360B8","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":"Q2879136$F4E0A050-17DF-4995-A8A5-8C1C3D539126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$D229234A-5053-474A-9576-959B23837B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"efb809c7138464a470e21fc4cb0dbe615f42f348","datavalue":{"value":"14Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$8F835042-EB15-4C28-97C1-C8A328E45ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$244BC9F2-DE1B-428E-9769-4EDE81C4A52B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"336038f9f697aa765662593a3fe6c86c531962ac","datavalue":{"value":"6341325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$A02FCE8F-B8AE-40BA-99AC-7C178DD4EF51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879136$54DC4CA4-2D3C-4F6B-BD33-56496BDB932E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879136$4262765E-8482-46A4-A72D-51F5E2B9924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8358b2df85a4ffd0e6967e70986501310f0ae","datavalue":{"value":"triangular decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879136$69148BBA-A573-43AD-BB08-D125D27A3E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ac42ac079d7b39a9fa525e06ce7c50d44d23ab","datavalue":{"value":"RegularChains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879136$6E3B3C05-0608-4A9C-91CD-70D85E821CB6","rank":"normal"}],"P1463":[{"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":"Q2879136$22FDEE8D-5E80-487F-9A1D-4A1B01F5A5E0","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":"Q2879136$45D82100-1114-4E40-B372-63788FBA63EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6209dd751070500047d8d3159905debb43f322b","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879136$8191EFA5-DBBC-4F33-AC1A-4132CF7CF105","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa54fee21253a195b9ffd5a8f930ff549978ca8","datavalue":{"value":"W578769015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879136$AD176FA8-31E8-4A38-BED0-1EF4F6C7DD2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1754944585052517f4b79f940a35c1ca372c0c42","datavalue":{"value":{"entity-type":"item","numeric-id":5899515,"id":"Q5899515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc20d80b86eca4e7c56f382c7215ba8892a633b1","datavalue":{"value":{"amount":"+0.8595086336135864","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":"Q2879136$48956F6D-B0B4-4356-8BE0-73A3B461EF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a59dacd297997f998a64afe74d93898c972a6c","datavalue":{"value":{"entity-type":"item","numeric-id":5925208,"id":"Q5925208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72d5efee653d38cd113203d046b50ebf4822252","datavalue":{"value":{"amount":"+0.858628511428833","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":"Q2879136$C2C5832F-CE0B-4BD0-A38F-EB422B4D8DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1a05c808bf466dd00f66d61cf3d32549744757","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56414787a1018e8334efc3315bad511df8546e58","datavalue":{"value":{"amount":"+0.8475021123886108","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":"Q2879136$B43D6B0E-5735-4E91-9E4D-E7F05A9E1606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8093a7e2ed8b47b62195846e4a1407eb5c8ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f137f5305669c8e07e50751d9fbf3219ee2c475a","datavalue":{"value":{"amount":"+0.8437982201576233","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":"Q2879136$7215ABB2-AC35-4758-904D-9AA1F2F3DB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7519438f0e3c3998c3a64753bfaaf76a82b692","datavalue":{"value":{"amount":"+0.8269388675689697","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":"Q2879136$E1693D1B-5438-4BBE-8A5E-03F4A13CD9EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879136"}}}}}