{"entities":{"Q5453490":{"pageid":7483049,"ns":120,"title":"Item:Q5453490","lastrevid":50321873,"modified":"2026-01-13T19:56:52Z","type":"item","id":"Q5453490","labels":{"en":{"language":"en","value":"On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256461"}},"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":"Q5453490$1CD97720-AA50-4BEE-930B-E75F6F7141FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2057ce34d5ab5c28421df1aaabcd7221a6ae6ef","datavalue":{"value":{"text":"On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453490$5D319719-FBEF-45F2-85CD-D2AAE065C78E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a45c929ed6cadcb017cabdf784faa32597feb6f","datavalue":{"value":"1195.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$2CD4DE11-5F29-49DE-B00B-BD4AB1CE0DB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e7e7ac99884861892f26d79a4d5d3fa58b033c4","datavalue":{"value":"10.1007/978-3-540-77356-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$81CF4570-1DC0-44EB-ACEC-A2215E11747F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a44774625f957312bbbebc884fe42f11ed6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":491568,"id":"Q491568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$2B73A4B0-EAEF-4B06-8389-F0AABDE773BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$2E230EB7-32EF-4BDC-A315-A71F3CF19C3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453490$ED304E1D-4A77-484F-9F05-D736AFD1970E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$343698A0-AA81-4C44-8326-CCB738A91A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5ae9e2988e76d371f7e87b79bcd004ea2b80f64","datavalue":{"value":"51M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$A1D4D3EE-33F7-405D-8DCD-F1E71F3B30AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$980C827F-41D5-4ACD-95DB-14951860D070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$497B42FE-D37C-421B-B9EC-9D0211147ABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ad8928cbc2b0634066dcd984dd404add0f776a6","datavalue":{"value":"5256461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$BAEE61D7-4C69-4575-8DBE-EBD542C1BB97","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":"Q5453490$813EBA23-8F41-42BC-8B97-5BA97103D2E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5543bd749868047d1032133b474a88f2af83c8c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77356-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5453490$541E58D1-B21D-40D9-9AF0-298675B32D8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eba77ec66df79c4e0ee833d7f35ff9bdd5c77849","datavalue":{"value":"W1541553334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453490$6F277FFF-3007-42A9-96FE-1884ECD0C36B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9b84129c781591ba8a07d7d5f8091f1c456e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5903284,"id":"Q5903284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$688FA438-93E3-49B6-86C2-CC7FBA651C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afb76eeb9c36d1df74582be420bf53a14c80e12","datavalue":{"value":{"entity-type":"item","numeric-id":3231775,"id":"Q3231775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$08B6521E-B218-4CA7-B21A-17DF57300BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087b11bf626bfd9d75a01367253664a799b81cb0","datavalue":{"value":{"entity-type":"item","numeric-id":1899417,"id":"Q1899417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$195BB3CA-4161-451A-B601-3DFD795900AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d46d938dc42c83908bcf516fee66b11743dae","datavalue":{"value":{"entity-type":"item","numeric-id":4753788,"id":"Q4753788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$60D614E2-63B8-426E-8D96-292E3066CCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acaa7da272cea4d1b7bf128e430e504df02155b9","datavalue":{"value":{"entity-type":"item","numeric-id":2264328,"id":"Q2264328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$783CDA4F-AC73-4367-BC25-D73E478BE636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$CAB04297-AD52-489F-8F6C-6D9D46D5DAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1017b7fc09b33dcde1d86468a897adf6ca8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5732255,"id":"Q5732255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$6AF77E85-270F-4A48-BAA5-A7FA3C55875A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5047b02fc82d6c3b9b4ece3eb6d28e7895a5dd60","datavalue":{"value":{"entity-type":"item","numeric-id":4087880,"id":"Q4087880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$ECB7768E-1869-4A2F-ABA4-011C3032DF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1b17812e6037d2b7d557b0a7606920332b887","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$49A6350D-F28F-4274-88AD-C3B7165EC0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5632aeaa0cc4a7fd3d4916a2c192d1c04545b2c3","datavalue":{"value":{"entity-type":"item","numeric-id":3961423,"id":"Q3961423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$D780177C-3D69-424E-AF6C-D584B4F0DE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"511bb72cdbdd897dd73abd1eca430a895ee9b904","datavalue":{"value":{"entity-type":"item","numeric-id":3312818,"id":"Q3312818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$6B6FED5D-6FF7-4669-B42C-EE406AADB58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3152bc9f0440175e418e64dc2f75fb0ec26a7093","datavalue":{"value":{"entity-type":"item","numeric-id":4076416,"id":"Q4076416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$EA4C31F9-3607-480F-9A92-7017B15FE647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33e85decbd3dde336af3f30eb71587cc94e59e","datavalue":{"value":{"entity-type":"item","numeric-id":4238968,"id":"Q4238968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$70279A03-0274-4627-A29B-408CFE08C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98990444c299a0bd8698be3841b5bdbb9e02b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2651943,"id":"Q2651943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$6BE9A4C7-7C3C-4E2E-8665-1A308768AD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c413685e67bf012ac789d1bbd674ffed13d614bc","datavalue":{"value":{"entity-type":"item","numeric-id":2539531,"id":"Q2539531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$6A3FE5EF-6C95-4AFC-A4E6-382A16CC085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4230e3cdd79954740b4557759490cac56866c210","datavalue":{"value":{"entity-type":"item","numeric-id":5647545,"id":"Q5647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453490$72B7D021-9CC2-439E-8C11-74665CE941DD","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":"Q5453490$85C3563E-E81A-41B8-B89F-7EEB0F562E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77379d31ae7bfd60c53889a991b2aa7b6a910c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5168482,"id":"Q5168482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b81e63d12f4e54d61353ec36b6efd8aa98a4d6a","datavalue":{"value":{"amount":"+0.7693654894828796","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":"Q5453490$823E101D-F043-4713-BC51-7730BCB26563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a235146cc86d5fa16ec0b00fc940d2b85007b1","datavalue":{"value":{"entity-type":"item","numeric-id":676849,"id":"Q676849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64ce69f513a10bff05a481bea050be23891a6d7","datavalue":{"value":{"amount":"+0.7491761445999146","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":"Q5453490$F81B775E-A9AD-4344-A06C-7BF9BDDCEF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542d4f6ee9ed97205b6e68ed988ac4f3df1a721","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bdec7c00c0bd3e8ab70d07c80d4e3f9b10f4fd","datavalue":{"value":{"amount":"+0.7317834496498108","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":"Q5453490$ADE0AD55-B357-4CC2-A743-56FE2E39D0B1","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":"2a45993b062974db0d699ac590759d36ef2c0452","datavalue":{"value":{"amount":"+0.7249359488487244","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":"Q5453490$62F10776-1171-4A4A-9401-FF9ED2F5831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5de2920f592edbe5f550d8ccc7bfeeeca50aa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e246dc72e242c7fbfa70ff8ff715c6711deaddbf","datavalue":{"value":{"amount":"+0.7213824987411499","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":"Q5453490$3E9987EC-D684-4833-A765-2DDACAB9AA7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453490"}}}}}