{"entities":{"Q2819196":{"pageid":2829934,"ns":120,"title":"Item:Q2819196","lastrevid":83585498,"modified":"2026-05-07T09:08:49Z","type":"item","id":"Q2819196","labels":{"en":{"language":"en","value":"Towards the Automatic Discovery of Theorems in GeoGebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6630640"}},"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":"Q2819196$3EB2A890-B708-4910-97B6-4C7F5E43EE76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0cfa4a7efbbefb4f013304691a003dc4631a1a0","datavalue":{"value":{"text":"Towards the Automatic Discovery of Theorems in GeoGebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819196$E86820EF-ECFD-464A-B7AD-0FF64A2697E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fabf6672b15ff18d6a721af12fe1a74b0d91ce67","datavalue":{"value":"1434.68636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$CF7AEBE0-6F49-4E8D-BC13-9E386541CA42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd740d57cbea65aaf3ce9d668fc460e6ce533a3f","datavalue":{"value":"10.1007/978-3-319-42432-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$D8FA9269-2FCE-4893-9ED0-CB68BD97B4C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d048e75ed34abbc6d3987b1b6c9e12901891d7","datavalue":{"value":{"entity-type":"item","numeric-id":390368,"id":"Q390368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$30FFB8CF-6CC1-43E6-B235-0CF685763603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93cbacdad7221ca0832d20439d556cfd95e1476","datavalue":{"value":{"entity-type":"item","numeric-id":286773,"id":"Q286773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$817FE9A9-4E1F-4A98-925E-472CB0D85D8F","rank":"normal"},{"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":"Q2819196$7CBA033C-9120-439B-9DE7-E64327951469","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":"Q2819196$21B56BF7-3693-4EAB-8AB0-FD1EBF4C9988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b33e7f3a7e919a04928c6ee8db27554717ee455","datavalue":{"value":{"entity-type":"item","numeric-id":2631956,"id":"Q2631956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$3486D326-6F4F-42A8-8365-35A5CBE20D15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce1d49245d97a30ecabe94a0469a6616f4841aa","datavalue":{"value":{"entity-type":"item","numeric-id":2819192,"id":"Q2819192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$8E1C57D6-947C-4C52-B894-F3261B34B1EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300772c5a0b58bf4f4bfdafa9010450cf2acf8fe","datavalue":{"value":{"time":"+2016-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819196$86FA1768-1D18-496D-82B5-EE5E3D18821F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$F5AD63E0-5B81-4F72-BBBA-888DF0CC768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$9E19CAA8-7415-4269-B342-66E708339B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$E1AF53C1-60FB-485F-A49B-8EB1F657F686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eeac4b1582a2c9f649fad7425b46c578a0d3103","datavalue":{"value":"97Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$7C1F2E3B-D7AF-48EE-8DD6-6DB2C776F83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$62B9C390-3DA1-44AE-999C-5F14F0D10595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eba406c64768cd3c2eeeae5ba3557b284610f11","datavalue":{"value":"6630640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$FEF0EF3A-B5E3-4336-AA9E-A32707B281F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2888da300b418c22dce11b4dc52421e62f7434","datavalue":{"value":"automatic discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819196$1C9C1099-9BB9-4B08-AFDA-E9DF8AC25E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8226b988c9f8280424dde01d3ad3ab72ec798b23","datavalue":{"value":"dynamic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819196$1BCB5C18-56E9-407D-BAFA-508EAC439C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0fda4e0fd551c0ca47b00175cca0a52cb00039","datavalue":{"value":"GeoGebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819196$143A2CAB-76B7-4FA4-8B97-DC6299ED41E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cc7dcc89a6b562e9ab3e1f838553741302c043","datavalue":{"value":"computational algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819196$107A5819-5272-4B60-B708-F7C0BE7C8618","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"930d4c5fb90d37858372301af7594a7b45b158de","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$95594198-31BA-4086-AA70-FD0FF98293FB","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":"Q2819196$14D6B412-F194-4092-8708-AD1843FF92F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cfb1544524d72593b4072175690d6a532e715a","datavalue":{"value":{"entity-type":"item","numeric-id":2354910,"id":"Q2354910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$1EF21EEA-CEBC-4036-A826-9C30940655CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$DB43362A-26A2-4090-A1CF-3DAACC502C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81add882687483fd918df0010fcaf5b17ef28","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$A291C736-3DB5-460B-8448-952C5D0CAB18","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":"Q2819196$C3E6D1A0-3EBF-4BF5-AE13-B82679F9061C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f6f29cd2605e0323c7157f555ad2ecad61386b","datavalue":{"value":{"entity-type":"item","numeric-id":2912124,"id":"Q2912124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$F121A22C-FE6B-4704-883D-7DC4544924B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec4727ba4d5abdc46c7100171bf5ef55ab6706","datavalue":{"value":{"entity-type":"item","numeric-id":583606,"id":"Q583606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$AFCC1574-D100-454A-AB86-8978A6FBEE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6789dca8231e015f9afe019411156ee6c5c30079","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$0FB4934D-C71F-420C-88F8-50F0F7216FC0","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":"Q2819196$F1A0D849-D9B9-4DC7-869C-14BBA58BAA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97d7cc0b4df8bbc3ba9ede16de8204f49c9583ef","datavalue":{"value":{"entity-type":"item","numeric-id":25527,"id":"Q25527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819196$FB58A051-8CD6-42C8-93ED-6BC91580D02B","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":"Q2819196$9E3D5D46-2865-4E9C-9850-D6391A74AD64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c7caaa304fb12711de5316df4019d82dba305ed","datavalue":{"value":"https://doi.org/10.1007/978-3-319-42432-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819196$FF71A6C4-D85D-42B7-A87C-E9FB11493151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02d20cfde09a7d347bdaa2e1f7cce869df4e655c","datavalue":{"value":"W2485439805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819196$A8D78A59-EA1C-4BB5-BEEE-1F1ECB70A242","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e305aa73454d711a48c308506f182e78e878e2","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58ff017e653ef9e87f0b17bcd1acbfc0e8cdecd","datavalue":{"value":{"amount":"+0.9357943","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":"Q2819196$B458B88A-32CF-42E1-ADD1-AD0D4CF93D45","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":"ec3c1b9bfc23462e7cc8d1add0692aa8ec50f749","datavalue":{"value":{"amount":"+0.93301636","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":"Q2819196$D51ECC06-C7EA-4C1E-8600-ED28F3394B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcdeb581834d8000223ae84e0db44d03912e644","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759e70043e3730c228a7e17cca66c3672cc9d2c6","datavalue":{"value":{"amount":"+0.92694163","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":"Q2819196$147D1CF2-0DD7-47AE-BC31-54DC013176CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99ee1920b6bb444cce7d35288b8417566d1874","datavalue":{"value":{"entity-type":"item","numeric-id":5102014,"id":"Q5102014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23088078ec5119e17808461927783feedbd85507","datavalue":{"value":{"amount":"+0.91333884","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":"Q2819196$F36D8C85-BC45-45D8-89C7-C76BE245A52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216623486b880cfbd9f9eb50af299a249ecda85a","datavalue":{"value":{"entity-type":"item","numeric-id":2666956,"id":"Q2666956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61f4f0299b6567de63313f324f868ef7e2f6990","datavalue":{"value":{"amount":"+0.9112878","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":"Q2819196$53BC14EE-E058-4786-A690-920E8C3776D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9b80e26694703bda0bc360c98010f9a51c56c7","datavalue":{"value":{"entity-type":"item","numeric-id":5453488,"id":"Q5453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d895f6af9048767d27ec2d36d364a3f9ce03f67c","datavalue":{"value":{"amount":"+0.8939994","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":"Q2819196$1B98EEFB-3A5F-454E-833C-BDE2AC753485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1424d6206eadde535cf9ed66458b162f4d989955","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c248f8ae652a0ee2b383b196b4f02114c33c7b","datavalue":{"value":{"amount":"+0.889467","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":"Q2819196$D3560631-D368-4234-9CBE-75A29AE73F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcad06a8b7fd792de826151e591f9a519ce1dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d59a6b8f98eeb202359416040d01977e8d53e5","datavalue":{"value":{"amount":"+0.88782716","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":"Q2819196$2E517803-7DA1-4B21-BF73-B08B007D88B3","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":"0e01be44173de395e781bc91e371dd3904cc4272","datavalue":{"value":{"amount":"+0.88770866","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":"Q2819196$638C2E8C-0C45-43B7-8BF0-8E7701CED1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a0c40ca867672e0047fab118f3fdeb9a85deb8","datavalue":{"value":{"entity-type":"item","numeric-id":4946075,"id":"Q4946075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91abea634d3ce02a2a7517e5788b37e33a4fd5c","datavalue":{"value":{"amount":"+0.8871525","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":"Q2819196$0548A3DB-2F0E-4216-A545-D8CC0AA6208D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards the Automatic Discovery of Theorems in GeoGebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_the_Automatic_Discovery_of_Theorems_in_GeoGebra"}}}}}