{"entities":{"Q3140555":{"pageid":3151271,"ns":120,"title":"Item:Q3140555","lastrevid":47202817,"modified":"2026-01-01T00:06:31Z","type":"item","id":"Q3140555","labels":{"en":{"language":"en","value":"Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440393"}},"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":"Q3140555$C48FC786-C7E6-4215-B45C-7B647B79AD55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff4b0cd2f49646bb0cca70f973d648e8e9dae8d","datavalue":{"value":{"text":"Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140555$FEFA05B7-F284-4A1C-8C77-A22FC1B22855","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b02133d9c979b265ea616a058c28400a6e26d6","datavalue":{"value":"0788.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$CCECEB23-7221-46D2-906B-ADB8EC1B7DC8","rank":"normal"}],"P16":[{"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":"Q3140555$3A965C2A-E247-490D-9540-F75DF9E66CDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140555$C9D3736F-F84B-4930-BAEA-E4CBCB87FE2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7749606556d7f0cc2f0d99e82d171059b0e62df","datavalue":{"value":{"time":"+1993-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140555$EFF7B4B2-DB44-4F56-B89D-C4C9398849A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$DD0CAB13-45E3-4580-B421-D9014FDDA136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$11647E2E-C4FB-48FA-9F2A-5E6EAEEF3E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$0ED52B38-A4E1-42AB-B13B-0A8F57B0D021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ff68f357cabdca5eadf2fae4c05b0038c92659","datavalue":{"value":"440393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$3209A17D-20E4-4A8A-873B-69413F0CCD25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140555$F80DD017-E02B-45B6-B769-D9D9D6383F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140555$66291D6F-0EB7-4F43-B785-F5CC190258C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a40778ba3246d5e31bc129bc959c62a184517e","datavalue":{"value":"slope resultants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140555$61A001AE-5222-42DD-BB25-EFE49AF6617F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25ab810b26d873ddbfbbf9d419fe20355f2f315a","datavalue":{"value":{"entity-type":"item","numeric-id":13570,"id":"Q13570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140555$31B1B5D0-F3E1-404E-B070-E031156BD2F8","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":"Q3140555$25E32899-6268-4289-85F9-2D4B58347AD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fa763773c90d11cb392e3165506ac48d4fc4c9a","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.439","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140555$03FAFE64-77E8-48DD-B96D-D7283ACC87DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5942d369845a2f2cfef5c3e3712151331d791b43","datavalue":{"value":"W2136481685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$E20F5006-1513-4540-A1C0-AF8664C4A3E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9adf0dcc479443744591635d5e1f5e03c97856be","datavalue":{"value":"10.1093/COMJNL/36.5.439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140555$6D03111F-F0B9-40FC-AB7F-3DD3C4C279CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c1473c7aef6fcd25d3119fcff2cd5c94f239c2","datavalue":{"value":{"entity-type":"item","numeric-id":4234207,"id":"Q4234207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42ca75a10f17d08625360e0e07c9dcf17a8b65e","datavalue":{"value":{"amount":"+0.9357205033302308","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":"Q3140555$238291DA-E446-469B-9279-390E93084193","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":"1d9336b8be1adadafcff414604ae452ec4d8f214","datavalue":{"value":{"amount":"+0.8606094121932983","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":"Q3140555$18FEDAB4-F34E-42BB-9613-EE92F51F1DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a9b7b8e09019ef0f9de23f3a68f2dce39b89a","datavalue":{"value":{"entity-type":"item","numeric-id":1295548,"id":"Q1295548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9336b8be1adadafcff414604ae452ec4d8f214","datavalue":{"value":{"amount":"+0.8606094121932983","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":"Q3140555$B1B11DD1-E293-47D9-8894-2CA07F4209E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16adcd137bf5c2cd4e8289d9c68c2f4e37db7505","datavalue":{"value":{"entity-type":"item","numeric-id":4234321,"id":"Q4234321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1488de12fa429807b141abdfb6dd24f4d3eb4b6f","datavalue":{"value":{"amount":"+0.8185014128684998","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":"Q3140555$DADEC0E5-62EA-4760-817B-6EC38F9F0C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d25d6ba34c0f88027f887b39ed98a7d98b90a32","datavalue":{"value":{"entity-type":"item","numeric-id":4496280,"id":"Q4496280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1488de12fa429807b141abdfb6dd24f4d3eb4b6f","datavalue":{"value":{"amount":"+0.8185014128684998","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":"Q3140555$C92777B2-DEC2-4FD5-B537-668A3693AB1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140555"}}}}}