{"entities":{"Q4371694":{"pageid":6401293,"ns":120,"title":"Item:Q4371694","lastrevid":40898302,"modified":"2025-04-13T22:03:59Z","type":"item","id":"Q4371694","labels":{"en":{"language":"en","value":"On the combinatorial and algebraic complexity of quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106134"}},"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":"Q4371694$76796015-D6CF-4F9A-A9AF-963281EBBE7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ccb365e4e75a73494145f75c765b1ef9fcd0b9e","datavalue":{"value":{"text":"On the combinatorial and algebraic complexity of quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371694$99F03256-45E5-44F5-A902-79CA7ED8EA4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0041df72b8a3edbfac682f67479e41dfe86bc87","datavalue":{"value":"0885.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371694$E47998F9-15BC-405B-8558-9930966CCA0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8742c79870505a97866f914c42e5955e833a431f","datavalue":{"value":"10.1145/235809.235813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371694$51686D3B-8309-4DC0-95A1-D4FA52331900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3795326fa27f47eff8cdbd074017fa2ad664ed08","datavalue":{"value":{"entity-type":"item","numeric-id":249474,"id":"Q249474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371694$4FAE85DA-ACB0-43BE-AEBA-3C09AF090390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e454670a723c77bf11fbfb3fd80a9a00df4238be","datavalue":{"value":{"entity-type":"item","numeric-id":238454,"id":"Q238454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371694$3F8F7F1A-0ABF-40C5-A789-4149E97D01DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a067da1377e19ad699e857de7d2607dce27ca2","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371694$96D1B47D-0BC3-4601-9DB9-395641919A3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371694$4970DB59-72B1-4DB6-998F-0BCAA77EABD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3669eb6a950eb8b7e2a30d8a8d1d225ebc1eee0","datavalue":{"value":{"time":"+1998-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4371694$239C21CA-1B37-4EE7-BC71-8B88E1B72D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a86c28032fa1c6d2fe2332380507de41c2e669","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1996-43/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371694$26F3D762-9080-4A5F-95C8-977BE42FD485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371694$8344A509-60BA-4D97-9B80-E5B4348706AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f3c1f13ec48b05bf2bdb046396fa569dea5826b","datavalue":{"value":"1106134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371694$9456AE2B-9704-436B-A134-63D563B6E9EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371694$FC2F1D5C-1033-40FC-9497-FFC7E89682AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371694$8ED48836-D0BF-4047-80AE-F34408B16EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371694$F9DD2DF1-5DF2-4287-A6DB-28822E122B09","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":"Q4371694$B868CCA8-4AF7-493B-A58F-F14EE644321E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f37eee5dd659f41028291396be736638c0646415","datavalue":{"value":"W2151549243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371694$ED29B5F1-883A-4401-8844-97A9721419F9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a2a4d8810b44e0d9d2eaf7129c26216e7ed151bb","datavalue":{"value":"Q57253831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371694$2A792076-F01D-49DE-85C3-4A374C7570DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282ae6e1712810c2f0e00324b3d92a6eb3b51e97","datavalue":{"value":{"entity-type":"item","numeric-id":3140550,"id":"Q3140550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bc499213dbc7cb9892225bb7b76243d704a023","datavalue":{"value":{"amount":"+0.93690825","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":"Q4371694$8774E48B-76CA-4C5E-A994-974954BFFC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275c7a92719f1f616f6e2d1958e32caf0f706955","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bac5f9fc588d3a30f5927dea0e3940e54ef8e3","datavalue":{"value":{"amount":"+0.9367682","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":"Q4371694$A8C1009E-995F-47C9-A749-8D88DF8C8D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf4c0d44995449446fd27d0202e6205be907283","datavalue":{"value":{"amount":"+0.9146215","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":"Q4371694$098F20A1-1D0C-43C5-8C7C-CB7EBB05A262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07680617165d481d26e49c7155b616ac0611bc59","datavalue":{"value":{"entity-type":"item","numeric-id":752692,"id":"Q752692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf37620d756424ecde17c66d48d3a395217efcc","datavalue":{"value":{"amount":"+0.9127791","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":"Q4371694$00B28B41-CCCA-47CE-9CA7-9A2F112F5B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0488eac80e18c834fde2c5aab8cb5733d35ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3315499,"id":"Q3315499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b299e363f3ba6ff9c3a3a541938a859a70d28611","datavalue":{"value":{"amount":"+0.9027045","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":"Q4371694$3A224CC1-4631-42C9-8D4A-90C09E686798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516e94e2ac355b0f5e1dd156af08838be6d13f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1815271,"id":"Q1815271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2eac86d81a8128711664b1e9630ca9d601aca41","datavalue":{"value":{"amount":"+0.90084094","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":"Q4371694$6476C59E-4E72-4808-A96C-7DAABD5639E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5935a31c6af970ea6af979d0805967b2e710d01e","datavalue":{"value":{"entity-type":"item","numeric-id":1565824,"id":"Q1565824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750e02a41c64403df49cbed3639627b58f0cc5bb","datavalue":{"value":{"amount":"+0.8910691","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":"Q4371694$3F0D3994-8E40-4072-AAD8-4C353C6958C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc901894aea1cf29f28bcb33b3628a4909bdf41","datavalue":{"value":{"entity-type":"item","numeric-id":3807183,"id":"Q3807183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff3cad55f48abb9556267d0bad88b06757b85fa","datavalue":{"value":{"amount":"+0.88941324","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":"Q4371694$809C369C-0691-40E5-A089-8BE7D18DB76D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371694"}}}}}