{"entities":{"Q2229890":{"pageid":2240633,"ns":120,"title":"Item:Q2229890","lastrevid":71621187,"modified":"2026-04-13T23:27:51Z","type":"item","id":"Q2229890","labels":{"en":{"language":"en","value":"Generalizing the Steiner-Lehmus theorem using the Gr\u00f6bner cover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7312634"}},"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":"Q2229890$3608B818-8BDB-4D71-B227-DAC326336AC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"827dda79611ec532263a3d475b8f1663a13cd5ef","datavalue":{"value":{"text":"Generalizing the Steiner-Lehmus theorem using the Gr\u00f6bner cover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229890$41138B83-5C21-4F23-B09D-1460E043F50F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b64e193d9dfe405b4942b0009e75b81a644b0983","datavalue":{"value":"1467.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229890$3C1FB89C-6B4C-4C5C-8273-D063E607A55B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b985b50f76ddf04c1084bb32f224213904466a","datavalue":{"value":{"entity-type":"item","numeric-id":294389,"id":"Q294389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$CDB8DB78-6E1C-40E2-8183-9508CBEB5E76","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":"Q2229890$336652BB-DE2C-4FE0-8FF6-8D8F80391392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$A752CAE4-AFC9-4700-9F31-82141D17127A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c65c68b7bf9ecbb68d021649cd5dea931c0173","datavalue":{"value":{"time":"+2021-02-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":"Q2229890$7486C504-D27C-4EF8-8186-70C2C1458E88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229890$A487CC02-8803-46C6-ACF7-60E36CAFA739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229890$3740FE4E-B94C-4FEE-8B91-EA5935EC9940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37adbfca8af610ae8dc885f9009f7f44048f153","datavalue":{"value":"7312634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229890$61D5269C-C837-4A99-9396-B24247E0F841","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2888da300b418c22dce11b4dc52421e62f7434","datavalue":{"value":"automatic discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229890$64CA93C9-62C3-4CC7-8974-14F83534EC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a772a185dda20e89145460d9567ee92c13d88a","datavalue":{"value":"automatic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229890$92F3AB43-33BB-4210-A9BE-475098907F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee9677937af4280ca2b7da086523ad813e30fbe","datavalue":{"value":"elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229890$FA8FE5C3-BEFC-4213-BF9D-3B6FBDB559F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a6970b50e5d60ceacb8f77f47468e26bcad293","datavalue":{"value":"comprehensive Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229890$A7732C0A-46C4-4218-868C-F963761D0441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee43f98beb26d9b367c96f7cfff1265bb8742a86","datavalue":{"value":"Gr\u00f6bner cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229890$772C0581-E3FE-4358-B557-043D89BD35D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7922910f294a9803858a673fdbe62341cd39b532","datavalue":{"value":{"entity-type":"item","numeric-id":13007,"id":"Q13007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$8DBDF241-0EBD-423C-A4BD-2C68A5F56529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89db137cec90f8abdbabbfea3a6c6d56528b960a","datavalue":{"value":{"entity-type":"item","numeric-id":13458,"id":"Q13458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$1D0438F0-9185-4BA7-B86C-BEF13BC59E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"515ee0c3e65e49f607b410421347db4c34466ea6","datavalue":{"value":{"entity-type":"item","numeric-id":21840,"id":"Q21840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$36B60508-EAF9-49C3-A042-6E571F921052","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":"Q2229890$21F9B802-7C2E-4701-841E-563D268E60F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aca2bd7a1cc643717a504fe5f1e7764b9a471911","datavalue":{"value":"https://doi.org/10.1016/j.matcom.2013.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229890$9A56A28D-AF6C-4DDD-A607-348D328ABD8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5405b5bd9743e507c7ee6a23dacb896c72bb5ce3","datavalue":{"value":"W2099411995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229890$EEFDFD7B-5CE7-4091-B46C-E6AAB9EE5ECB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3de656c4a38b12dea0ecdf5b22b4db4e8bc414","datavalue":{"value":{"entity-type":"item","numeric-id":1861521,"id":"Q1861521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$4275BC5B-D4AE-4B3E-B2F8-8C00D1B7D9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2f7a0a4de64ffa9120f38266e8696841b0f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5254156,"id":"Q5254156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$9F8A0362-D998-4D41-9D8D-004AC7137275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$688D5D97-5BF6-4E25-A51E-18E3AA32A9F2","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":"Q2229890$071C8630-3475-43F9-BF34-4A1C8A0B85DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0d7b7f532a496fc39b62046307d198e66dd44","datavalue":{"value":{"entity-type":"item","numeric-id":2946517,"id":"Q2946517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$ADED9185-D6AE-4D30-A120-39CB26FDAF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e632f26f4174a244020bc5bd286cc88d93be581b","datavalue":{"value":{"entity-type":"item","numeric-id":1012136,"id":"Q1012136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$629E8A65-DDD4-4A6F-AEBA-35A1F85B6C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb19d590007445759327e0f9a05c975c2cf2683","datavalue":{"value":{"entity-type":"item","numeric-id":1599542,"id":"Q1599542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$18503507-E7EA-4EF6-B61D-50E815C4B74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2465a00ab72d72703d1edbffc3412e3c3d4677","datavalue":{"value":{"entity-type":"item","numeric-id":5453488,"id":"Q5453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$4A9309FB-F24A-46AB-8DE3-1F6E5D5B57CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599705c67b08e966df95cea5de53eaef2bb21a66","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$4F13F820-9FE0-4454-8FEB-658F6D4700F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a31551d89e937cc3614264a6ccdf15aa2d7db5","datavalue":{"value":{"entity-type":"item","numeric-id":5301685,"id":"Q5301685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$BA7155D4-F9C8-4931-9452-25403571A58A","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":"Q2229890$A858B6BA-13D4-410A-8C06-ED4B65812CF4","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":"Q2229890$745331E5-B00D-4B84-9BED-2D6A77C7263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a479338c68096816e5ab2493250f083683c6a8","datavalue":{"value":{"entity-type":"item","numeric-id":2959007,"id":"Q2959007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$DA50C8FC-2893-4871-A956-BD41223C5C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef9736f8b49328d5416cb2c5a0be1ca90d2c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4823164,"id":"Q4823164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$D464B300-9CBF-4B5C-8108-F4040A31D726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc344f73d3fa279ecc5abe0d69502a54269b540d","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$19E46A46-ADCA-4BB9-B643-52C370ADFFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3b31070bfd6a7c1a91f51971bf9bc78ff15e86","datavalue":{"value":{"entity-type":"item","numeric-id":1878493,"id":"Q1878493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229890$06489346-AE04-46FF-8AF0-65CE4710F2BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a91cd0ebeae826f200bed130815b97c650a7d4fb","datavalue":{"value":"10.1016/J.MATCOM.2013.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229890$F942CF76-DBB8-4E34-B250-59EC46F439E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a839d74007af1c3930450a763c8b9ef35f3d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da176b6ad78eaf5893dbd2401be16dee20199900","datavalue":{"value":{"amount":"+0.749099612236023","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":"Q2229890$129CF2E8-0FF2-4989-8AF6-546838FC3396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4a75834b364ef85cb03644b1f12d3364469182","datavalue":{"value":{"entity-type":"item","numeric-id":2879154,"id":"Q2879154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1453ce3ed969ac5b50f1c5e4a0c763cf610c8e","datavalue":{"value":{"amount":"+0.7465755939483643","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":"Q2229890$6771640E-6584-406E-9975-D848747EF621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f7673fe3363cb0325358c04fb85cb7161d050b","datavalue":{"value":{"entity-type":"item","numeric-id":1755631,"id":"Q1755631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b482e580b7818fd3efa62de1103c1f20ba9198cb","datavalue":{"value":{"amount":"+0.7439919710159302","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":"Q2229890$3824BFA6-3A90-4A3E-8111-F93E66D5AE3B","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":"f1b5687d5c601703e7fe975971edd94a29294fcb","datavalue":{"value":{"amount":"+0.7390952706336975","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":"Q2229890$6B73941A-71A1-495D-B506-F20E11A011B2","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":"3fc38d863d7ebc84bc22ff7483eac380c297fa81","datavalue":{"value":{"amount":"+0.7378500699996948","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":"Q2229890$8A5794BF-4A82-4115-8EB1-2E245C54F344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing the Steiner-Lehmus theorem using the Gr\u00f6bner cover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_the_Steiner-Lehmus_theorem_using_the_Gr%C3%B6bner_cover"}}}}}