{"entities":{"Q2501183":{"pageid":2511926,"ns":120,"title":"Item:Q2501183","lastrevid":44211144,"modified":"2025-11-20T21:30:45Z","type":"item","id":"Q2501183","labels":{"en":{"language":"en","value":"Diophantine geometry over groups. V\\(_2\\): Quantifier elimination. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051276"}},"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":"Q2501183$4BCE8859-DD6C-46C8-BFDE-4DB5913CFC95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"961425e26797fd6556bac42d8d2f4803af7b584a","datavalue":{"value":{"text":"Diophantine geometry over groups. V\\(_2\\): Quantifier elimination. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2501183$05236BED-6DEF-4677-8C2F-EB466CA114AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15c38dcdff03988aec9e8ab0f1841c936374f9d","datavalue":{"value":"1118.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$538F4043-C1FF-400A-8F46-252AC6013E36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9f7ed99dde37a1ed2b712f0eb37bcc96b8743b93","datavalue":{"value":{"entity-type":"item","numeric-id":172246,"id":"Q172246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501183$D022E938-BF7B-4FA5-96D6-8832B1702AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eb0b1efdc761df70e65c3012800f0bd5424c33d","datavalue":{"value":{"time":"+2006-09-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":"Q2501183$67C60F1F-EB9F-4102-AD1F-CF6D523394E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6cbda33fa4367d6aab04cac509fa8d52feb4fc7d","datavalue":{"value":"The paper is the sixth in a sequence [for part IV cf. Isr. J. Math. 143, 1-130 (2004; Zbl 1088.20017)] on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets. The author keeps the notions and notation introduced in the previous paper on quantifier elimination. The sieve procedure is presented that concludes the author's analysis of definable sets, and proves quantifier elimination over a free group. It is shown that the Boolean algebra of \\(AE\\) sets is invariant under projection.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$16128C17-B79F-4F4F-9A54-59F180F9835A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$8ECF5DA8-3DA6-49C1-A42F-DFCBAC7FFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$D2118A81-60D7-42A0-9D02-7F62744793DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$1E41D205-82BF-45EA-A043-2157CC57F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$46BE35F1-8DAF-4404-9C7D-3BEBFB71FBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$6C806634-5085-49A8-BA96-59D84F6D6943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb826c1697b897b59d341e39765fd806963eea19","datavalue":{"value":"14A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$2E5F639F-E11E-4729-99FF-71345A92E52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$B0D8319B-A91E-4662-8E4C-24861420C2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$220AA267-B6B4-42AB-A44E-6DE4B092B54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$CA8E13F1-1AA8-4853-9362-9A8D55D5BDAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"048e7c1ef6687e4f768d19e977d1ecdcc68aac35","datavalue":{"value":"5051276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$5C1572A4-EF0A-49C8-A8A2-D904EBB279C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae72274e0599235acd7a00094c8943d4680830e0","datavalue":{"value":"equations over groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$7F0BB693-01CE-4A19-A19C-071805FA8F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f945267b8150776987175962964b4f903087d39","datavalue":{"value":"Makanin-Razborov diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$2E8337F3-312B-4F4A-933D-EE60FF2C608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$3FE6D6E4-31EB-4BAD-A619-37EA920C7440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4278cbd85f02e6c91640c1611f4a7641d561f738","datavalue":{"value":"limit groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$07F16C56-EB9B-4C1C-8F14-BBE1F7B2509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d17d010388cb04935f92af523f2efa4c0132548","datavalue":{"value":"first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$39756EE2-D336-4397-9BB8-16C72A08B423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$38C00051-CEAB-4657-8213-726841C27833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e273e73c0caaa9c320349e2246b6aca4a76df0c5","datavalue":{"value":"elementary sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$7451A6FD-4D95-4838-A81B-019E076EEEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc667beb0f0ef8845d10dd46d9c63023c939c0cc","datavalue":{"value":"Tarski problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2501183$89B1EA2C-080F-49EE-829C-C137EBF6D4E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c75e46d52756574cc2c3b6666627a330102767ca","datavalue":{"value":{"entity-type":"item","numeric-id":338846,"id":"Q338846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501183$FCEBE8D8-41BC-48B4-8271-48FE7DA627AB","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":"Q2501183$60537C41-917F-4780-A60C-9B1383BD210A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d84ca44b4ec9bcd5ae45d60bc7194805171addd","datavalue":{"value":"https://doi.org/10.1007/s00039-006-0564-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2501183$E6F03CEC-1376-4F3F-959F-870C2743310D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05ce707446f6024cd8582b8c1b45a1930545a2ff","datavalue":{"value":"W2054169531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$B508C5E9-DEBF-47D1-BB1B-8976110C634F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"594a00e25334b015ce2966b9a8d13aeebe5e90d0","datavalue":{"value":"10.1007/S00039-006-0564-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2501183$B0AA2B53-4DEB-4584-8A6B-0F5FA041956E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"213e307bf0de2f926278559571a152cab29371b0","datavalue":{"value":{"entity-type":"item","numeric-id":2382256,"id":"Q2382256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6bf839729ffa8f41569257b14bb1573f8edc5a","datavalue":{"value":{"amount":"+0.9776127","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":"Q2501183$383B8A81-8211-481B-9424-CEBF06A7A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30a4fa3d75a99ff6f706642b5ffdaa1c2d7f76c","datavalue":{"value":{"entity-type":"item","numeric-id":1812255,"id":"Q1812255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5d285f8b65c22b867e566d77d20c929e11fec4","datavalue":{"value":{"amount":"+0.9120339","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":"Q2501183$45304D10-1C33-495A-A412-386F7038874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773375a469b67e5196d82d09b2d3a4c13513af32","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75093430536c1385f1d2f49a443aea53d393070b","datavalue":{"value":{"amount":"+0.8934917","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":"Q2501183$B3F84D35-E962-441C-BE24-A84987E77856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ba68335f0cddf7bab335b014acf1ec0a21a0f4","datavalue":{"value":{"entity-type":"item","numeric-id":1860718,"id":"Q1860718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1690125929d940f137a0dc6c87af7731a501c4","datavalue":{"value":{"amount":"+0.8930216","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":"Q2501183$B1485336-4102-4AE1-BB76-B4F3ACD63DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f8157309f8cc167ea87999b04a6f846953657c","datavalue":{"value":{"entity-type":"item","numeric-id":4549268,"id":"Q4549268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5d8569224171b8baa37907d7a150111e96b3f6","datavalue":{"value":{"amount":"+0.8884233","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":"Q2501183$3C02A151-D6A8-4791-9B83-6F00EA8B010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ca0ffc604b5ad67b5fa9e37a50473a62eb6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5322043,"id":"Q5322043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014dcaf2e4f3d5245ae75bb8e6a04f696abb02f4","datavalue":{"value":{"amount":"+0.88626325","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":"Q2501183$FB83E90D-F43F-4B78-83B9-86DABE0767F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7748cd2815011754731e14c19bc2bfc3b77bdf75","datavalue":{"value":{"entity-type":"item","numeric-id":1955945,"id":"Q1955945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab30324afa8378483cb19dfe0887ab3c91a1df88","datavalue":{"value":{"amount":"+0.8781567","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":"Q2501183$F3D30AFC-2A84-4757-A35D-BBEB8EFE6110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97a29534039434c083fcd36279c9a0df6770b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2382241,"id":"Q2382241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f2fdcc3f86fedcc9e99219b2efce0ebc6bd213","datavalue":{"value":{"amount":"+0.87373555","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":"Q2501183$43CE0D11-A018-4E52-83DD-C8FD2E00B87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0710878c8fa58ffac8a29a3f6484b8557edd39","datavalue":{"value":{"entity-type":"item","numeric-id":1766466,"id":"Q1766466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1d86c1852a4051e949293fc115328c011963a0","datavalue":{"value":{"amount":"+0.8693277","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":"Q2501183$49F04634-3335-4AE8-BE14-EBC9042633E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c604a85ee7175afe35c018161ed6a188c927b846","datavalue":{"value":{"entity-type":"item","numeric-id":5371287,"id":"Q5371287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82bc3f9748dc6a31450eee3fbf684d509284295","datavalue":{"value":{"amount":"+0.85766125","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":"Q2501183$EC61EF2F-356B-4EC0-A114-6211D8D6C27C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e270e2affd7104285b699e88944ea23ac7dc825","datavalue":{"value":{"entity-type":"item","numeric-id":6481264,"id":"Q6481264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2501183$D9C3A561-9CD6-4F59-9A10-50E1C489017C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2501183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2501183"}}}}}