{"entities":{"Q5944307":{"pageid":8121109,"ns":120,"title":"Item:Q5944307","lastrevid":93468458,"modified":"2026-06-05T04:27:01Z","type":"item","id":"Q5944307","labels":{"en":{"language":"en","value":"Automated deduction in geometry. 3rd international workshop, ADG 2000, Z\u00fcrich, Switzerland, September 25--27, 2000. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1653514"}},"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":"Q5944307$C6472515-A001-473F-9F70-325C117ACB3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"398f4591656f8338909a7bb455b4f2c903f86f3b","datavalue":{"value":{"text":"Automated deduction in geometry. 3rd international workshop, ADG 2000, Z\u00fcrich, Switzerland, September 25--27, 2000. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5944307$CFAA4284-9AA0-4D38-B9CA-59790F0C9995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0919cf6ce8342b2a3edab6de2ac348bee7b459b7","datavalue":{"value":"0971.00045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944307$49AF3D79-8944-4A42-9582-D7DD1A761139","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":"Q5944307$1667D711-24D1-4883-BCDC-ECAC1E0CFC88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d3e9ce93542d4f996722c3cc295b2a33bb96fb2","datavalue":{"value":{"time":"+2001-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5944307$96F6EBA5-ADA3-45F5-8E00-B97A7E9B0587","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c9c42c6c4c17493cc06869e5b719f334cf28dd6","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (2nd, 1998) has been reviewed (see Zbl 0929.00067).  Indexed articles:  \\textit{Hoffmann, Christoph M.; Yuan, Bo}, On spatial constraint solving approaches, 1-15 [Zbl 0985.68559]  \\textit{Gao, Xiao-Shan; Huang, Lei-Dong; Jiang, Kun}, A hybrid method for solving geometric constraint problems, 16-25 [Zbl 0985.68555]  \\textit{Rouillier, Fabrice; Safey El Din, Mohab; Schost, \u00c9ric}, Solving the Birkhoff interpolation problem via the critical point method: An experimental study, 26-40 [Zbl 0985.68079]  \\textit{Yang, Lu; Zhang, Ju}, A practical program of automated proving for a class of geometric inequalities, 41-57 [Zbl 0985.68556]  \\textit{Tulone, Daniela; Yap, Chee; Li, Chen}, Randomized zero testing of radical expressions and elementary geometry theorem proving, 58-82 [Zbl 0986.68123]  \\textit{Conti, Pasqualina; Traverso, Carlo}, Algebraic and semialgebraic proofs: Methods and paradoxes, 83-103 [Zbl 0985.68075]  \\textit{Bazzotti, Laura; Dalzotto, Giorgio; Robbiano, Lorenzo}, Remarks on geometric theorem proving, 104-128 [Zbl 0985.68056]  \\textit{Bulmer, Michael; Fearnley-Sander, Desmond; Stokes, Tim}, The kinds of truth of geometry theorems, 129-142 [Zbl 0985.68057]  \\textit{Stokes, Tim; Bulmer, Michael}, A complex change of variables for geometrical reasoning, 143-153 [Zbl 0985.68074]  \\textit{Aubry, Philippe; Wang, Dongming}, Reasoning about surfaces using differential zero and ideal decomposition, 154-174 [Zbl 0985.68077]  \\textit{Bokowski, J\u00fcrgen}, Effective methods in computational synthetic geometry, 175-192 [Zbl 0985.68076]  \\textit{Kortenkamp, Ulrich; Richter-Gebert, J\u00fcrgen}, Decision complexity in dynamic geometry, 193-198 [Zbl 0985.68558]  \\textit{Li, Hongbo; Wu, Yihong}, Automated theorem proving in incidence geometry -- a bracket algebra based elimination method, 199-227 [Zbl 0986.68124]  \\textit{Havel, Timothy F.}, Qubit logic, algebra and geometry, 228-245 [Zbl 0986.81020]  \\textit{Fleuriot, Jacques D.}, Nonstandard geometric proofs, 246-267 [Zbl 0986.68125]  \\textit{Caferra, Ricardo; Peltier, Nicolas; Puitg, Fran\u00e7ois}, Emphasizing human techniques in automated geometry theorem proving: A practical realization, 268-305 [Zbl 0985.68058]  \\textit{Dehlinger, Christophe; Dufourd, Jean-Fran\u00e7ois; Schreck, Pascal}, Higher-order intuitionistic formalization and proofs in Hilbert's elementary geometry, 306-323 [Zbl 0985.68078]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$38BD4FDF-6E7C-4C75-B0CF-49E2B9D85C6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944307$44D6314B-EDD2-4DA3-BE27-5EB4C5514D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944307$0D80A863-0009-4EDC-948D-30D1D59F3692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944307$504278E7-8019-49F4-8CFD-247E1F2B366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944307$741FCACB-BEC7-42BF-A2FE-4A1BD1C95E7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd868bd997268b4208946dd2f2cf8a796c5f1ec2","datavalue":{"value":"1653514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944307$C4B18EA3-8E45-47AA-9062-F11E393308A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7cd7e4a191720704d92f88f21dc2b86d2dd0e18","datavalue":{"value":"Z\u00fcrich (Switzerland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$2984FEF3-41E0-403C-B0E3-A0CCEA06D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$96FCB57A-F9A5-4559-A580-23CE4149F896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$04AA78DF-34CC-466C-B4FC-F8BCE8F88EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76e5d5a77a6c3905f43ebde8e046d857b212634","datavalue":{"value":"ADG 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$5580B002-BAAE-4A18-87EF-EB1B148D1BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08add0a479c668bead84d3fd565688ec91cdd93a","datavalue":{"value":"Geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$AC8DDC62-EBF0-4AA9-A334-C9720ADD7DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944307$799A3DC1-E744-4BBF-8957-A53FD059AD31","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":"Q5944307$217EAB17-A2D2-42B4-81C3-DAC7512C5712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction in geometry. 3rd international workshop, ADG 2000, Z\u00fcrich, Switzerland, September 25--27, 2000. Revised papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_deduction_in_geometry._3rd_international_workshop,_ADG_2000,_Z%C3%BCrich,_Switzerland,_September_25--27,_2000._Revised_papers"}}}}}