{"entities":{"Q3452390":{"pageid":5228962,"ns":120,"title":"Item:Q3452390","lastrevid":52392176,"modified":"2026-01-22T13:11:01Z","type":"item","id":"Q3452390","labels":{"en":{"language":"en","value":"Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507420"}},"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":"Q3452390$849EEC66-1C36-4AB3-9A57-65020A787959","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80bc10212a74225f9dc956484d12f327d538ccad","datavalue":{"value":{"text":"Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452390$CCFFB90B-1F0C-4B14-A922-CB479519B376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ded430cc1074f013aeb2cededfecf3b20b97878a","datavalue":{"value":"1325.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$0455C3FD-FB3D-43A1-81D8-5927409DAD9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"129ccfef18721c47ceab02db7b089e49f513a34c","datavalue":{"value":"10.1145/2608628.2608654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$722AFACB-9DDB-4B64-849D-EEA9146526A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a1b592af4ee15f95612634c45b6af9abf5d9851","datavalue":{"value":{"entity-type":"item","numeric-id":2043798,"id":"Q2043798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$599A31F2-2B0D-4B8E-A5C1-2B3FDB1EC4EC","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":"Q3452390$0BC3213A-03C7-4DB7-8ADA-CDDE19F73DF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd167cecce9ce260eb9131eee017b49e301f03ed","datavalue":{"value":{"entity-type":"item","numeric-id":3452370,"id":"Q3452370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$7514E91E-0EF0-4B92-89E2-31A9EC5CF848","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452390$5DB78F51-1319-4089-AB05-254F52D1C29E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$B4405B8E-0291-45A6-9628-E26E484EA59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$DDA0B837-24F5-4A23-9741-BD85B3FA8F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5416beb916581f75f5ab84beb89bb5ea5258fe","datavalue":{"value":"65H04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$F5CF3EAE-2AB6-429F-A994-B0AFA243445A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7d1a47f849f9ccef46f9fa431e4e9ba763ea61e","datavalue":{"value":"6507420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$48F6F949-3D12-4A79-8090-08F7C98F300F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0406bcaba2e6336b18a1bb54d386b956e4bec793","datavalue":{"value":"numerical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452390$B49DB903-420F-4DDC-84B1-6F3CF3132479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc00012563a75ed0c7975e9c32d5f2d16f0982e3","datavalue":{"value":"optimal algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452390$74A42561-33A7-4671-AD4B-9D3CB8C4D526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452390$3342EFD4-9BBB-489B-AA2D-39F75F4420D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452390$2EDED4BE-2DD6-4368-ABF2-DC0CAB433EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13c54ce461ea813ec9bb6e026acd86289e203a9","datavalue":{"value":"square root","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452390$057868F2-FD2E-4850-A595-A8D312F44E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452390$980EE5FB-D958-4342-90D9-74BEA0209CC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07f544da61a733e790b6290335bb2f4a402f91cc","datavalue":{"value":{"entity-type":"item","numeric-id":35395,"id":"Q35395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$8F7F76AE-B9D9-402B-8B9C-E7470D5BDAE7","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":"Q3452390$B1BBD861-1C7E-40B1-8249-4FE8799B9858","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09450f5838b7d0c04a7429efcafb7c84c0b96c0d","datavalue":{"value":"https://doi.org/10.1145/2608628.2608654","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452390$10B7AB02-19FB-4CD3-902F-BA3F1A55F7F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47b61e90f936f2aff461b390e6ae45d45de5a2fa","datavalue":{"value":"W2018625447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$01B1FC8F-6901-460A-BFC6-A21E7EEF6131","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a0619f07c8313163d5395382f74c59a1da4d00","datavalue":{"value":{"entity-type":"item","numeric-id":5448058,"id":"Q5448058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$B9AE72C5-9E07-4CB6-8174-FD603D0E81CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f66606002f6efbe3a3e8203b9f538a7ecf14416","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$E054ED90-3B32-46DB-8903-545705C71975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$6BFD1EA3-E2D7-4F45-A524-C924FBB5F9D6","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":"Q3452390$29F1B5E0-014C-4F5E-BA99-C6CF64121D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$D3CC80D4-17E0-482F-AE6E-4CADDD1F55A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$6CF4ABDA-B65F-4340-B6D6-650344E9B4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfba758c918370b2b93e7de04f7aa6ff5c05542b","datavalue":{"value":{"entity-type":"item","numeric-id":4414313,"id":"Q4414313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452390$CDECA07C-04B2-4C57-92B4-97FF71BE6248","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee98d8cf357a49d66cfcfcce1e7cc945a5545772","datavalue":{"value":"Q130955368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452390$5C9D4B20-4B86-426C-B97B-DDE879A9E5DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d899edb5e8f8bd695ab27235d13955107ad0a2","datavalue":{"value":{"entity-type":"item","numeric-id":2635072,"id":"Q2635072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ace34fa65c3402eec0ba15cbb08328733761b8","datavalue":{"value":{"amount":"+0.9911022782325744","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":"Q3452390$9F27BA92-A497-42AA-A087-9A6E352A421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8159f4fbe3efad3709cd06ddca28209db8eeaf7","datavalue":{"value":{"entity-type":"item","numeric-id":2830000,"id":"Q2830000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba91406723c495102d9f21bfd968d7576a118676","datavalue":{"value":{"amount":"+0.76214599609375","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":"Q3452390$D6FED832-A6B1-43DF-A466-8FB3D0E4C867","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":"1004e281f04a2a683f1fbef05eb2fe2762f655ba","datavalue":{"value":{"amount":"+0.7245973348617554","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":"Q3452390$9CE30B76-F4DB-4E86-841E-682D8451658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e39d628b61aa891cd06a7b4bf901e1d095cb411","datavalue":{"value":{"entity-type":"item","numeric-id":5254190,"id":"Q5254190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711f400ead5afbc974779a51c4ff17bd06774ebc","datavalue":{"value":{"amount":"+0.7216991186141968","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":"Q3452390$0CF5A615-27D0-4264-A200-0E64F52C4563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab6dd0dee4fe753e5ea97c573147bbf64c5b37e","datavalue":{"value":{"entity-type":"item","numeric-id":2819755,"id":"Q2819755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7854705b230f69383ce8cdffb986db576d65b3","datavalue":{"value":{"amount":"+0.7205155491828918","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":"Q3452390$1F6BB04A-AEDE-46D2-9693-46A6DCAAF00D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452390"}}}}}