{"entities":{"Q2334575":{"pageid":2345318,"ns":120,"title":"Item:Q2334575","lastrevid":43897998,"modified":"2025-11-17T09:56:10Z","type":"item","id":"Q2334575","labels":{"en":{"language":"en","value":"Reasoning about linkages with dynamic geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7127801"}},"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":"Q2334575$812717E0-1EBF-4471-B3B2-51CA342DC3F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42a402a7815e297c417dfbe1c117cc01f056dfef","datavalue":{"value":{"text":"Reasoning about linkages with dynamic geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2334575$C5E8378B-F976-40D3-98E3-BF21A0DFD84E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8350d3da68ee0ee9bf6f924594cd18f528b2daf6","datavalue":{"value":"1440.68341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$1191B4EC-36FA-4D4E-B512-4BF88C1BE0F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6c65643f35a2e2da08306f945b322cc9b173cbd","datavalue":{"value":{"entity-type":"item","numeric-id":286776,"id":"Q286776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$7E7533B5-03B5-4798-9D56-A81A5C2C08DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d39b33a75faebc0365cd78792a6f37d114d1cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1295713,"id":"Q1295713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$7488FD35-9FBC-4E89-A2F3-8D22AD13A4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$DFC550AF-4C9A-4259-99BC-69835E422D72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$F883A3F9-E53B-4A57-86ED-9B02424A8C68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a91f08461f9e646364fadcbd4312240acf11d5b","datavalue":{"value":{"time":"+2019-11-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":"Q2334575$A720A077-E210-49E7-B94E-58457FE24284","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31c7ab8b9ec94fed840276b20aab0f75bbe45c18","datavalue":{"value":"In this article, the authors exemplify how Automated Reasoning Tools (ART) based on symbolic computation can  help towards the verification of the correctness of a linkage construction, as well as for finding a suitable modification on a given linkage for achieving a desired movement.  The authors focus on dynamic geometry programs that are used as auxiliary tools for studying school geometry. In particular, they consider the new, and yet unexplored, capabilities for the design of linkages that have been introduced by the recent development of tools for automatic proving, derivation and discovery of geometric theorems in GeoGebra, \\url{http://www.geogebra.org}. See for instance [\\textit{F. Botana} et al., J. Autom. Reasoning 55, No. 1, 39--59 (2015; Zbl 1356.68181); \\textit{M. Ab\u00e1nades} et al., ACM Commun. Comput. Algebra 50, No. 3, 85--88 (2016; Zbl 1365.68431)].  Through different examples, the authors describe some on-going work exhibiting the potential of GeoGebra ART for studying mechanical linkages. In particular, for obtaining the automatic derivation of the tracer locus equation, for the rigorous verification of the performance of a given linkage and for helping discovering some suitable modification required on a linkage for yielding a concrete trajectory. As the examples show, these tasks are well supported by GeoGebra tools and performing for non-trivial linkages. However, studying some more sophisticated linkages may result, sometimes, in too heavy computations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334575$9B934BCC-8C5A-482D-A86D-6C70423D3A36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f3f6a0c4e877a78ba7ff6e8463d55e2720c7400c","datavalue":{"value":{"entity-type":"item","numeric-id":475404,"id":"Q475404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$B5047546-6B1A-44A3-9223-B50DC7DC00E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$FA45A11F-8374-45FB-A39F-C6ED53613799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$2B90B0EA-08AE-4967-A738-79DA6F9C0A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$2D75ECD9-ACFC-4D93-8B8D-E1ABBCDF64DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$EFB7B356-9491-4CD2-97AC-09D72865100D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c9759ba1beabf7a5237e2e05cc9f021be9a23e5","datavalue":{"value":"70B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$2E037DB5-463E-4F20-9284-5C4A2490FE78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0552dd5a46e22381b77457bd1505d56982ab9c42","datavalue":{"value":"7127801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$C31DC6AD-7526-4AC0-8F75-EA0A5D446D0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835969b119ac03e9a6a991c566fe250262e2d755","datavalue":{"value":"linkage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334575$DC9583FC-49D7-4D82-850D-EA901734DF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334575$8E96D45B-25DE-46F9-9234-F48BED9D0254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0fda4e0fd551c0ca47b00175cca0a52cb00039","datavalue":{"value":"GeoGebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334575$11E7D3B9-DA0A-4ACD-8752-C0FC7B0D96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f282cfa302b36b7a0e3fe73600e26f5a9bceef","datavalue":{"value":"automated deduction in geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334575$EC06B312-A284-4A23-BB4A-EA5C75C4FF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8226b988c9f8280424dde01d3ad3ab72ec798b23","datavalue":{"value":"dynamic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334575$4C60D2FC-C754-4000-A66B-865B6779490D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$5A10CD03-14AC-43A6-8BB6-E98A354DE968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dac5423f2b9a6530b60b1cd20e63da73e05c7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":18750,"id":"Q18750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$DE8F9BCE-7B73-4EDA-8E7B-9189F9114999","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":"Q2334575$7FE10BC5-9F45-4DA3-A904-24B7C9415CB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db7703c8345ba6edce2e66e054725681eec1906b","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2018.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2334575$2442E300-C861-4C10-BE03-2F382BF236C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4a494d1f7a5f989db896e385343ea89a919c566","datavalue":{"value":"W2907805218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$F6368C10-DA02-4D19-8DA4-6363314EE48D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fd657fd4badf9c504d4532e58cfc4c53d43f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5270196,"id":"Q5270196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$FE9624F3-F8F0-401A-93C5-558E4A1041CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9ce3fd590f4e1e8b190609d9ae1cb8518e9d37","datavalue":{"value":{"entity-type":"item","numeric-id":286780,"id":"Q286780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$6EE0DB43-C9FB-4CB8-916F-6854BB36A144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4957499040f20fd3575a65eed4448ae068dd16","datavalue":{"value":{"entity-type":"item","numeric-id":5440991,"id":"Q5440991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$23A00761-A0FF-407B-8227-C7950909D512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1350fbc7e9ba211f07aea3134663c6b67824a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2826691,"id":"Q2826691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$1CB1063E-963D-4B6D-AD9A-6F11C5EB3341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7de827169218a14efa6b5622969ac2e0b8687c","datavalue":{"value":{"entity-type":"item","numeric-id":1849797,"id":"Q1849797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$F4509FC7-9FA2-4352-A736-6B6AE2ADC6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c736e22c5009c6cb7f2d6bf5c9b975823af8ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2808009,"id":"Q2808009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$FD80D60F-359B-4C4E-82FE-D4F034515355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eb5d4d718f7ec35886d9d5072fed065f9f10f1","datavalue":{"value":{"entity-type":"item","numeric-id":2426220,"id":"Q2426220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$26B8EF91-3CBA-4FB5-91EA-ED342320C302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334575$093D0E3C-CC6A-41CF-8A53-EA6D83E43227","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6832b76c6e74c318ef3492883ac61661a96cdc53","datavalue":{"value":"Q128651424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$D2FFFEEC-93F5-459E-BE3C-92FABADE551A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b53b0ebe384c7e1aae8ebe2c39e07c497cff992","datavalue":{"value":"10.1016/J.JSC.2018.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334575$BF318F70-2B13-4BDC-A772-558C2CACB7B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5160bbfc40341e735232f509f248803af0c6bcfb","datavalue":{"value":{"entity-type":"item","numeric-id":5200127,"id":"Q5200127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ef074bfb05db9e76a7d29a58f76a5c3777763f","datavalue":{"value":{"amount":"+0.79888463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2334575$20A0E8F8-8235-4488-A1BD-EF11FED424E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a47fb4334de3da621315c1ceaf5b49afe290c99","datavalue":{"value":{"entity-type":"item","numeric-id":2819196,"id":"Q2819196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04bda275b4f6ac7776289c03fb245fec82feb45","datavalue":{"value":{"amount":"+0.7879655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2334575$554D9AB1-99A1-4E25-94D3-1867DB11037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaa245f2e19a3d29dc465c7246e2af0e4b55a01","datavalue":{"value":{"entity-type":"item","numeric-id":286780,"id":"Q286780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337d6f0017a964308094c2fd5a83dd670f1104dc","datavalue":{"value":{"amount":"+0.78287673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2334575$BF13E80D-4F12-423A-A7A5-81E7D8F3BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1156c0a8dd200caa6cc9639722e2bf834e56b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2071524,"id":"Q2071524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08f1705bc8e36d270b37722ccbb08e7a3493f6a","datavalue":{"value":{"amount":"+0.77793807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2334575$FA47F55B-6DAD-4EC0-90DB-3847D0053B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5de3ae489bb30e74cff9e56466fca1d0e57e097","datavalue":{"value":{"entity-type":"item","numeric-id":6108828,"id":"Q6108828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98532439b878719348e95d8c4312e173a4406c58","datavalue":{"value":{"amount":"+0.77224636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2334575$E74937A6-AA7D-4B07-A91A-7A48859C849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f369b3a4e1b89f91138c4be67063f30f79fd285","datavalue":{"value":{"entity-type":"item","numeric-id":5270196,"id":"Q5270196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351c79fde4724cebea370c64573317eab338b3bb","datavalue":{"value":{"amount":"+0.7698567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2334575$AA2AAA05-2D27-4147-A119-753A7058B5FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2334575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2334575"}}}}}