{"entities":{"Q1186711":{"pageid":1197460,"ns":120,"title":"Item:Q1186711","lastrevid":66799878,"modified":"2026-04-12T12:56:39Z","type":"item","id":"Q1186711","labels":{"en":{"language":"en","value":"Partial cylindrical algebraic decomposition for quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37004"}},"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":"Q1186711$E04A74AC-37EB-48EC-AEE6-9360F18766D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21117b7a33f6a3c47f61d5196b10af37c3adb782","datavalue":{"value":{"text":"Partial cylindrical algebraic decomposition for quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186711$E1084FA9-F5C6-4435-9420-E47C0FF1D296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39b1fe7654ffd0771afd71ce94c58cb1b602d925","datavalue":{"value":"0754.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186711$3EE88204-708E-42FD-95EC-6BE813CE142C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87fe32e057e43e9ffc20566eafc5e324670239a0","datavalue":{"value":"10.1016/S0747-7171(08)80152-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186711$A37C46EB-925D-4675-B279-B2F2F28BD917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee8aeeee6a72176125b125688231e8ed3263f5e0","datavalue":{"value":{"entity-type":"item","numeric-id":219543,"id":"Q219543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$B79B35B9-F5E4-46FE-829D-00074CAA6711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8940a924cc70434cc44db4ccfd35fe33b3c08aaf","datavalue":{"value":{"entity-type":"item","numeric-id":171462,"id":"Q171462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$3119BCCD-665D-4BE0-B941-CBAF44953D76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$AA32FDB4-1309-4493-B59A-7F890F38CF1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186711$73432FF2-C3FA-461E-B535-C614EE5FEF35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186711$E2EA4979-5A58-418F-AD07-08F707623AE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb934d71abaf1a21519cad1938abce7c847931d","datavalue":{"value":"37004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186711$75AC8FA4-B539-4EEB-86ED-FAF625662610","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9548e8b8ec5c14e384b325a7bfec0563a549b186","datavalue":{"value":"Cylindrical Algebraic Decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186711$34F93A26-F6F9-4428-AEF4-631425DF1324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186711$CB36A15B-8930-439D-A756-BDA30495E1E7","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":"Q1186711$CDAD54C7-905B-47D1-934A-452E494BB5DF","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":"Q1186711$C336291D-BF69-4604-9D01-897E1187724B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3353252c66332b85832864188b9c822f70cde441","datavalue":{"value":{"entity-type":"item","numeric-id":1105372,"id":"Q1105372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$07771286-03DD-4A75-84E7-A4ACAAADFCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$3F1C9CE3-6922-40DB-9FE8-8A5AD4C2F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee424f0cac0dfc291816147957449d684452d75","datavalue":{"value":{"entity-type":"item","numeric-id":1102744,"id":"Q1102744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$A8221213-2EA3-4CC1-A047-F2918635C3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$9DB067B8-4D99-4D87-AFB0-99BEEB431FED","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":"Q1186711$80A33F62-F4D8-47CF-AA51-800FFE3B6D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c433cbc0bb084950ec8a2870c1d6dfbdbf28c5","datavalue":{"value":{"entity-type":"item","numeric-id":3697106,"id":"Q3697106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$E02EBF90-965C-4FB5-AB40-073F956DEC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c59e09bb020d03d7c99ef70a67a6029b9fe7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4391223,"id":"Q4391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$465A8BBE-F4EC-4A3A-A7BA-5F78306D866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6b76d55903ab886ab0f97b1acd3a1583f68b27","datavalue":{"value":{"entity-type":"item","numeric-id":3140554,"id":"Q3140554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186711$964A49A5-6D47-4929-B8DC-75E1521E139B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38ec6b7b463fdc565ea2083e9e5c74910e067704","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(08)80152-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186711$3AD29C40-574A-4AF8-B179-7FFBC5C7E645","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85e6725e929d816320dd313d637aecc50eee6718","datavalue":{"value":"W2007074311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186711$2D11AAB7-1253-4638-9D46-A20C59EA8F8E","rank":"normal"}],"P1643":[{"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":"832f6fa8c8c73774c57df70a7b8f473087f36982","datavalue":{"value":{"amount":"+0.8871353268623352","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":"Q1186711$02E43E15-21E2-4850-9272-3E99195BA8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8566d2bbe734e0acda28c0b0024c7051d0c099de","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d3a61b733bb8b082f7ba80c69d29c090095053","datavalue":{"value":{"amount":"+0.8853103518486023","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":"Q1186711$7CD413EA-A4BF-4A22-BA63-5377C1A405C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004dff7e6556c36d6ac3e919cf37873b9b94adf","datavalue":{"value":{"entity-type":"item","numeric-id":5938543,"id":"Q5938543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c02cbbbd8456271699621daf45f9af8c494e176","datavalue":{"value":{"amount":"+0.8731817603111267","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":"Q1186711$2EF46AEE-3B07-44B9-A0DF-D17D962BB55F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial cylindrical algebraic decomposition for quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_cylindrical_algebraic_decomposition_for_quantifier_elimination"}}}}}