{"entities":{"Q1676248":{"pageid":1686989,"ns":120,"title":"Item:Q1676248","lastrevid":74034876,"modified":"2026-04-14T18:07:46Z","type":"item","id":"Q1676248","labels":{"en":{"language":"en","value":"An elementary proof of the group law for elliptic curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803058"}},"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":"Q1676248$621A564F-F661-47E7-9370-0C3E6B3354A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f610e704c96ff97a2e79a632fab72b047e8f1c7","datavalue":{"value":{"text":"An elementary proof of the group law for elliptic curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1676248$ED1EE311-79E7-41AA-8C17-9C421904ADFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"711c58541d32c5ad6d2dd5f65b0854ca6469e5ae","datavalue":{"value":"1400.14086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676248$CF8C7690-6DA1-4160-898A-7F014BD5DB1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a2f99f028f1537e5e2d2aca89031d796b7e879a","datavalue":{"value":{"entity-type":"item","numeric-id":311061,"id":"Q311061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$2A97CCD5-45A6-4A99-A08A-1AB87E749D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60f7fdf31400cbe5a25db6f9e2bbea930bfc8562","datavalue":{"value":{"time":"+2017-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1676248$FD07D732-77FF-40C1-B561-33ABE680B43D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f95eba54435b387b3f073623de8eac91187ac7","datavalue":{"value":"https://arxiv.org/abs/1710.00214","type":"string"},"datatype":"url"},"type":"statement","id":"Q1676248$0D6F94CC-385F-4387-8279-B2BCC76F9CA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"996fd09dba1ba48d1cbb2193d8d3cd2554ce3c7d","datavalue":{"value":"The author presents a computational (formal) proof of the existence of a group structure for an elliptic curve \\(E:y^2=x^3+ax+b\\) (i.e., basically, of the associativity of the group law). The various cases for the equality \\(A+(B+C)=(A+B)+C\\) (i.e., \\(A=B\\), \\(A+B=C\\), etc...) are treated separately and explicitly: many of them require long and hard computations which were performed using the algebraic computational system CoCoA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676248$49EAD54E-C435-4A7A-B749-43580F68385D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1dd4ab08b3133e71ac8deae0dd693681dd22a851","datavalue":{"value":{"entity-type":"item","numeric-id":462697,"id":"Q462697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$B4065B54-A6B0-4FD0-8AF4-A178970FDE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676248$4AED573B-4829-43CB-B724-D28A46ECDD5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"462f0f3bc860d035c8b29211aa36922dc953fdfb","datavalue":{"value":"6803058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676248$72003F67-826D-46B3-AB6B-03F239574D09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676248$72163354-A0D4-4EE7-9BC3-A4F22FC2118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941880aa22144cf6b26f3695e865438101ca2702","datavalue":{"value":"group structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676248$6C78669F-CA92-4496-B68E-11B33E77B26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f9bfcb5f91c67f433476a8c3251348f5cb99ef","datavalue":{"value":"associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676248$2E34CE2F-3C5E-411B-AA28-916281BCFA14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$1C76F37B-71DD-4E4C-9EBF-4E06640E0E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$6519E27C-7AC5-4A88-B3B0-C5CC46E49F0B","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":"Q1676248$D3B1262E-0876-46EF-A294-03F848BD3194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c51d7561e4e83a9829328558936c7d306fcdb8c","datavalue":{"value":"W2963409325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676248$35D41B94-027B-4E2C-BF89-FDDA76CECF24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6589392e68303ede18af209da15da0d7ab282c","datavalue":{"value":{"entity-type":"item","numeric-id":5049006,"id":"Q5049006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$BC27FFFF-A34C-4FFE-84CB-EBB74244E2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87699615dc045004505d247f16a412b3d37ee7d","datavalue":{"value":{"entity-type":"item","numeric-id":3743417,"id":"Q3743417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$4C7A08A6-731D-42E8-94ED-522AA97B1479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83afbcd196f063ae5c56b067f487b190ae4cad1c","datavalue":{"value":{"entity-type":"item","numeric-id":4002696,"id":"Q4002696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$691BAB55-843A-40CA-B82B-6EA6B2927B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52be7a50c165e6426d5c4ac6e29578ed2f535cc","datavalue":{"value":{"entity-type":"item","numeric-id":4168661,"id":"Q4168661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$D9800480-8CDF-4FBE-BD87-06E852B07938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb380c40c10a7d9d6dec3becc8293ee7708df6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3710637,"id":"Q3710637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$4088AFB9-701B-492A-867E-6B1B54473EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a662d0a669249953ff028cb36b6fd9630a821f4d","datavalue":{"value":{"entity-type":"item","numeric-id":3523185,"id":"Q3523185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$BC7E79F3-458D-4268-9F69-8C48448D1CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ed243ca508d357e0c9cd701c1345d7231156f5b","datavalue":{"value":"10.1515/GCC-2017-0010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676248$93601FA8-C73E-4C32-8C7C-EA7578F7C774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"980529b8b82cbc0564c2c72ae8da94e8d76a3edf","datavalue":{"value":{"entity-type":"item","numeric-id":2873314,"id":"Q2873314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676248$0035D66A-15F7-406C-BD93-CD701F8FD5ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ac60819ce9da92c96375bd5ff145287fb87be3","datavalue":{"value":{"entity-type":"item","numeric-id":5042554,"id":"Q5042554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617fd2ba9e39309c6fb519da723619313a3002de","datavalue":{"value":{"amount":"+0.8906170725822449","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":"Q1676248$4F26FB5F-64D9-4784-86D6-25C50238B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc3221b43c84ee5dc72f3faf0df7056f4df9f2f","datavalue":{"value":{"entity-type":"item","numeric-id":3650273,"id":"Q3650273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efc2cd5763e971a82bdfe4270f3cb00da556d2b","datavalue":{"value":{"amount":"+0.7973200082778931","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":"Q1676248$C31F91F6-FB77-4F7C-B7FE-7D2CB06C260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c212d4dcca6f687bf07a63bc39f53677d10cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3015224,"id":"Q3015224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7be585638364cbca0cbdab4f825024d2e98b6ec","datavalue":{"value":{"amount":"+0.7368952035903931","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":"Q1676248$6BDAACB5-3A2D-400E-88D7-2F9D9F873448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251b82cd8921e083e39fc7610d2500558482a63a","datavalue":{"value":{"entity-type":"item","numeric-id":4843628,"id":"Q4843628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78437e427d06ca8d341200bcc696484ab26d20a7","datavalue":{"value":{"amount":"+0.7253924608230591","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":"Q1676248$D49DC426-822C-443F-AD6D-D64F941B02C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81af348d21141a19ac55e28e4fb8c4f850d8f0be","datavalue":{"value":{"entity-type":"item","numeric-id":3840191,"id":"Q3840191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78437e427d06ca8d341200bcc696484ab26d20a7","datavalue":{"value":{"amount":"+0.7253924608230591","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":"Q1676248$4C198F64-5052-4157-9B50-202BB493A8E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of the group law for elliptic curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_the_group_law_for_elliptic_curves"}}}}}