{"entities":{"Q1995811":{"pageid":2006553,"ns":120,"title":"Item:Q1995811","lastrevid":57688668,"modified":"2026-03-31T22:19:30Z","type":"item","id":"Q1995811","labels":{"en":{"language":"en","value":"Automated detection of interesting properties in regular polygons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7315542"}},"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":"Q1995811$D5C63FE6-F96B-46F3-92CE-620FA30269CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70a2740c519f584cf1e2ff42b6f746cfe6620a91","datavalue":{"value":{"text":"Automated detection of interesting properties in regular polygons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1995811$4C2C3371-2780-4ADB-A21F-A9D5D1688237","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627cf4444e09788ab6ea041fb99deee7c1fd7b0a","datavalue":{"value":"1466.51009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$77A6E573-4437-4857-BBF5-F2B5F814186A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$A99A3D74-A816-45D7-A315-ABCA1E8ADF2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$173A9A2B-0C03-4F8A-90D0-A44F1D896501","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7716e174097c03884ee14ca3623e4bc6a43fdcc7","datavalue":{"value":{"time":"+2021-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1995811$03903C51-08BA-4842-8F9A-47D541A33EB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"893ea05f2843c46a93c85c7dcb72bf51a6cecfbf","datavalue":{"value":"The author gives an automated way of a discovery of a large number of new geometry theorems on regular polygons.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$5A5ACFB8-0764-4CF3-BB93-5DD54832FED5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49642d916c51ee07ff42f35c10d3b98e642fc41f","datavalue":{"value":{"entity-type":"item","numeric-id":590820,"id":"Q590820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$923EDF87-94F6-4835-AB64-14FC95EE0292","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$D1E5022D-0158-4DD0-BADE-3027E23A0095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5ae9e2988e76d371f7e87b79bcd004ea2b80f64","datavalue":{"value":"51M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$08FF734D-6BDB-4FD0-B8C3-CF0238C0872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40bc7a19146c6389fd1d558a0ca183cd10cebf02","datavalue":{"value":"51N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$C359BBBC-1A43-4CDB-9678-A7F22C5A4CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71c287525506a4d86ea5a0e9f579f475ad141a0b","datavalue":{"value":"70G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$FEA74795-80DC-446F-AA71-631EB66985EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076fdca292f8a9083ca4e396fb2193aa2d02c3be","datavalue":{"value":"7315542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$8A64F558-6406-4731-A1EA-A3768DCF6BCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$D97B7773-028D-453F-AA88-C125995AE820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$1F718483-133F-4F50-9A4B-44E6CCDFCCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170160e29856358abcbecaa5fdd58378da8e45fa","datavalue":{"value":"regular polygons","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$0D4C957D-1CA8-4E1C-B565-C8008A7E09AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"395758313ef29493edc27c8b5c118191a1f287a6","datavalue":{"value":"elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$766B8674-5B72-45D7-BB94-D7B4C4496A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a017876da78aea2e82f8dd52a68033a539c829","datavalue":{"value":"minimal polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$37B66443-4ACD-4615-A2A5-80D3648685F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc88a85eafc98bb9677b264fb73e786eec79ad85","datavalue":{"value":"approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$A730D588-231D-4EB5-97F2-8CD7BBA8BFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371d7e9b4d2a9d1c4721394243ac0d785fa40187","datavalue":{"value":"\\( \\pi \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$DD4FD893-F3F6-4419-8DC4-8EDB3C1EE3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ed7184ddef39ff8024c6f27c7226c9444680f9","datavalue":{"value":"webassembly","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$FD030C1C-B0E4-475D-A7C7-C956E3476B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6700ff91a215af7776621540c0792e2e9371a1c","datavalue":{"value":"geogebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1995811$55F7F2EC-74E0-4550-A57F-0C4FF6EF0780","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":"Q1995811$69115A9B-A759-4665-B25E-3E4D6255E934","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":"Q1995811$98E8484D-61DA-473D-BDA2-AE15CDE9C04E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5be1304f0aa2974b2c1bd1925069410c24b71163","datavalue":{"value":"https://doi.org/10.1007/s11786-020-00491-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1995811$6480DB9B-520B-4C4C-A275-0A9C3AFEEA25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cbc618d4b252f67272bfb801a8aebf798c4cd6e","datavalue":{"value":"W3038110339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$1D97C09C-FC9E-426F-9BE1-20903CEAA6E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea7c2981d57f3405181a9b869008344061eac05","datavalue":{"value":{"entity-type":"item","numeric-id":5679381,"id":"Q5679381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$4DDFF0D8-7368-4920-B9C2-E72D40C3ED56","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":"Q1995811$49C18880-3F8E-4E5C-B85B-D5D213C7C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5cbcd9f590bf8dc2909b7292864d5304bd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$377FD987-CD27-4E80-B7AD-2DCF9F42640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51934cff5a8fb5b687786498626db710fc9e343e","datavalue":{"value":{"entity-type":"item","numeric-id":4800421,"id":"Q4800421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$34FE4B3E-AA86-42A6-B8B3-2A7A245DA692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8773ca65798d40f848db61cb8170e7aacb42909","datavalue":{"value":{"entity-type":"item","numeric-id":3810449,"id":"Q3810449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$FA25F321-53E4-4F00-BC8A-2F7134245710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8516775b54d2e173ee65dbb69c34565b16922913","datavalue":{"value":{"entity-type":"item","numeric-id":4575218,"id":"Q4575218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$CEC1ADCE-8D4A-4D40-8FE4-8B79EE39FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$CCC32EC8-8F42-4633-B621-1A8C6FE87FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbaeaa886ea30cf444c9b41d5400d2f08c06d625","datavalue":{"value":{"entity-type":"item","numeric-id":1798965,"id":"Q1798965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$3A5DDF24-95E7-4C44-AFEC-FC090EBAD893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d763c3d84ce4d827788b66d130ab9a753bbff2a7","datavalue":{"value":{"entity-type":"item","numeric-id":6108821,"id":"Q6108821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$5978A59E-6A47-4168-9549-225CB2ED405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21c2c72eaf2faca19cd617f64ed0cb328859f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2425054,"id":"Q2425054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$DF6D1D25-9446-4AE1-845B-B1F1741CD7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7334e446957d1e7697eacd83b370980c20ff1358","datavalue":{"value":{"entity-type":"item","numeric-id":3677198,"id":"Q3677198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$DF3BA970-5945-4E77-BE98-E0C71C072849","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":"Q1995811$0BEEAEF3-9A34-44DB-9681-779DF8588C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5caaabb5896d5e409aa4cc406e5768274e56b75","datavalue":{"value":{"entity-type":"item","numeric-id":4331737,"id":"Q4331737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$AC0BE258-A2D4-4465-9844-0ADBD81BEF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03967ca9dcc1b60eebef73b129b22edafa59b40b","datavalue":{"value":{"entity-type":"item","numeric-id":3139918,"id":"Q3139918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$055B4BD6-7327-4B5F-85FA-DC155BC4D7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6547337155cae3216afb76a934f3b2a52bbbd1a","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$3C13B10C-AD8C-4005-B9ED-6E4ADC869C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89822f1ec243407eba8aced718eada70c7a0fac9","datavalue":{"value":"10.1007/S11786-020-00491-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1995811$B4B44810-3B95-4C85-B719-D13F48748DDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4215da750dd3664296238daceef7ae67c44d515b","datavalue":{"value":{"entity-type":"item","numeric-id":1798965,"id":"Q1798965"},"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":"Q1995811$B9F4B46C-E101-44E2-8F0B-86D0EBDE5A5D","rank":"normal"},{"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":"3ba2c3f0ea0a33706a174d22a7da5190e20f6c25","datavalue":{"value":{"amount":"+0.8248282074928284","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":"Q1995811$4E605C6F-EF2D-41A3-B634-A17891FA3037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9f861c829e7305307918eb79d1b5527b57395e","datavalue":{"value":{"entity-type":"item","numeric-id":2912124,"id":"Q2912124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943de2cb1f1448b8bec7c6ad7b3836001ef823f5","datavalue":{"value":{"amount":"+0.76479172706604","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":"Q1995811$A22B1429-772C-4E89-95CF-EB63331F9360","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":"d1e106381c52325d68e3992afdfb2dcc0eb59e54","datavalue":{"value":{"amount":"+0.7545698285102844","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":"Q1995811$69F6AC3A-F61E-40CA-B322-F07537F58189","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":"b7fa0dc9a2e3eb473b565e6fc5a993865780464c","datavalue":{"value":{"amount":"+0.7508925199508667","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":"Q1995811$F22C40E9-284A-483D-B26C-C11989A9104B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1995811$6DE90B13-201A-45A0-A0FF-580662F937D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1995811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1995811"}}}}}