{"entities":{"Q1895166":{"pageid":1905908,"ns":120,"title":"Item:Q1895166","lastrevid":71711772,"modified":"2026-04-14T00:03:01Z","type":"item","id":"Q1895166","labels":{"en":{"language":"en","value":"On the automatic derivation of a set of geometric formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785149"}},"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":"Q1895166$1E224106-CEDC-4AA7-9D3C-BE0B356EC1E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"469e1c1093240a9f9dfc1936c4a49af7395cc688","datavalue":{"value":{"text":"On the automatic derivation of a set of geometric formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895166$1E227C83-5201-421E-A629-05B8B169DDE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e203b68f0c6e3f0c95b962c8f74a35aa174b41","datavalue":{"value":"0830.51004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895166$E20077FE-60C3-4121-8EEC-D2D8D5C439AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92c396b1f28f44d26f78289f95aac4e46c3b5431","datavalue":{"value":"10.1007/BF01224042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895166$7A2D840B-5C2B-41AB-878D-435F5D8EAE8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2827f69f6a53ca24980e284b4b44ab25eb588340","datavalue":{"value":{"entity-type":"item","numeric-id":1895165,"id":"Q1895165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$B7366C46-0BD4-4876-8101-11A9A7C2757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$3CD2EB70-27D1-45A9-AF4B-696FA2E07FF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7946688d25c7526bf38e6f25dde02f73646d21e5","datavalue":{"value":{"entity-type":"item","numeric-id":206518,"id":"Q206518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$1400FB35-E646-46BD-8ED2-2336A4D59B89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba2dd58e42992f1fb33fdbdb4db4f8863a4114","datavalue":{"value":{"time":"+1995-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895166$3B91D04E-0BCD-4931-8434-A9410C8C1ED7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06abdf58a8061c5ddc9c761a12e9a0bdc7b8230f","datavalue":{"value":"In the real Euclidean plane, let \\(a,b\\) and \\(c\\) be the sides of a triangle \\(ABC\\), \\(a_i, b_i, c_i\\) and \\(a_e, b_e, c_e\\) be the lengths of the three internal and the three external bisectors of the three angles \\(A,B\\) and \\(C\\) of the triangle, respectively. For any three different bisectors in \\(\\{a_i, b_i, c_i, a_e, b_e, c_e\\}\\) the authors find the relations between each side of the triangle and the three chosen bisectors. These formulae are derived automatically using a general method of mechanical formula derivation. For instance, the relation among \\(a, a_i, b_i\\) and \\(c_i\\) is described by a polynomial of degree 10 in \\(a^2\\) having 331 terms! The results obtained show besides that, given general value for any three bisectors (internal or external) of a triangle, one cannot draw the triangle using a ruler and a compass alone.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895166$21876F36-4318-4147-9351-ACA52A4B8AC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895166$FFFCF84E-662B-48D5-A49E-BB4714493C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40bc7a19146c6389fd1d558a0ca183cd10cebf02","datavalue":{"value":"51N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895166$079A998E-5DE3-4BEE-ADE9-94E1BDB73EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895166$080F4F12-4720-4C46-94DB-48AB37DD7432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c0bcb71ad9e7ba99ce31cf4e1d63a38f414fc9f","datavalue":{"value":"785149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895166$82F621AF-CDA7-4D82-A412-20E3FC640280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2eabe98ca45dd54458fcaf1196fa10ee510c95","datavalue":{"value":"external bisector","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895166$73719695-4140-4DFA-B265-B71D3856521B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b81294fc4445d23549e98735065a381a460ec4","datavalue":{"value":"internal bisector","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895166$53C11138-D556-4CBB-9714-571138B11652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"262fd4aa6dc2a7692b17971a4178793011a3e1a0","datavalue":{"value":"angle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895166$7DEF4CE5-5C10-49E4-9AFA-3A496916B792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"045623e874b62da95db5174e19257fb8edebeb49","datavalue":{"value":"triangle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895166$36A60A95-9C9E-4E8B-B6EF-264DD75D1E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1efd210452c80fe4ef86e3fc47d81d9135d03a6d","datavalue":{"value":"mechanical formula derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895166$A8FFE91F-0B47-44F3-8773-12C9EFB35D4E","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":"Q1895166$0137B416-524D-4E74-88BD-8A49B1D1E220","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3c006c563fc4cfa50248b95a5951dc492f6d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5770338,"id":"Q5770338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$52CD86A1-BE0F-4EF5-9809-D3D6C6126BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec4727ba4d5abdc46c7100171bf5ef55ab6706","datavalue":{"value":{"entity-type":"item","numeric-id":583606,"id":"Q583606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$E02A65ED-EFFA-4FE3-83C7-223F8E66DC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4fc22cee2e59ada0e032f05a6696cba9f4b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":3787471,"id":"Q3787471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$E1A5BFA9-7129-4020-B498-BA6235F52740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35766ec01e396c1dd4f8524f34912174d187d554","datavalue":{"value":{"entity-type":"item","numeric-id":1099656,"id":"Q1099656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895166$9A5B522D-8F4D-4189-829A-C647B28209F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b5e02aba20d5e05666d3af07db841b0d767352","datavalue":{"value":{"entity-type":"item","numeric-id":2971094,"id":"Q2971094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafd788ae3bff6a0d28c27d14e85ff51bfd6a9c4","datavalue":{"value":{"amount":"+0.7679412961006165","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":"Q1895166$49C4993A-F95E-4978-964B-A81194528CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b265786e813474abfd0c96ba1ac9606b2fc33d74","datavalue":{"value":{"entity-type":"item","numeric-id":4296411,"id":"Q4296411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48187dae0d804b310bdf7f2049e6e9cf09f06d4","datavalue":{"value":{"amount":"+0.76656574010849","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":"Q1895166$3ABA2050-C90D-4228-AB65-ED72E0EE22C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc428759e75855b82248700306d76e751f3816d","datavalue":{"value":{"entity-type":"item","numeric-id":2810289,"id":"Q2810289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cec594fd7a9d72103bf97f2803e10a9da88074f","datavalue":{"value":{"amount":"+0.7631006240844727","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":"Q1895166$C3916E53-FD6B-41E3-BCA5-1ECEBCAE9032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63135a4e508ae3b2bc59f87049af9e8b5a99d36","datavalue":{"value":{"entity-type":"item","numeric-id":3797793,"id":"Q3797793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0d0096ccfd6ae55086702ab13b2799d079eb40","datavalue":{"value":{"amount":"+0.734247088432312","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":"Q1895166$DFB11904-8858-47A1-B661-EABE2F80F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a092d936459d792df1db6980b8d796ffc8524a","datavalue":{"value":{"entity-type":"item","numeric-id":5110912,"id":"Q5110912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e778fafe17f65769a16b4d587ec787953320b6","datavalue":{"value":{"amount":"+0.7265082001686096","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":"Q1895166$7A43EF3F-A18F-4AC2-9246-59672542BA82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the automatic derivation of a set of geometric formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_automatic_derivation_of_a_set_of_geometric_formulae"}}}}}