{"entities":{"Q1104314":{"pageid":1115063,"ns":120,"title":"Item:Q1104314","lastrevid":66724005,"modified":"2026-04-12T12:25:19Z","type":"item","id":"Q1104314","labels":{"en":{"language":"en","value":"Quantifier elimination: Optimal solution for two classical examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055583"}},"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":"Q1104314$9D8CF190-8A0F-4318-8B8A-5F0ADDD30F35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"115bf4041247b003a325978ffcd9e91dfc5a6be2","datavalue":{"value":{"text":"Quantifier elimination: Optimal solution for two classical examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104314$EE293514-E5F2-41F3-BE8F-5651D586BF94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbd2b2b9516fc385512699ee755df73eebcb400c","datavalue":{"value":"0647.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$8E01347A-21F8-4A7A-A605-F2F6E7DD4492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddbdfa62f16784d089c571bf908f178b6443a3c0","datavalue":{"value":"10.1016/S0747-7171(88)80015-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$C76C0298-E920-4398-9F65-5E717A5D9718","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f9031a5c855491b0550610051e4b96cef86f292","datavalue":{"value":{"entity-type":"item","numeric-id":626977,"id":"Q626977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104314$DEDC4D8D-EC54-45C4-AFAF-06C798D9503E","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":"Q1104314$9515EFA3-F883-4FC9-BF18-2410B7970FFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104314$8DF0E93E-DA52-436E-8B00-0EB1EC154D94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae64ceee0072baf387651552651031c57f01f2a7","datavalue":{"value":"Two equivalent quantifier-free formulas corresponding to the following two problems are given: \\((1)\\quad (\\forall x)P(x)\\geq 0,\\) where P(x) is a polynomial of degree 4, \\((2)\\quad (\\forall x)(\\forall y)E(x,y)=0\\Rightarrow C(x,y)\\leq 0,\\) where E(x,y) and C(x,y) are the ellipse and, respectively, unit circle expressions. The solutions are elegant and need elementary calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104314$41C603CD-719D-4B1A-B876-D0B334756824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$620F9BD0-DB84-48BF-8A0C-A9F1443653EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$A84D6285-8C4D-4D59-B5EB-D7C2E427843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$86D86F12-F688-445A-BB94-1353297DA59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$3AB1B474-F7B8-41D6-9ED4-DE7CD2D85D44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a734260cfba40d683e6bd9bf09722b34e788351","datavalue":{"value":"4055583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$0A7B775C-093F-410F-A210-352F5B242794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104314$B7C35BD3-A86B-4AB6-8F65-2A3A1BA2BB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d23d90989a6766f8c37f59712eb02d28ea48f0c","datavalue":{"value":"positive polynomial problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104314$3BEA348D-BD1E-4318-BA9A-F9D89B0D51BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c0320bb970e314865440640335a402e8cf1a89","datavalue":{"value":"ellipse problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104314$4F42DC0A-8A45-408E-8361-CCC175AB297C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8db27d33e604251f3a214581c49d8928f86ae92","datavalue":{"value":"Q56224655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$555627C6-8C17-456E-924E-99A6465F8A8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e5adb2f5b9beef2201bef72e73c6f511c159db61","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104314$4CC7C8B0-6345-47FD-8781-7BF355329FF4","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":"Q1104314$2A5228A0-6881-41FC-B1BE-64FB01440274","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"859853ee18d8d053bec0a89850b1911602074ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3216141,"id":"Q3216141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104314$FB2DE67B-0995-49CE-850F-5289F1C21DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d6b89375009d9893382530a22ee13eb937499","datavalue":{"value":{"entity-type":"item","numeric-id":4185425,"id":"Q4185425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104314$D139E120-BE75-4436-A89E-C3AA4715F59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7e2cc82e6104d3c3e3299aede5753358de67d1","datavalue":{"value":{"entity-type":"item","numeric-id":5723265,"id":"Q5723265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104314$66028499-7C85-428E-8FF0-D3C1D7E8A297","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7c4319a92c835ab01b1f277a55adf3db4a351969","datavalue":{"value":"journals/jsc/Lazard88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104314$3F8EC5AB-C59B-4EC6-9B6D-04D7C6068F4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59dc23893b18c6201d466f4119ebd6da27a4adf3","datavalue":{"value":{"entity-type":"item","numeric-id":1102744,"id":"Q1102744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2230ba0750837de61ca7daf9fc8f9855155120","datavalue":{"value":{"amount":"+0.8464019298553467","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":"Q1104314$CB5E92DA-1741-49A2-860F-CAF1BE035EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f32722f99dcad9703c8c5e75f7f08b74a74ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5302907,"id":"Q5302907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b03d284868e53c8bad600cee2fa35fdf55e2fcf","datavalue":{"value":{"amount":"+0.8077309727668762","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":"Q1104314$13B843A0-ED29-4F0A-BA47-189292C44FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ef96a59aff8b6506d73acb779e4275b229753d","datavalue":{"value":{"amount":"+0.798606812953949","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":"Q1104314$6AF8F196-CFFC-4F17-BB35-CB224B4D6188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63f50b561e6d34f61769072f911652b7f63ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":3140555,"id":"Q3140555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ef96a59aff8b6506d73acb779e4275b229753d","datavalue":{"value":{"amount":"+0.798606812953949","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":"Q1104314$2C45F2FD-F813-461F-B8E5-87F4A975FDAA","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":"74c01da3cec508de8348148ad8b2c641dc09d9dd","datavalue":{"value":{"amount":"+0.7810742259025574","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":"Q1104314$E88354BB-EF9B-4119-A278-62779A8DFCD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination: Optimal solution for two classical examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination:_Optimal_solution_for_two_classical_examples"}}}}}