{"entities":{"Q1798965":{"pageid":1809707,"ns":120,"title":"Item:Q1798965","lastrevid":53239238,"modified":"2026-01-24T12:58:05Z","type":"item","id":"Q1798965","labels":{"en":{"language":"en","value":"Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957967"}},"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":"Q1798965$0257712A-FA16-4EE0-9209-683B3B17C2BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"163d6bf647af3c1724542846d5af3945df13910f","datavalue":{"value":{"text":"Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798965$98554F0D-3CBE-4543-A653-75D92C8C0D81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5252775c3ec3ca2528f20fe3c079f33323e5a35b","datavalue":{"value":"1417.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$E9B622CC-FA1F-49E4-9AB7-3F5EB5CAE621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a133b47ed8cfacd14750a5b3a97b39b653315f6","datavalue":{"value":"10.1007/978-3-319-96812-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$A1D21DC6-FAF8-4631-8927-2F0FF314EC69","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":"Q1798965$AFCA36EA-9A01-4521-B9FA-4AC493CD7D00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798965$63FE9B26-8571-4CFF-8F9B-EFAFF782EF3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$AC394F17-6E53-4635-9EF6-D1A9460EA2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c87799adec94bf8b9b9eb5f19b936a1d5c6fca89","datavalue":{"value":"11C08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$BF5B16E0-7F3B-4E90-A33F-F44BE1438705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$E86867D9-9948-48FB-B281-596E973825DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$3650EAD1-CA95-4207-9831-B95BCCC6F218","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc67ba924eea57136663d4b5a71eb966baae29b","datavalue":{"value":"6957967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$BE573CDC-D36A-4565-9663-7A83FB79F9E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798965$8D130A4E-464E-4EA6-9148-F53E49AE82D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798965$C19BB98F-6284-409F-A607-EE426270EF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170160e29856358abcbecaa5fdd58378da8e45fa","datavalue":{"value":"regular polygons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798965$5511C5E3-AD9F-4844-86D7-A695CA570422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0fda4e0fd551c0ca47b00175cca0a52cb00039","datavalue":{"value":"GeoGebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798965$86F89C68-9524-4E4E-8D61-092C63A4E8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a157349451ce3d66220f84abb1bdb388fd13e67","datavalue":{"value":"regular 11-gon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798965$3DD7BFC3-6C4A-4B0F-9A01-F0849B8CEBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7733331fc28e089b96cd2f83ca1335b93aaee4","datavalue":{"value":"Chebyshev polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798965$3A3F4C30-3483-40F4-877B-697BA944D18E","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":"Q1798965$D4212F62-828F-4515-8C3E-E947C99574F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"668d9e9fdf0e42e387f7ac1b97fda44ea23c7fb1","datavalue":{"value":{"entity-type":"item","numeric-id":38252,"id":"Q38252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798965$AE292DE5-5845-48A6-BA74-5065B333942E","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":"Q1798965$4B51CEAE-A12A-4E18-9421-D42156DB6883","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8484608366df152521a22e95cdaf934bc86dcc2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96812-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798965$4DA3248C-4A7F-4CBA-A236-BE8C298676C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"197cb21422252e8125596f5e8fc91ac7ef7f35f5","datavalue":{"value":"W2883100729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798965$307887D9-C5B2-41F3-9D54-AF9EE8EAA482","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273075f211df2ada1b3d385b6c79e5edae57aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":6108821,"id":"Q6108821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed6d7921686957370ee8e68a6ea36f4032e5b59","datavalue":{"value":{"amount":"+0.8458966016769409","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":"Q1798965$A236723E-50EF-428A-99A4-E8126108CD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a357bfc455958143ad4fcc9763a81e0bc42eb3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1995811,"id":"Q1995811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d75d3744d7d52eb464487aa6abe34995d72dbe","datavalue":{"value":{"amount":"+0.8414372801780701","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":"Q1798965$9A9164AD-86DE-422B-A540-CAA92D39DB42","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":"d5a028502927c82e3ec49a338cf06e203bbcdee9","datavalue":{"value":{"amount":"+0.7338611483573914","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":"Q1798965$0BD3784B-032D-4598-B05F-F081878FED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e65b1742bde1d793fe508736c25ff52ff42bc2","datavalue":{"value":{"entity-type":"item","numeric-id":1655490,"id":"Q1655490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931d840aa118e59aaec960d1988e6ce67830a8d0","datavalue":{"value":{"amount":"+0.7114291191101074","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":"Q1798965$9FC79E4F-9AB8-4AFC-889B-B2FFC676B5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7d2fc10ced0d9125f6ad91f7e15882a04f4899","datavalue":{"value":{"entity-type":"item","numeric-id":4807517,"id":"Q4807517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c18e0049f088bc77106a3eb88ad5bc2b23e8d9","datavalue":{"value":{"amount":"+0.7097257971763611","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":"Q1798965$7D30FC2A-2CE7-4D5E-9B39-18FD431B64FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1798965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1798965"}}}}}