{"entities":{"Q3140552":{"pageid":3151268,"ns":120,"title":"Item:Q3140552","lastrevid":47202808,"modified":"2026-01-01T00:06:31Z","type":"item","id":"Q3140552","labels":{"en":{"language":"en","value":"Quantifier Elimination in p-adic Fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440390"}},"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":"Q3140552$AA661ACA-4FEB-4CAE-BF08-D339E0A1F564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40660912558ca875039f6608ecfdf5f32464a8d0","datavalue":{"value":{"text":"Quantifier Elimination in p-adic Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140552$FC778FB6-3C24-4867-8DD9-9898442A3DBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1836c6ebf2cc2a575b400405402a26a9116a62ab","datavalue":{"value":"0795.12006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$AFD8082C-B065-4EFE-B3F9-380598CD4570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24af65d6d93c775eff16dbfa1a97eebd3b7fded2","datavalue":{"value":{"entity-type":"item","numeric-id":287048,"id":"Q287048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140552$2B741549-361E-4254-A073-7A30869F1DAC","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":"Q3140552$C0161090-A7AF-4DE5-B380-FE3C807AD22E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d364a04b58528c29b98be28697e7def4f3f92cbc","datavalue":{"value":{"time":"+1994-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140552$22157F02-B3C7-4F70-B1B7-5406824C601E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$AC4F1890-5951-4059-9303-E1688766E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$0669F123-6F62-4CA2-8595-E6179739D7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$B5153F69-242B-4C17-BEF3-5F824DD90B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$B5B79770-0919-4786-888B-0C864FB998DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$9EFC57D0-E9C0-4818-BF6F-FDD9DDC93D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e821df6326b3ec031e2707c7393053b1c25d6776","datavalue":{"value":"11B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$5C876EDC-763D-45C7-B94E-44C4A9726C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$4CA7474B-8623-4B85-AAF8-DD46DA23E017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6760e51fed762a4b0d32074d7274c6af5335a30","datavalue":{"value":"440390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$7994BA8E-471D-4AAF-9404-729F0F5130E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$C3A73844-4A93-4992-AAFD-063275CAA494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b11d62ae5161e65e3e1a37db871280b7bc400e","datavalue":{"value":"tutorial survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$13D27C21-DAB6-4F16-ABBD-0B70AF20B17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$4ED13750-D7A2-4A75-B1A4-ED94125E403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaaa94c6a9900c537c2f7df384251660e299dbc7","datavalue":{"value":"\\(p\\)-adic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$247CD652-EF00-4326-BB05-D667A6CA108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755f3f8e9c7e175d0666a28a808a930634a467c6","datavalue":{"value":"\\(p\\)- adic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$EEFF2B79-3F64-48D5-9CDB-089400DD2E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$E123CA09-99DA-4BC5-8BDB-2ED180B9D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a512858d8b86bbeed9161252daf1880034ea01b3","datavalue":{"value":"cylindrical algebraic decomposition of affine \\(p\\)-adic space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$089D2838-7EDE-47CE-9B4F-8E3FC1E03AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140552$2D1986B5-93EA-4043-9570-FB9E691550A0","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":"Q3140552$7B394A3D-FBEE-4A3E-81EA-AE58C1BF3573","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"619dd36be4792753421d3c161522ffe4d630bd74","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.419","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140552$57656F9D-2E51-4AA6-823C-A4490B508BC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c49ea2bb309c56e61913694d5fdadd3cc0c0a948","datavalue":{"value":"W2034907872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$F95F3DC8-4C3E-46C9-8009-DD306FD96A96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42ddf215f1fe9510c252bcdcb2d49288b119f890","datavalue":{"value":"10.1093/COMJNL/36.5.419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140552$6BC8A90E-12FF-4DB3-B038-AAC5C0EF91BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f111e5e2797940f6444f0d7f6e9c63a19e12e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1277096,"id":"Q1277096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abdd693a94ea697cd432b88ee971897b0c4aae3d","datavalue":{"value":{"amount":"+0.8486841320991516","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":"Q3140552$71F04F3E-F7D0-4DDC-9AA8-AE11C7901822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da6d4c7d7073a9e7a8e121df85560d4c74115a9","datavalue":{"value":{"entity-type":"item","numeric-id":3693512,"id":"Q3693512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abdd693a94ea697cd432b88ee971897b0c4aae3d","datavalue":{"value":{"amount":"+0.8486841320991516","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":"Q3140552$0B317E26-BA72-49F2-8FD4-92D52EC4982D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc11c17d3e233e45ac3ad42707043fc751d3c62","datavalue":{"value":{"entity-type":"item","numeric-id":3708785,"id":"Q3708785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29decfe0430b6d955f34fff06b6fba96092abeeb","datavalue":{"value":{"amount":"+0.8207846283912659","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":"Q3140552$40300E4D-78A9-4F6F-8EF1-D79DD4A4B590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aafbf126845d09c3f4e2ab703ddb5aaaea501a0","datavalue":{"value":{"entity-type":"item","numeric-id":3708875,"id":"Q3708875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea7cd72c312e7c3779fd0ec048d17c5c8215d4d","datavalue":{"value":{"amount":"+0.7880889177322388","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":"Q3140552$D752C1BA-9D51-4DB8-AD64-92348BA27DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1717d9c4717865dbe9246c3dd7a08570cf74d611","datavalue":{"value":{"entity-type":"item","numeric-id":4513936,"id":"Q4513936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10acd8c9e75d8484e7027d0ba5a9a1bd598102f3","datavalue":{"value":{"amount":"+0.7879626154899597","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":"Q3140552$228BAB2D-ED8B-4B8B-93E3-C3CA66B5E684","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140552"}}}}}