{"entities":{"Q384995":{"pageid":386762,"ns":120,"title":"Item:Q384995","lastrevid":61437801,"modified":"2026-04-10T23:22:29Z","type":"item","id":"Q384995","labels":{"en":{"language":"en","value":"An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234575"}},"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":"Q384995$8D531595-9CA9-4F19-A908-B39C82A7584F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04e31425e8a6f0b10e01dd594ed1cccbe47ae151","datavalue":{"value":{"text":"An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q384995$1A3F5902-3E5C-4051-9609-F1003E4F051F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92ea0fb87de10783d8b7150c58714e5c9b77707d","datavalue":{"value":"1291.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384995$DFE233C9-CE0D-4722-AB4D-FFB20EF4E8DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$8CAA0325-E413-4FB2-AB59-74C00663CDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75acfce3016e0c1a43620c3d710f83b33cf1c9de","datavalue":{"value":{"entity-type":"item","numeric-id":359902,"id":"Q359902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$0FDA447E-3A66-4DE2-9F94-11C6C7E07868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$8764144E-1FF0-4587-A50D-BE4310BFDD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4459dfa268f1b18664a26dc8be0da4dbe9383800","datavalue":{"value":{"entity-type":"item","numeric-id":384994,"id":"Q384994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$DB573BAE-8646-4783-AF33-DEE681F18C33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$4637E2E8-CCC8-4FAD-9FC8-605B5707AEDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5446951ef3b18cc54f2eecd6b1de1ff40852bd","datavalue":{"value":{"time":"+2013-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q384995$5FAE56F1-5A06-408E-97B6-46A35DF33FB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384995$9BD2B536-114F-49FC-AB05-104CB85FFD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384995$A16B7E93-5473-45CC-B4B9-189AB3113104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a3ed14e6786df9c9506537bfbe0830fe9bd3fcc","datavalue":{"value":"6234575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384995$B81FB1EB-0BBC-452B-8FE1-57CE4856B58F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q384995$FBC8364E-2692-4067-BE63-372F2B55857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q384995$FD070813-5911-4A33-AAB2-6EAFB680B6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcd8938d59fe19b5a598cee981297fa3f72fa29","datavalue":{"value":"symbolic-numeric computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q384995$86215632-D7A1-42A2-8442-C5CB5055FBEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7309d61f3c6ff659c918babd6f2f6b5470aad301","datavalue":{"value":{"entity-type":"item","numeric-id":13522,"id":"Q13522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$84C470FD-BBCC-4A70-8AD8-D7FE18FBE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"778524afc6003e474ce9dbc1e8b3237c72fd55e7","datavalue":{"value":{"entity-type":"item","numeric-id":20123,"id":"Q20123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$203EB8BC-2F69-4CD6-BDF6-1051A1ECDA54","rank":"normal"},{"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":"Q384995$04993578-B6EA-4208-BA3A-9400C5354F6A","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":"Q384995$E38F0E7A-5F4E-4357-AA76-E628B1D8DE65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3db88887feb32ceccec100027f36d483099ba95c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.10.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q384995$D00E6519-06A0-4582-8DB6-29613837115F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5296e66b67023ca9b138e307f074c2235d18a881","datavalue":{"value":"W2998597040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384995$C1A85BAD-5143-4FBF-B653-1F30F6AC0787","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$AD7573EF-31D2-46CA-9175-1077AAD2DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65d8b07751c7d93e7781afe3bec153300b362e7","datavalue":{"value":{"entity-type":"item","numeric-id":3454743,"id":"Q3454743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$72094662-AC6C-477D-916B-480F14633216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7e5151d0fc1ca64a555cb02fdb2c0495b3243e","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$EEB8486A-DBC5-4612-B976-ED6D8A3C2EE7","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":"Q384995$B0DEB169-24A4-475F-95BB-346A91717929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$2EEACA4C-4826-4178-B032-B832A07B5FB8","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":"Q384995$911991B7-4B43-4973-9BB3-08D5F3CB249C","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":"Q384995$43B7AEE6-3760-45D3-97D1-77836F73CF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8355b202bf9c3519523c6b18152787760be6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1864882,"id":"Q1864882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$EF3E367B-0695-4754-9173-D22E2E153765","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":"Q384995$72746443-6A2D-44D9-96D5-0B94D1D6A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd772b30c9a5b5fa0aac49837ad691a0fc63927","datavalue":{"value":{"entity-type":"item","numeric-id":2723294,"id":"Q2723294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$DF75AC5D-5332-4C49-9640-EFA300D43039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$E970FCF5-2CE2-456C-9469-AA461BCEF6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551b02d9f9c0403eea8e23054100305fa575daf","datavalue":{"value":{"entity-type":"item","numeric-id":1892121,"id":"Q1892121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$6E063C47-7DA5-4020-95EE-004DE3C7F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58dbe1debf7f9fd9a10b562db1830e539686ddc","datavalue":{"value":{"entity-type":"item","numeric-id":677037,"id":"Q677037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$9B8DB3DA-8F10-4105-8BAA-783FE7D16BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfeb5554a10318e633dc254351b666eed5a1cef1","datavalue":{"value":{"entity-type":"item","numeric-id":4391231,"id":"Q4391231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$FB90C1A8-3C3E-45E4-BBBB-A28BD6F338F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58baf27009e24b592b1599b1dce841c9d34e1783","datavalue":{"value":{"entity-type":"item","numeric-id":2946528,"id":"Q2946528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$8CD745DD-4E7B-435B-A0EC-D519AB60CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1635afb1c230cd581a8a002bb625acf64995b5","datavalue":{"value":{"entity-type":"item","numeric-id":4234207,"id":"Q4234207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$EC9903CC-A3B1-49EA-A912-7C192D6E23D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79f8291fa159be83e47f9ccfad403d817d74b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1565839,"id":"Q1565839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$427B896F-D4E3-4520-A12B-52DB4A526817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d462ac73a68882992b0e4c9e7e3b963fb251e8","datavalue":{"value":{"entity-type":"item","numeric-id":420753,"id":"Q420753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$D662EF39-F719-46B8-B5A4-292EBE11EFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb343b726bd6c89aa33ed95c0ab414cad92dca0","datavalue":{"value":{"entity-type":"item","numeric-id":2819637,"id":"Q2819637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$706D6E89-63BB-4A7E-9CBB-D8C202544A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d0230c2c15e149952e9091ae83d389052b3ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2959017,"id":"Q2959017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$C7D0276E-623C-4DC1-900C-D8963B08DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0e5fb5466eef8d08a2b0e9196ac1c5075cb23","datavalue":{"value":{"entity-type":"item","numeric-id":5301618,"id":"Q5301618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$D18BC8FB-95E3-4790-A6F6-4BF6B18A459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023045e2b2d8c1c2d1d924006e22b6764ed57f28","datavalue":{"value":{"entity-type":"item","numeric-id":2536416,"id":"Q2536416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$4C3AD9D7-85F3-4CBF-82B6-2FAD501684D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ca987cd31fcda273faf7f829a209009518eeda","datavalue":{"value":{"entity-type":"item","numeric-id":2706355,"id":"Q2706355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$F7D82E80-87CC-4185-9717-FFF0C2A58C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$2AC4C965-E891-4C91-95E8-D9D742AAA101","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":"Q384995$FD4BBB04-8929-4999-B0C2-821F398074B4","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":"Q384995$B15673FE-8D8D-4F50-A969-9C4C4F7571FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63345ad81c6208aa32bdb4769d478dd9ae2a205b","datavalue":{"value":{"entity-type":"item","numeric-id":2958937,"id":"Q2958937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$C837FC29-B0AD-482A-96A5-B0BDBCC370AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80ae5d25bb1ea6cf261b1cda4ca7a9433c28468","datavalue":{"value":{"entity-type":"item","numeric-id":4428719,"id":"Q4428719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$97A800B3-4767-4836-808D-F093E5B6A2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a6745e1fecf7b4c933534d64816135cf7721a6","datavalue":{"value":{"entity-type":"item","numeric-id":1604710,"id":"Q1604710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$CD18ABF2-1E70-408A-A62E-3EE9377998D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae72574746995c635688ff67feb054abe8fa18c","datavalue":{"value":{"entity-type":"item","numeric-id":3813151,"id":"Q3813151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$5C3E6E97-DA39-4B30-90D2-272B56E3476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28b5eb1784baf94d532ecd1324abd203e7d41b5","datavalue":{"value":{"entity-type":"item","numeric-id":5301605,"id":"Q5301605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$FD36939E-C505-4F2D-B2E4-0523C9B5563D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0f44d5d9ae4a0eb34312b04666f4a88abf2911","datavalue":{"value":{"entity-type":"item","numeric-id":5757356,"id":"Q5757356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$8378917A-FE08-4A04-B910-EE761A7DC028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f13ce575159035775f12cca2d4b1022bb6a479b","datavalue":{"value":{"entity-type":"item","numeric-id":4949370,"id":"Q4949370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$47FBE85A-7DC6-4C76-BFF0-51648E0D2370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f257b4ce293ff91c25fc667c615f2ccc19b8a47","datavalue":{"value":{"entity-type":"item","numeric-id":1976673,"id":"Q1976673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$D18F649E-F590-47F5-BE95-4DB6DD36AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd2b744a08cf611862a762e8c90a437da122841","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$0FD4F327-C49E-485F-AD17-8BFC2C8B3588","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":"Q384995$1650128D-95EB-46BB-B340-5D77FA3BF59F","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":"Q384995$FCE8110C-213E-4217-988E-94D3FC6D84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74607d01c06049a8aac2fe2de49727d33a53eef3","datavalue":{"value":{"entity-type":"item","numeric-id":1368693,"id":"Q1368693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$2F6992EC-0AAC-4E2B-9722-B7DCAD084BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff5b1be21e26a19e4ea127a6ce33b8fd346f60c","datavalue":{"value":{"entity-type":"item","numeric-id":5958038,"id":"Q5958038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$617B0173-0BF2-4854-B7CE-247FED82A282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efda1b1edde59aba7842f2b6b603ab1ff7d0845","datavalue":{"value":{"entity-type":"item","numeric-id":1912495,"id":"Q1912495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384995$EAC7BB0A-E2CB-453A-B38B-FBAC86696264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f23d2537450c2a6dfd6570a2e8ad415c320b4640","datavalue":{"value":"10.1016/J.TCS.2012.10.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384995$CEFA7D7D-3CA0-486A-BD64-34420161DFCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e268faca866bef5a4f50376d4377e574530761d","datavalue":{"value":{"entity-type":"item","numeric-id":2959017,"id":"Q2959017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825867ee071b82a9f9a1ae7c462905bc4aed25ab","datavalue":{"value":{"amount":"+0.9660670161247252","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":"Q384995$05D23786-A79F-4168-B506-DC910B19E02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b011ba490f7c148fd19d8c16f08cc462e3004fa","datavalue":{"value":{"entity-type":"item","numeric-id":2819637,"id":"Q2819637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80a320b6aa0b07b1cf58c8d46874bfc8f05490e","datavalue":{"value":{"amount":"+0.8983232378959656","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":"Q384995$98B0EA3C-8A6B-4584-AEB9-C63DD0AC139E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f775fa6710128b150e8186a3e3ecaf7a172b8ee6","datavalue":{"value":{"amount":"+0.8417053818702698","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":"Q384995$66A2D2A4-D003-4D31-8700-ECE0EA718B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32bdf241e35409bbfcb61d4432db86b2e67bea2","datavalue":{"value":{"entity-type":"item","numeric-id":4234240,"id":"Q4234240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e227351185b0bef8883378f81a5ae5092ad7d1","datavalue":{"value":{"amount":"+0.8413423895835876","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":"Q384995$10AB8AB6-7044-4312-AD05-5126A9095F7F","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":"93ee4ad17651c918130d9e4984c5e3d1101a03a4","datavalue":{"value":{"amount":"+0.8256951570510864","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":"Q384995$33F727AD-54C8-43E0-ABAD-BA333A5DB918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_effective_implementation_of_symbolic-numeric_cylindrical_algebraic_decomposition_for_quantifier_elimination"}}}}}