{"entities":{"Q677553":{"pageid":679402,"ns":120,"title":"Item:Q677553","lastrevid":46724265,"modified":"2025-12-25T11:37:46Z","type":"item","id":"Q677553","labels":{"en":{"language":"en","value":"Quantifier elimination for real algebra -- the quadratic case and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 998033"}},"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":"Q677553$BD79EAFE-10C1-4BCA-B70C-770419AE360D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a855b645cee565775a55cc9b837ed8e472d196e6","datavalue":{"value":{"text":"Quantifier elimination for real algebra -- the quadratic case and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677553$9219E95E-B178-42E1-99E6-A49DBFA5B017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5933a596592fdf535cfd281d9e501a1be66ff98","datavalue":{"value":"0867.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$B852B5AA-7EEA-44EC-8FEC-C1B255ED83D0","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":"Q677553$F5E63F44-8B5B-41CA-9389-B255B2998996","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677553$BB82F43C-3C6A-42E2-AB63-BD2656475B55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd2a323f87449015700559acb40d431002d769f7","datavalue":{"value":{"time":"+1997-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677553$273248E4-A697-42F6-8F95-EC3AAC61D085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$2C23C111-8448-46CF-B640-2B6185541A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$B06390DF-1026-4D68-86A0-8DA2E7A5755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$58AD5FA5-3AD4-41AE-82BD-2A3C9E3A5571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$24988A96-F3B6-423B-A1AA-BFEFB13010AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$5C34665D-272F-40A3-B774-AF92236557C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23513f8fea0b8ab05cb4d8f41f1392cfe0f97bf","datavalue":{"value":"998033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$03EF149D-C5A5-4CFF-B21E-52E40D962008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q677553$C928B891-24B6-408D-B134-DD229F52D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1f86a47e0815a5248fbdb668ece70e54b148d1","datavalue":{"value":"quantifier elimination method","type":"string"},"datatype":"string"},"type":"statement","id":"Q677553$D345BE52-5D8A-4E55-A372-A953C0A3A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"989b62b44453d8aa39bd8dac06d55901581ef447","datavalue":{"value":"first-order theory of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q677553$2363ADC6-BC68-4FE9-B45B-798D1B503EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a018f90d162ea964837c1dcfe22b58e55deed08","datavalue":{"value":"REDUCE","type":"string"},"datatype":"string"},"type":"statement","id":"Q677553$223F1D74-46AE-4F92-8F5D-1B1F9B7EC808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d938f42c4c4a692737a3575efc0a0e295fec5e","datavalue":{"value":"REDLOG package","type":"string"},"datatype":"string"},"type":"statement","id":"Q677553$05AE9EC9-BCE2-46A3-B583-669D0E39E6F8","rank":"normal"}],"P1463":[{"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":"Q677553$2786CD10-A8E3-4448-B9E6-82CB4360EB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677553$AFC64DB0-9AC0-46D5-B0F4-73A7ACF9CCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677553$17070B50-C469-40F6-B57D-6FDBC81F498C","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":"Q677553$8726775D-F112-45A6-B5CA-C295094E463A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94f5a6c55751ac07e7026838af63e02607abd28b","datavalue":{"value":"https://doi.org/10.1007/s002000050055","type":"string"},"datatype":"url"},"type":"statement","id":"Q677553$341489FE-895B-4C29-9218-02790264F94D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b79f74718e9bf892c0e1e7f76d34bd05e97ddb6d","datavalue":{"value":"W2040951317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$B23C5B8B-7198-4B03-8197-9EF217BF2ECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef3220b23e6a23cc3deb0e48f656ad0412f5c3f2","datavalue":{"value":"10.1007/S002000050055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677553$DB4AE09A-D836-4DB6-AA0C-9FCEAE8F98C1","rank":"normal"}],"P1643":[{"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":"56749cedb62584a3d263faa7f483748455013e62","datavalue":{"value":{"amount":"+0.9012789130210876","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":"Q677553$4D6A26F1-FB9E-4AE0-AE62-6D06A84FE718","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":"86f64789f8708b5f5cb135679e664a0eafac7cdf","datavalue":{"value":{"amount":"+0.8959324955940247","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":"Q677553$850B04D8-3778-4774-B949-1462B5E63FC0","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":"1b6c22117145b469818708d07a45f9584db576b9","datavalue":{"value":{"amount":"+0.8672177791595459","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":"Q677553$36FCA875-37DA-4C8A-BFB5-6FB7B2D57B3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:677553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:677553"}}}}}