{"entities":{"Q4946075":{"pageid":6975657,"ns":120,"title":"Item:Q4946075","lastrevid":108569309,"modified":"2026-11-07T00:41:49Z","type":"item","id":"Q4946075","labels":{"en":{"language":"en","value":"Automatic geometry theorem-proving and automatic geometry problem-solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1421051"}},"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":"Q4946075$49619CCC-FCA0-4CEE-998D-7EE825D19652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a9ce05dd45b5cc913d63adccd960be222e026ea","datavalue":{"value":"0969.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946075$B130408E-2E46-441D-9E6A-E44786C24A70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5304ee1acd0d951d9b3b4a189a7d247f2a4fdb47","datavalue":{"value":{"time":"+2001-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4946075$B9EA43D3-3DAD-44C3-A211-33CD9B9C2AB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946075$82B8D8E8-8F0A-4112-B64D-8028744FF597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946075$10208284-10F4-4BC2-858C-30D871493458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c87799adec94bf8b9b9eb5f19b936a1d5c6fca89","datavalue":{"value":"11C08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946075$0D5987D3-F1F3-4588-93C3-FE46022D9D90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c550c805b77955b8ac1d0a7dd29803825745357b","datavalue":{"value":"1421051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946075$B528F040-5C43-48F9-86CB-72E7F77D564D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5756b5fedf456813498dff6daf354699368d89","datavalue":{"value":"polynomial equation-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946075$F7FB460E-4753-4904-944F-C4DCA0A401B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"732d7894bb68f026286029206f7d75f5ebf8ecf9","datavalue":{"value":{"entity-type":"item","numeric-id":1329537,"id":"Q1329537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946075$DF6CDE3E-7DAA-4991-B060-82F75048DAAD","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":"Q4946075$2D6260E4-13EA-43CC-9E7B-D7CA30286B85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d76fe6729d8a7a3e6d3d78e1e3882d6656303a","datavalue":{"value":{"entity-type":"item","numeric-id":2716051,"id":"Q2716051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54840908bb1f43ee17ddefa732002a9dd368a47","datavalue":{"value":{"amount":"+0.7984562516212463","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":"Q4946075$F33694F1-F108-4096-9E7C-18B561A08226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad00713abe75229b8948c9d3212f3c601ca8cd87","datavalue":{"value":{"entity-type":"item","numeric-id":4525303,"id":"Q4525303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54840908bb1f43ee17ddefa732002a9dd368a47","datavalue":{"value":{"amount":"+0.7984562516212463","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":"Q4946075$306A4670-1F9B-4309-A04A-C2A6E6506FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aceb6193b839b2b7abca1faf70f963d763aa54f3","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976da83ad1b559f54d6da42b978d1a69675d7ff5","datavalue":{"value":{"amount":"+0.7557398676872253","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":"Q4946075$0AB6F414-DE9B-4437-8A05-C69A69DE3359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68f59ae32b2681c35c7ea8f212502168273b26","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90bbbcf0a8fb868a64c98f19b42c25f31adad90","datavalue":{"value":{"amount":"+0.7482379078865051","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":"Q4946075$E334981D-D8D8-487D-8A0E-61B72DDA5634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26d395bc25e0c0008e1c08b53aadc201ee49a8","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f5dfdb05436c07a547fa4921ecb2a647a85b92","datavalue":{"value":{"amount":"+0.7465973496437073","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":"Q4946075$C184A351-CD98-480A-AFF9-F7C553380EC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb61cde1acebb845a0e10c2c01767612c8e76911","datavalue":{"value":{"text":"Automatic geometry theorem-proving and automatic geometry problem-solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4946075$A3AC228D-AF19-400F-ACC7-4D0A02CF1FAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05490e8bef1fe0c7bd8514f0d1308f6d9e4cc2c2","datavalue":{"value":"10.1007/3-540-47997-X_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946075$B5D6A60D-1532-4690-A381-7CC754CD857A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1568280c9d2595213e615f7a23c696613d71bfdf","datavalue":{"value":"The present paper surveys work of the author and his colleagues in the MMRC (Math. Mech. Res. Center, Chinese Acad. of Sciences), on the topic of a general method of polynomial equation-solving. There are three sections in the paper; the first one actually states the method, which is based on a particular ordering of a finite set of polynomials in \\(n\\) unknowns, together with a well-ordering principle and two decomposition theorems (for zeroes and varieties). Not a single clue about the proofs is given, for further information it is referred to papers by various authors, but they are not cited in the text. The use of a particular ordering in the set of polynomials resembles the use of Gr\u00f6bner bases, which are told to be equivalent to a special case of the introduced theory. In the second section some applications and examples are stated. The approach is based on different `principle methods' derived from the well-ordering principle and the decomposition theorems above. Several examples of problems in geometry are presented, and their solution is given, acknowledging the use of the method of polynomial equation-solving. The paper ends with a long section on historical discussions on the relationship between geometrical theorem-proving and geometrical problem-solving from the ancient Chinese mathematicians to Descartes. For the entire collection see [Zbl 0929.00067].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946075$80167AFE-E2B4-4567-AD13-53D06B0E8830","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946075$2F59FFF0-88D8-4F4E-BCC0-1886A6F43A5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic geometry theorem-proving and automatic geometry problem-solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_geometry_theorem-proving_and_automatic_geometry_problem-solving"}}}}}