{"entities":{"Q1766466":{"pageid":1777208,"ns":120,"title":"Item:Q1766466","lastrevid":81973721,"modified":"2026-05-06T19:47:49Z","type":"item","id":"Q1766466","labels":{"en":{"language":"en","value":"Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2141369"}},"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":"Q1766466$632891B9-AFE6-4F24-8215-FF6B6E9D1603","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87e529237fd4a29621ed8370f27f1b33db066e3c","datavalue":{"value":{"text":"Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1766466$24F53C1E-1C85-40E6-B4AA-6CB09F8395B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca6a88c810f502c3b120c79989380a2872173442","datavalue":{"value":"1088.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$517065EF-8E9D-48BE-8173-D9F88F5CAB26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b24e0ec06fdedd949dd8c6b209abbb80c2ef500","datavalue":{"value":"10.1007/BF02803494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$1124E54C-04B6-475E-A66A-FDCC463F9E59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766466$7361557F-DFF6-4D39-8BA4-36436C2B2429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"626dd502a2833fa0710133a8ecb4bd32858b94f0","datavalue":{"value":{"time":"+2005-03-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":"Q1766466$9C411620-D7AC-4744-BBC3-EE2842A43264","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91961c6d46197c116b5337ac27e3e19df27bab57","datavalue":{"value":"This long and carefully written paper is the fourth in the author's impressive series on the structure of sets of solutions to systems of equations in a free group [for part II cf. Isr. J. Math. 134, 173-254 (2003; Zbl 1028.20028)].   The structural results obtained in the first papers in the sequence are applied to analyze \\(\\forall\\exists\\) sentences. An iterative procedure is associated with an \\(\\forall\\exists\\) sentence to produce a sequence of varieties and formal solutions defined over them. The author proves that the complexity of Diophantine sets associated with these varieties produced along the procedure strictly increases. It follows that the procedure terminates after finitely many steps.   The outcome of the iterative procedure can be viewed as a stratification theorem generalising Merzlyakov's known result from positive sentences to general \\(\\forall\\exists\\) ones. On every stratum an \\(\\forall\\exists\\) sentence can be validated using a finite set of formal solutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$412E9229-9C08-426C-A048-431085FCDC55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$63356C74-AB0C-41D8-8AA0-CF3803A26FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$7093DCFD-F1B4-4493-B58C-F7FDB1B60CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$766B8923-113D-47C0-A5CC-ABD9643417CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$A2A46512-F159-48AD-A45D-B0C6665FC81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$BA796911-F840-4A13-BBD4-7297F7920F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb826c1697b897b59d341e39765fd806963eea19","datavalue":{"value":"14A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$BE1DF103-9E51-4886-A8F2-6FF26CF17D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$0AE55762-1BFF-4D99-A485-9C7A1AD1B716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$32CF32CF-EAA2-4C1A-A8D3-BDE446ACFAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$CB3CD94B-451B-4B80-A289-B5F8FA5A109F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e5fcb008de3dec04371bccb641081bb95ebc2b","datavalue":{"value":"2141369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766466$96186CCD-9D63-4B1E-B7D7-39D3CA4AB121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae72274e0599235acd7a00094c8943d4680830e0","datavalue":{"value":"equations over groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$A81E1869-336D-48A5-9E8E-33D6A4A05123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c770d343f1fb50963a5cae4f9c0f6504404327b2","datavalue":{"value":"solutions to systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$CC2DDA27-9713-42B8-890C-B1A8AA45F1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$3299E63D-5C85-4BE2-B68B-8745EDD2B299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e273e73c0caaa9c320349e2246b6aca4a76df0c5","datavalue":{"value":"elementary sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$7515E087-658A-4389-A0DD-A795F7344C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8494cb14896b762568fa631e2df3e82c077d27d7","datavalue":{"value":"positive sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$6AEB9D0B-D916-4E51-BD22-08F11EF19583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$9410C547-0CB8-4D08-83B1-F03135257925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5effcb9d6f53148ed8eb5611d389ed2356a2055f","datavalue":{"value":"Diophantine geometry over groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$154C66C7-CC83-47A8-A3F3-B6515CC4E7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b6c9a4d191682a940af8c86aa2e70a62f29e76","datavalue":{"value":"Makanin-Razborov diagrams: Diophantine sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766466$0AB53102-552E-4854-98E3-93B58855EA78","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":"Q1766466$11A719F7-F40F-4EB4-B0C1-6A359B7B4840","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":"Q1766466$B054C82C-836D-43B8-890E-15FFBC982E95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67514ee36d1becf934de2f069515d6a5f3abe110","datavalue":{"value":{"entity-type":"item","numeric-id":4200871,"id":"Q4200871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766466$D686FBFB-19E0-466C-BCDA-AD18DD6B002A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a967c8ca4d6ed9daa0f051aea65f8882dd3836","datavalue":{"value":{"entity-type":"item","numeric-id":1860718,"id":"Q1860718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766466$53FED256-53A0-4FA7-9D07-8A2237D1704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3308847a63404298c09c3dde009590fb6b6083","datavalue":{"value":{"entity-type":"item","numeric-id":1812255,"id":"Q1812255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766466$D1B3612C-97BC-4D90-93C3-D1757F78A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5ae9640d295b5099b9c25434a128e93cfc248f","datavalue":{"value":{"entity-type":"item","numeric-id":2382241,"id":"Q2382241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766466$EDF8B2BB-02F4-4F39-AF4B-2AF647601533","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":"Q1766466$C1D236E0-2E36-4348-86CF-75E3B3A0B8CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5051a33afc0cd4af57058a72f2ba12e4ee069246","datavalue":{"value":{"entity-type":"item","numeric-id":2501183,"id":"Q2501183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3db86c2c7498184aeee80458059b8fa54520b6","datavalue":{"value":{"amount":"+0.8343048095703125","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":"Q1766466$BF964324-E41A-4857-AFBD-3437604ADE9C","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":"a443e1984479013ab42f2f8179085698d9fc672d","datavalue":{"value":{"amount":"+0.8272799253463745","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":"Q1766466$EAF4560E-2C55-4D7C-9981-726A652E122D","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":"a443e1984479013ab42f2f8179085698d9fc672d","datavalue":{"value":{"amount":"+0.8272799253463745","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":"Q1766466$6E999B21-E3E2-4EBE-BA22-5EF099146702","rank":"normal"},{"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":"e23a104fdcba6b1d5940162acc32193c5b07bdc0","datavalue":{"value":{"amount":"+0.826511800289154","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":"Q1766466$06BD6C70-582C-476B-AA0F-0AD9CF90CCA6","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":"037723d016a2aee1896a791d82ff390b52733a1e","datavalue":{"value":{"amount":"+0.8040788769721985","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":"Q1766466$10A44283-4D7A-4372-B5F4-3CA707AC517B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diophantine_geometry_over_groups._IV:_An_iterative_procedure_for_validation_of_a_sentence."}}}}}