{"entities":{"Q1704083":{"pageid":1714824,"ns":120,"title":"Item:Q1704083","lastrevid":53039711,"modified":"2026-01-24T02:39:46Z","type":"item","id":"Q1704083","labels":{"en":{"language":"en","value":"Negation-free and contradiction-free proof of the Steiner-Lehmus theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6848192"}},"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":"Q1704083$1B4E0C45-9A08-436F-B262-D27898C43D5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"001bad01a2fdeb6f4afa41481751e644e067b710","datavalue":{"value":{"text":"Negation-free and contradiction-free proof of the Steiner-Lehmus theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1704083$165ED01F-5C33-437B-AAD4-B5F727F9B0DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7413ee74e7bee90736ca7dd41c11ac87a0126677","datavalue":{"value":"1455.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$1F29ECDA-F1A2-4CDC-AAA5-6F89DC66A071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8d051c1e6359718814d6e1a1c2833d3c3043b5c","datavalue":{"value":"10.1215/00294527-2017-0019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$8721693A-4EC2-4155-A8C9-DF2CCD7A8D9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$3EA68C13-56BA-4ACE-97E1-A767FF487A72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$4D3A7ABA-FBD2-4652-A6EF-9588709DBF0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3180eba8815bf0bb3677d04c0bd977fc53cbb969","datavalue":{"value":{"time":"+2018-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1704083$AF14438C-F6A0-4FB2-8E8E-999D86D024FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb7c4f091eec0229b53ce940a63d11e9c403e0cf","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1504252824","type":"string"},"datatype":"url"},"type":"statement","id":"Q1704083$F54A380A-AE24-4E54-9BFC-754DA10302C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$3F0A960F-AA70-40E9-A198-BBAD528AE0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$E3B24A8C-D49D-4E3F-B371-5B01F209337B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"454ba8f5316b3a6de5757c875749b0780a80e377","datavalue":{"value":"51F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$6819E3D1-636D-4AD5-AF5E-EE6136EBE841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6170d368221d8930ff7915ef7edf9c3d1102214e","datavalue":{"value":"6848192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$2314B02B-B804-48EF-9596-F1FD1A6B1BDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a7d795a5d1c43ffb559006c617296714483fd1","datavalue":{"value":"Steiner-Lehmus theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704083$8BD3DFED-A3C4-4B1B-A60F-06A2E22410FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704083$0E6870BC-A172-4859-8E32-FC49CBD51129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582ea9c8182041fa551fa4c10dbae391880b8a1d","datavalue":{"value":"indirect proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704083$BDB4A89E-3AEC-4026-A9F5-CDC637BF1C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704083$D3DEE124-59DB-4021-9AF8-BFE6057F6EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde1a62c965eb5d5558b3a51e1bda1f4ce6cc7e9","datavalue":{"value":"absolute geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704083$9DDBBA59-507F-4105-A81F-55DD34C24A2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$A49892CA-206E-42BB-A7EC-CD2878967DDA","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":"Q1704083$D9275674-62D0-4CFC-BC8D-CC80B7861024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f44543b349a37a688b273d0ff445c330787cf3d7","datavalue":{"value":"W2752004485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704083$293272E0-E5A4-47A3-B22A-199EDA03EC5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20fd90ed550ff1ff2105d8351752c442e3c3f73","datavalue":{"value":{"entity-type":"item","numeric-id":3012330,"id":"Q3012330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$A58A8280-451D-4430-8BA6-EF153153FD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a7591e6b47fc174b794642c824d8b8bf2b89c2","datavalue":{"value":{"entity-type":"item","numeric-id":5667677,"id":"Q5667677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$6B6ED13E-D500-4869-B6C3-C312A2CE16D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7952ee44e3dab21489a14a3b13848187b176c848","datavalue":{"value":{"entity-type":"item","numeric-id":3567843,"id":"Q3567843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$9924D09C-D875-4088-8338-87A821A89E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f5e90efe0f3d145d88f7814757a9d71dc1d0a3","datavalue":{"value":{"entity-type":"item","numeric-id":490871,"id":"Q490871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$3958892F-914C-4EA3-9A1B-4D7F38B114B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2a992adcc2d02095858ec0cbbd72defdfeaf72","datavalue":{"value":{"entity-type":"item","numeric-id":4379628,"id":"Q4379628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$014ED1C3-262F-4434-BB3F-6235727C599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff74d5d01d18c2b36d1de64dfdfebd404916e35e","datavalue":{"value":{"entity-type":"item","numeric-id":4408864,"id":"Q4408864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$AC3E72DC-87F1-43EE-9C26-C86A6A384DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fac624e7284bcba88067cbcc70e238b11f261ef","datavalue":{"value":{"entity-type":"item","numeric-id":5850092,"id":"Q5850092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$04DDF306-AE91-4AB8-8B23-53AB97B8E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a64c9e4abf32b8e833acc03cbf2fff23d648024","datavalue":{"value":{"entity-type":"item","numeric-id":4130944,"id":"Q4130944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$580B2583-5AA9-4BFC-8E37-CC6A8283FD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc63726c999be78e1ef69d7a326b159e279ed65","datavalue":{"value":{"entity-type":"item","numeric-id":4902716,"id":"Q4902716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$47EC9A6F-C677-4A85-AFA2-154F71F46C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e1239dc5bc06ab7e28f576824e29b4affc13bf","datavalue":{"value":{"entity-type":"item","numeric-id":1295418,"id":"Q1295418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$DE512DE5-F269-4F44-A48C-E0B241BD1117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cc8165ca80488901e9349dbe63b77dec9076e4","datavalue":{"value":{"entity-type":"item","numeric-id":5418677,"id":"Q5418677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$524E56DA-38A3-4777-A16B-6D39C493DBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$575470E2-EA85-488F-9725-56A115F99C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$A35D51D1-CB56-499C-BA7A-5B02B2F396E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$092B0034-F00A-4908-BA17-20C13EE263F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$78A1FEA3-85FA-4473-B02D-884633CCA849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec35d9f646cc8d771faa909b820478537c01d869","datavalue":{"value":{"entity-type":"item","numeric-id":4274311,"id":"Q4274311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$27178BD3-945B-4177-A721-1CD8EA68916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e221fb6ed46f2a9b37a51c8db37bfc0da2b6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4531092,"id":"Q4531092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$1CEF155E-EB4C-4497-8D93-907E6CA3C6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a351c74ad2c559f93225f56b60799eb410055f","datavalue":{"value":{"entity-type":"item","numeric-id":4709437,"id":"Q4709437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$4925C545-E540-4C4D-B4C6-525CE93413D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9dd5ddb6105dac28aba77816f53fc8656013117","datavalue":{"value":{"entity-type":"item","numeric-id":2381801,"id":"Q2381801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$3C8C0858-9795-4121-B2FB-A8FC8E2D36C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1a81a3522fefcb69b0ffa90488edcbc4565a9","datavalue":{"value":{"entity-type":"item","numeric-id":286680,"id":"Q286680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$FBDB2B98-4EBD-4650-85AA-750090DBA8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$58678319-A63D-4C5F-9184-1C05EA2DE37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f8fe58dbe82439ecf8465a96fb4e79924c854e","datavalue":{"value":{"entity-type":"item","numeric-id":792631,"id":"Q792631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$A6C3609E-2A5E-4E64-821F-C3A865373FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a95ba259a5d2950ac19bf134db5298742ce32f9","datavalue":{"value":{"entity-type":"item","numeric-id":3663940,"id":"Q3663940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$70417983-248E-450C-A517-AD91EC20E1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15329301411e2b23390e01159f66c0ac05e744b","datavalue":{"value":{"entity-type":"item","numeric-id":4261107,"id":"Q4261107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704083$BCBCDA01-44A5-46A3-995A-62984E964E38","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":"533b718f1133f750992001300e3e4ae1f549df0c","datavalue":{"value":{"amount":"+0.8071080446243286","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":"Q1704083$4C4F6406-ACB5-4A9D-BF3B-F167340E0656","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":"1499883864820d5b97f7e4c35f9c763ace80010b","datavalue":{"value":{"amount":"+0.7947074770927429","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":"Q1704083$12A657C4-C870-46AE-AA38-ABECF0089700","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":"fefcb3be27723e16c79ee9f1dd028f38a675ebae","datavalue":{"value":{"amount":"+0.7753053307533264","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":"Q1704083$75255606-8435-4D1A-85D2-1BC8D3D04244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262b09f32f850632b39162663cc44a44061ccac7","datavalue":{"value":{"entity-type":"item","numeric-id":2971192,"id":"Q2971192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89b2aaa740fba2d85828fc63c1fbfd8de77632e","datavalue":{"value":{"amount":"+0.7617452144622803","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":"Q1704083$614C6A15-AFFD-4414-ACA3-446C9F25B48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e73a7ed5db5a9076dd9f951686ebf2c7bd6005","datavalue":{"value":{"entity-type":"item","numeric-id":2154135,"id":"Q2154135"},"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":"Q1704083$D22AD1B4-2FD8-447C-84D9-6D81F1F03164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1704083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1704083"}}}}}