{"entities":{"Q5505558":{"pageid":7535118,"ns":120,"title":"Item:Q5505558","lastrevid":101381855,"modified":"2026-06-06T01:07:21Z","type":"item","id":"Q5505558","labels":{"en":{"language":"en","value":"A Quantifier Elimination Algorithm for Linear Real Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498346"}},"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":"Q5505558$3E3FF0D9-8421-4EEB-A02B-A9B150398A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68bd412f6c5cf696c0ee65b8cb2922b00b071397","datavalue":{"value":{"text":"A Quantifier Elimination Algorithm for Linear Real Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505558$41B91EF9-FA64-492F-B2A9-9C089298FC87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fbacdc98b1c7041d4166cbbf78ff12c98f0ad04","datavalue":{"value":"1182.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505558$94446970-6275-49F9-BAC4-9FEB7D99FEBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c05632ea96245628bd00b6aebe7532d08a763f24","datavalue":{"value":"10.1007/978-3-540-89439-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505558$C593CE98-B229-4BC1-A211-8DE82F90F750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505558$1507E748-AC88-485D-AAA7-B88B6EA33D89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505558$A1E0A0A7-BD94-4D3F-A2A2-333F77412D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505558$07965F46-52EB-490E-997C-7F06390A980C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e34532fb6251c9ea6313db92bed0b096e2a61b2c","datavalue":{"value":"https://arxiv.org/abs/0803.1575","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505558$092581AF-2769-4F68-A0CA-62BD8A4D345D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505558$6F984F72-8674-40DA-AFC4-1766D6C39CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505558$A326BBBD-1804-4E75-9665-4AB77B151C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed4bba9f47b276db4bc5c673c94a876e92c9861","datavalue":{"value":"5498346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505558$0EF117E3-C59A-4D2D-B61E-1702AFF16538","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":"Q5505558$DE26F424-8538-4A60-A406-C7C3672D60FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03af931ea56db9b813d52b29fd7d68ade748d505","datavalue":{"value":"W1862725884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505558$1202D4BD-6380-4BAB-B873-E3C16A6B0BD7","rank":"normal"}],"P1643":[{"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":"03513378df8a2b62702222c1e6e6ec206722a534","datavalue":{"value":{"amount":"+0.8984017","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":"Q5505558$A2EA5A85-9DDD-4184-B456-93839A7BC7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa73079258d345d0d9d3c31e100e3bea98bb65b","datavalue":{"value":{"entity-type":"item","numeric-id":2883815,"id":"Q2883815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fd2ce45bd98bb663eb73d5f34bb6542160093f","datavalue":{"value":{"amount":"+0.89834887","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":"Q5505558$432B6B45-DABC-46BA-91B6-D343B3F1E5FD","rank":"normal"},{"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":"e130038c7b8ee93a706ae24573372f187ddfcbe8","datavalue":{"value":{"amount":"+0.8924115","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":"Q5505558$C754603D-4018-42F4-B828-C3D0E3316271","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":"818070ef8f629e6e44b03630bd0c4368b2364115","datavalue":{"value":{"amount":"+0.89135706","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":"Q5505558$C1420EF2-21D2-4873-9E5D-6F3457A9B3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4826a9ebcee41c22e639fb6a714a4c993eaa4703","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d8572f615d87c7cda5d6d671b07ef3d70fe2d0","datavalue":{"value":{"amount":"+0.89088327","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":"Q5505558$E314F9CF-F079-49F1-863A-E3589AE9B7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f108f54644f0ec26605a1f87cb8a667d4c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d8572f615d87c7cda5d6d671b07ef3d70fe2d0","datavalue":{"value":{"amount":"+0.89088327","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":"Q5505558$ECDC6478-D454-4B10-A007-974B25BCAB54","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":"d0a3d6afb5864cc400b79ac6aa61111d90d8d84b","datavalue":{"value":{"amount":"+0.89073974","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":"Q5505558$A16C1379-0A37-422E-B3DD-4C2825E49094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b898bd2daea600fcf61790aecfe953618a2c4f","datavalue":{"value":{"amount":"+0.8829069","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":"Q5505558$D65CF851-5C28-48ED-8D6B-BB7F3167A468","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":"e94c5ab5fe57bc8a194e87ba0fbc1dfc0377d713","datavalue":{"value":{"amount":"+0.8816683","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":"Q5505558$62A17E98-A09E-4492-A932-2DEDE74752A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddffa6647e1792ec256a15d45307fbd34b4fa72c","datavalue":{"value":{"entity-type":"item","numeric-id":3613432,"id":"Q3613432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbc8fa03e47e21d5533d3daac7d973a4326d550","datavalue":{"value":{"amount":"+0.87973773","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":"Q5505558$5D113DD1-9EE1-480F-9A04-1AAC5B7CC219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Quantifier Elimination Algorithm for Linear Real Arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Quantifier_Elimination_Algorithm_for_Linear_Real_Arithmetic"}}}}}