{"entities":{"Q2154135":{"pageid":2164878,"ns":120,"title":"Item:Q2154135","lastrevid":54361730,"modified":"2026-01-26T17:04:27Z","type":"item","id":"Q2154135","labels":{"en":{"language":"en","value":"Is there a direct geometric proof of the Steiner-Lehmus theorem?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556608"}},"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":"Q2154135$D74DD2B7-01F4-4B06-B10C-B828F9046001","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ca66f6ba2e04673f530dbd63d6850fce021d64","datavalue":{"value":{"text":"Is there a direct geometric proof of the Steiner-Lehmus theorem?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154135$3740F53F-5FEF-4762-8F65-44F74B020104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2371142ded1738181e33248978aa93dbb71857c3","datavalue":{"value":"1493.51006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154135$CFD85821-1378-48F0-97EA-08F13CA19DFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35d37d8b0b303d49d6b65b17be133018c3b33cba","datavalue":{"value":{"entity-type":"item","numeric-id":1935358,"id":"Q1935358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154135$2B5A7D68-25D7-4090-B861-C43EAB190C84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154135$8E0DB29F-D104-460C-A9D4-5B9B0763655E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f67a1e0f748eea4c6d455af6862a28de7a9055","datavalue":{"value":{"time":"+2022-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2154135$A2F7EE6E-519C-498A-AB0C-C017717191EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c463ae91888b99e6abebc782eac9eac18184686","datavalue":{"value":"The author has written a lovely tribute to late John Conway (1937--2020) [\\textit{O. A. S. Karamzadeh}, Math. Intell. 43, No. 2, 76--78 (2021; Zbl 1490.01053)]. In the article, Conway's interest in the classical question whether there is a direct proof of the Steiner-Lehmus theorem is discussed. In the article under review, which is actually a response to criticising comments concerning that article, the author gets to the point: ``if we insisted on complete directness for the proof of every basic theorem, then we would have to rewrite almost the whole of mathematics''. Indeed, for me -- and I believe for most mathematicians -- short, indirect proofs are preferable to long and cumbersome formal direct proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154135$736642C7-3E3F-43F4-AD70-D57F21CF1E8C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"53e3c9b0005383776f1c26b136d3612df9054b31","datavalue":{"value":{"entity-type":"item","numeric-id":515286,"id":"Q515286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154135$7EFCB5EF-6C09-4555-B81B-1421EFE5E498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154135$C50D5FC9-F1F7-4C37-8971-A02E441F8E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e9aecc95d0de330e0812aa96c58e7294a31ed66","datavalue":{"value":"7556608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154135$9815681C-0141-4050-8E51-95DAF6F23E1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a7d795a5d1c43ffb559006c617296714483fd1","datavalue":{"value":"Steiner-Lehmus theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154135$620B1315-84B8-4F92-BD36-20E7E2830DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154135$D66B0E85-8A4B-4720-9AE3-76E8BE567634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154135$569489BA-935C-4E3F-964D-65741160F5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582ea9c8182041fa551fa4c10dbae391880b8a1d","datavalue":{"value":"indirect proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154135$491CCBFC-EFE1-4458-89C4-C15C7B9AC061","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":"Q2154135$D867F446-5BB2-4437-8DBD-93D8C6F41726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c654a4382ca229f1ae75361495a4ac24d8e9e9","datavalue":{"value":"https://doi.org/10.1007/s00283-021-10137-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154135$3B51F01F-B757-4539-B9DF-5D2BDE099EC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a12ff4eebd4c0e211c4e9df62b4799570146742","datavalue":{"value":"W3217321720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154135$678484EB-D2C4-4927-BE57-89F1DA4D6047","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48233e471003ef899540e00fe29d500d27993a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2153982,"id":"Q2153982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154135$998C9377-A8F2-4058-93F0-C506AB253693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7847da6b346af39c787b9aa7eaf36430cf3d9ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1704083,"id":"Q1704083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154135$50F87339-CEEB-4CFB-B81C-6D20A4CE4BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b966d92248d577af53d294fc0c8f17b21fdd279","datavalue":{"value":{"entity-type":"item","numeric-id":2154134,"id":"Q2154134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154135$F68D4013-9E6C-4B5A-8185-3C461BDE6F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaf7af2046936aa2817392e832decb643c619860","datavalue":{"value":"10.1007/S00283-021-10137-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154135$879456A8-3160-43AB-8C36-59D65500BC88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504aad6b5cec9738b85bb157cc51ad9766cc0f81","datavalue":{"value":{"entity-type":"item","numeric-id":2154134,"id":"Q2154134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f188fc61c6407ac424f825392539794bade4e00","datavalue":{"value":{"amount":"+0.8421615958213806","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":"Q2154135$C522EC43-29C6-4199-AAC8-03BFEE7FF56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bc2cc67f84ae419aa3a630fd86ff441081167b","datavalue":{"value":{"entity-type":"item","numeric-id":4994193,"id":"Q4994193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71128bf9015a86d4411bd7acc8d98f4d8614b9bd","datavalue":{"value":{"amount":"+0.7718177437782288","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":"Q2154135$1E0F0D68-1901-4760-880E-DC7A73A28DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e6e27acf551098f3b63ef316dad1f36a5e36ad","datavalue":{"value":{"entity-type":"item","numeric-id":1704083,"id":"Q1704083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bd84f5531f92a5ddb4dd60f5b04b40b3900428","datavalue":{"value":{"amount":"+0.7594009041786194","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":"Q2154135$08B143C0-3DE0-411F-A56C-6236D0D31AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738a0d3c2416696f5955bf1b019e886f0f3c4d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3618775,"id":"Q3618775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1953eb52622e5ee89a41c01257e39424954faab7","datavalue":{"value":{"amount":"+0.7548650503158569","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":"Q2154135$1D0716C8-6274-4621-A0E0-4CBD22271B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f5953392997fe83f4901f5aee3c1834bb8e73e","datavalue":{"value":{"entity-type":"item","numeric-id":483345,"id":"Q483345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1061abd6e061d882c4e833da347ca141e1ad427","datavalue":{"value":{"amount":"+0.7386450171470642","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":"Q2154135$7934CCDB-E35D-4919-9067-E2AFDB3777BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154135"}}}}}