{"entities":{"Q1368693":{"pageid":1379433,"ns":120,"title":"Item:Q1368693","lastrevid":68825394,"modified":"2026-04-13T02:19:02Z","type":"item","id":"Q1368693","labels":{"en":{"language":"en","value":"Simulation and optimization by quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067882"}},"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":"Q1368693$EB4858E8-1CBB-4E39-8870-8A4812D8DBB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6246629f707a1ea6fcc3236bdd473a67f5772a3","datavalue":{"value":{"text":"Simulation and optimization by quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368693$388F25D3-F4E3-41A2-9B19-B2687222E750","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"966c903c1f448d008d82f4936ade8c3c41c228d9","datavalue":{"value":"0883.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$F689134C-0E86-4F9F-9148-34B4D26B4BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368693$35B4379C-0BBD-4650-983D-B069FD6EE0C7","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":"Q1368693$400CEF65-E33B-4861-8A4C-FB053A78282A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d250258e50f25ba7a5c107932b647b4e128b8c9c","datavalue":{"value":{"time":"+1997-09-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":"Q1368693$540B2E0F-748F-45B2-B554-45FF2E106855","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6385ea3cc3d0fdd555a8d5cdc65b8bd8a7431053","datavalue":{"value":"https://semanticscholar.org/paper/b80d0ee1f877f6e3a1d051c24f319260f86cf952","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368693$E5EDAD57-C401-47E2-A26F-9BE1470E656D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$B92E0B78-52F9-47F7-9583-7D0200A2E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$637AEAC1-1CF8-4CF2-8224-A7DAACE78E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed10a41ec587cb61dc683f25ef4b3e827c7fee2f","datavalue":{"value":"90C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$ACFA9B72-D9D2-4DC3-B6A5-7ECB9D365708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d34d44665fb148205ae2331c0d87c437d69678a0","datavalue":{"value":"1067882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$8D9EDC22-29EC-45E2-A8E5-8670B37FE775","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3bdfdfa9d1cb64d6d3f749ad65cd2774029b86","datavalue":{"value":"elimination of linear variables from a Boolean combination of polynomial equations and inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368693$E24E1A6C-109A-42F9-A48F-1A683A3016FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d3e33e327c7c20e4a80fc767125a4f24ef4dde","datavalue":{"value":"elimination tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368693$B2C69C55-26FA-4DD6-AB92-027153553CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fb99169197207b59a2192c35103e9bc2a722771","datavalue":{"value":"simulation of large technical networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368693$D7940C9A-CB0B-4C8E-85AE-CC7939A714E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95397cd79b23e54d30031619bed433a19501241a","datavalue":{"value":"parametric linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368693$1259BDA2-0165-4154-8820-84525EC839CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41c76e98a10cd9f12ff0044e0549d30c5e694bc","datavalue":{"value":"non-convex case","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368693$70D88EEF-70AC-402A-9EFE-3620411A5B59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab3966d5d6e8667fc001b632fbfdec3e474c4efe","datavalue":{"value":{"entity-type":"item","numeric-id":23426,"id":"Q23426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368693$37BCE890-8E02-487D-9034-916ED462B233","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":"Q1368693$C01EA22B-8650-40DE-9842-3305AD28023C","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":"Q1368693$214459C3-BF16-4EA0-A3DF-F964B60EE090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"623bf2af4272a85bc2bcc3c1ed5a2775b549aeae","datavalue":{"value":"W2035981707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$ADD746BB-E8F0-4681-96C6-D8713C492162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ccf6360f5d9f0ae2178312bf1e5da76afa026c9","datavalue":{"value":"10.1006/JSCO.1997.0122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368693$36D83BEB-4E34-4957-88D0-8DC235438EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff3cf03f60b4b6f59281b1af96d7ae91c347532","datavalue":{"value":{"entity-type":"item","numeric-id":5267428,"id":"Q5267428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61263f3ef448f511e2e44fb40edbc5c905808ebf","datavalue":{"value":{"amount":"+0.8796343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$18EAEDD0-1279-4335-9268-369AB172D40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5628edc85fe271b05b9a9ff57c20250d510c7f4","datavalue":{"value":{"entity-type":"item","numeric-id":2723424,"id":"Q2723424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97d6d4d62ae02ee8efdab51ddf6366995b498d2","datavalue":{"value":{"amount":"+0.876159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$5055ECA5-D45C-400C-ABB6-3783F344556D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81a4ecb394676f884aceaf3c50ca248e1698491","datavalue":{"value":{"entity-type":"item","numeric-id":1123551,"id":"Q1123551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0c84bf112df9d9174d1f1824007565d861ab8a","datavalue":{"value":{"amount":"+0.87399024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$E4B125A3-9EB4-4002-BE10-87A8212A4004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00857003ae3df520cc56a979cee68d6e832a1b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2884533,"id":"Q2884533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7584e1a657bad177f074a61fe3dc965acdfa7c4","datavalue":{"value":{"amount":"+0.873967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$BB7064BE-36A4-408B-AC47-15200D233266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe85c45c36c694017693fc717e1fc41a960e327","datavalue":{"value":{"entity-type":"item","numeric-id":4319324,"id":"Q4319324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79810196dfacd66cb2b1e91b915bf2110ea04d26","datavalue":{"value":{"amount":"+0.8734835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$0DE0A84C-19A2-4EBE-BD02-52EE675A0485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7095a58775e1f005a5893e26bedcddffee9feb","datavalue":{"value":{"entity-type":"item","numeric-id":1805482,"id":"Q1805482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc5e7d88a971a1d31bb77b96a72e3f103d259ab","datavalue":{"value":{"amount":"+0.87304056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$374E98F1-D35C-47D8-B386-FB2BA34A1E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f406392e807db4c42a226b385521fa0a66b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":3144144,"id":"Q3144144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93231bded203b39c5f36ba1e7452654dba35dcc0","datavalue":{"value":{"amount":"+0.86615425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$44123265-7B19-4B54-898E-26F9DD50E46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2f84bd5fa7e167209f732922aab08d948d1aa0","datavalue":{"value":{"entity-type":"item","numeric-id":4037102,"id":"Q4037102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9204684d1369ce8332fc91f5ab50c7fcd899b950","datavalue":{"value":{"amount":"+0.86450934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1368693$9146F81F-809B-477F-8A8F-3131EC2ABAE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation and optimization by quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_and_optimization_by_quantifier_elimination"}}}}}