{"entities":{"Q2852041":{"pageid":2862761,"ns":120,"title":"Item:Q2852041","lastrevid":83518814,"modified":"2026-05-07T08:36:23Z","type":"item","id":"Q2852041","labels":{"en":{"language":"en","value":"Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213652"}},"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":"Q2852041$96A153E6-6BA2-43B5-B864-086989340969","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ce300c518388f7d100b09b911cc9225631116d1","datavalue":{"value":"1273.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852041$3879ECEB-776F-463F-998A-4170CA5B90FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852041$CB7D8B92-B58A-4B3F-BC42-4AF1520E6112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e90650eb35b029d984e93a1c13f44e760c54facf","datavalue":{"value":{"entity-type":"item","numeric-id":352950,"id":"Q352950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852041$96C86B0B-896D-42E5-BAFC-B29D92F415F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852041$6860B3FD-BFAC-4C5D-9674-43C5C9568E7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cbc28a405ead0e208cc745c40ac282906284612","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106001095","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852041$945D990E-6141-4FA2-B01C-5204C82ED021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852041$31D6D1B7-C8CB-48B7-ADE5-2DD62B4A8E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852041$32901BA2-D17E-4C5A-98F4-45D831A3DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852041$DCF69CD6-18C8-41D4-90A7-6DC0AB7C9260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852041$26D19B26-6A58-4FB4-8064-553220B85CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e95d7152ae9f2457c7c4ee162f6102bbb2663dd","datavalue":{"value":"6213652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852041$EADD211B-6A27-4C1D-B147-FE429281F4AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852041$5626AD55-2EBB-4A5D-B639-E1C6D5B499BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852041$666994EC-8EB9-4147-9887-79F1BB8980F1","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":"Q2852041$711645A6-300A-4C13-9B21-016DE2575F8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2989c8d1acb21acb09c233d79c49896067b6d109","datavalue":{"value":{"text":"Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852041$3337BB28-96E5-4CF6-A7CD-6832593EDF68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf70fc4006165321afe8c3a2017afd3e9646ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb54e1a307b0e7ba9cca3d7a8cda5f9d6d80db4","datavalue":{"value":{"amount":"+0.8507291674613953","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":"Q2852041$6FD45B36-1D72-4B02-A987-3DBC7CF44E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7472a54fba32bf0875caad9e58f3e8fcecfd4039","datavalue":{"value":{"amount":"+0.8170783519744873","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":"Q2852041$77414988-1F4A-442F-88EF-6C28ADD717CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b0a0b80f4e13eb4388eb05880fdea99f512d9","datavalue":{"value":{"entity-type":"item","numeric-id":4874804,"id":"Q4874804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c8f37b44516ab5351ab3067646dd06954ccd10","datavalue":{"value":{"amount":"+0.7895552515983582","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":"Q2852041$CEF6C832-FF8D-46C6-ACEB-4DD685618BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf36049823cf0a0132e9179cb0e74e04f41c978","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4dc129ca1f0eeddc51f5af8492aab3cf47227a2","datavalue":{"value":{"amount":"+0.7779814600944519","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":"Q2852041$4DBF38A5-8D6A-4F6A-A78E-5E828A149FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217504699fe24b11201851b6ad3ced9990620215","datavalue":{"value":{"entity-type":"item","numeric-id":2456560,"id":"Q2456560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b2590d865017f39989c4a15072ae49e656bf7c","datavalue":{"value":{"amount":"+0.7730434536933899","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":"Q2852041$7847DF41-3EED-40A5-B10A-913EE14A02A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_over_algebraically_closed_fields_in_a_proof_assistant_using_a_computer_algebra_system"}}}}}