{"entities":{"Q2964460":{"pageid":2975185,"ns":120,"title":"Item:Q2964460","lastrevid":79828379,"modified":"2026-05-06T14:48:06Z","type":"item","id":"Q2964460","labels":{"en":{"language":"en","value":"Adapting real quantifier elimination methods for conflict set computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688813"}},"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":"Q2964460$414C1183-0B6B-4770-9595-C0914991A2F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ab5e192865d20b2a622693f1a66533fc8ba7a01","datavalue":{"value":{"text":"Adapting Real Quantifier Elimination Methods for Conflict Set Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964460$78F66C4B-9713-43C9-8937-A07674AE9E5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7557ebe52cb52c644c981ba2a5f6ad07a138e40","datavalue":{"value":"1471.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$FD72036C-DFCD-4556-9D75-39C6649F521F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58420d9e990a4fc98e7eb6d8d3fe227a25fb114b","datavalue":{"value":"10.1007/978-3-319-24246-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$D067108E-237D-4F14-A6E8-18A664267672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0476ccfb196d01907de39d52e625165ff61c5f12","datavalue":{"value":{"entity-type":"item","numeric-id":504410,"id":"Q504410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$66617A89-4400-448A-88C5-B7890022DD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"347e6eefa1b12063475797205d177ddaef9d766e","datavalue":{"value":{"entity-type":"item","numeric-id":2964459,"id":"Q2964459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$C7E58F1C-4190-42AA-AE1A-5E26760D956D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$2E6B3A0D-A891-41BB-85B4-80680C6EE865","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$1D4207DB-06C3-46B1-8640-A409262032E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964460$FD5F4E70-E823-4DF0-AC69-77FA413CB4F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"046e127123dfb0029eceb9515eb5a3fe582c60db","datavalue":{"value":"https://arxiv.org/abs/1511.01123","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964460$0A863A23-FF99-4EF6-A3AC-EE18277DA243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$4DDA9877-AA75-4463-B04A-B8EB76ACD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$3ED83231-900D-41B1-ADD0-DB85DB7AFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$412285E8-EFAA-4069-BD19-7574148549AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82e4f603e93bcca8b6aa827e6b9b7bdc9d2b7039","datavalue":{"value":"6688813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$82649195-6D05-4788-A348-CB5B9241DED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964460$B26C0CFF-ABFD-43F4-81CE-632EB6464CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964460$6BA9B41D-63A3-4E9D-8AF4-AD7C4A99B32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964460$D1A40EFB-E85D-495A-8C44-4C409393ED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0fdfad23b05e35870737583d90241f6389dd5d","datavalue":{"value":"virtual substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964460$9BBE4011-9833-422E-A635-1E22F8C371FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751b3505be94784e85b245ca99bf9c3aabad056f","datavalue":{"value":"conflict set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964460$A95FC301-417F-4EA5-BFA4-5E88A3457B83","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":"Q2964460$16964836-20B4-4F5E-864D-62037F74AFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$79897D44-E4C1-48DA-B21E-295183AD381B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$9A8B0442-FDBF-45B7-B8EA-7DA8CC1450B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f22790b7d685d2c32362b8971015fd7b35add539","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$80195874-9EEF-4FA2-BC94-785053E3BD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$9E376989-D46C-43C8-87C6-DF3A11651666","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":"Q2964460$5DAE06D5-28CF-4754-B136-99FE7137C7BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3042942ebb35568e92bd8056777bd25a814f050f","datavalue":{"value":"W2232115856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964460$BCA1398E-04C8-4618-83CD-9BAB0B45A760","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d9376dcde2cb1f6f6bea74a81bb12540e39719","datavalue":{"value":{"entity-type":"item","numeric-id":2642981,"id":"Q2642981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$5282FE6C-B077-4085-A256-A649BBBE911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$4CB5E6AD-2FA8-4064-99CD-CA71BCC973F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$729F6B0F-D53E-4A38-B8D6-54D83B5C195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e39f55763a7bd4074bcf4677c61231c9740466c","datavalue":{"value":{"entity-type":"item","numeric-id":2343239,"id":"Q2343239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$B1A98B11-FBE1-45AC-9699-52DCE73CDBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeced255ac02b681c5f8327daccc0f699256f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$A90C5FE2-D35A-414D-960D-F9A116553A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$DF3F5DDB-9DBB-4635-B337-8BDA3E6BB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$9374E28A-FBF9-41F0-8252-32E8CF2ADD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$E5178C3B-B9BB-48C5-A150-7E38C0E68F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e7acf33fc56584eec290f233b3365c67ac82d","datavalue":{"value":{"entity-type":"item","numeric-id":436376,"id":"Q436376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$530096CD-BF46-401D-BC30-23FFE9528D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$5646D253-DAD3-49BC-A959-4E509D8051E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b4fb149d65ccc6cbdebe305cc6df78b50fe79","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$A5679793-EF0B-4BF9-BD5B-FDD78E613BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$4A91342E-9E69-4FA1-8200-8B52F75AFD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$3B0D549A-6054-4FE6-B00C-AA1F57A951DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$1ACC170C-94F7-45B8-8C18-17333F51A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82cc075c4cfdbea67c09acd82fce702a69b4697b","datavalue":{"value":{"entity-type":"item","numeric-id":4391232,"id":"Q4391232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$FA3CE157-E298-4164-A3BB-47271B62D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$9D91C3C0-9DE7-4907-B988-877C4E684415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aad725a38a91dce8d1e5ffa3046d8f060b52b68","datavalue":{"value":{"entity-type":"item","numeric-id":4234321,"id":"Q4234321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964460$6C9AF66A-DBE1-4AE3-8F34-B0026464932A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e8ac961df53c07a35955dfe311e74a655ed5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1688538,"id":"Q1688538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff74fa2e10bd814c2f723f353c37e25019760f50","datavalue":{"value":{"amount":"+0.7472890019416809","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":"Q2964460$7439BA96-FF0E-402F-BF8C-D58E018DAAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763fb43e406e4323d20c6f39aa5aa032f7c394c8","datavalue":{"value":{"entity-type":"item","numeric-id":2307621,"id":"Q2307621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d9a2e1581d91ecd7aab5bff3c48d0442a9ad0d","datavalue":{"value":{"amount":"+0.740608274936676","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":"Q2964460$C6F6A161-AEBA-4F4B-B03D-AD3712B468FE","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":"58aa46c1af3bdb0e401317ec3b3892ea4c8fd868","datavalue":{"value":{"amount":"+0.7388986349105835","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":"Q2964460$9AABB9FB-F694-49EC-8E98-B78BCC71C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9d53c4c554c890704cbbf0ca9e765ced73431f","datavalue":{"value":{"amount":"+0.7358337044715881","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":"Q2964460$D47AB9B7-781D-4877-81C1-E772847864C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf8e8ff115a1e178bfbd53bd41c01a5bbf96b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1701667,"id":"Q1701667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36aed728ccc64d4157e3e4f63be3d560f97ceece","datavalue":{"value":{"amount":"+0.7323879599571228","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":"Q2964460$7EE8D2C7-2E6E-496D-944B-22803CEC2D2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adapting real quantifier elimination methods for conflict set computation","badges":[]}}}}}