{"entities":{"Q2879245":{"pageid":2889965,"ns":120,"title":"Item:Q2879245","lastrevid":83671475,"modified":"2026-05-07T09:56:16Z","type":"item","id":"Q2879245","labels":{"en":{"language":"en","value":"A formal library for elliptic curves in the Coq proof assistant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341475"}},"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":"Q2879245$39C5D516-7A46-4026-8F9D-083A96801E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec5a9ad1524c2df923f9ac27e205e855a15098fc","datavalue":{"value":{"text":"A Formal Library for Elliptic Curves in the Coq Proof Assistant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879245$D96BBF2A-8485-49BD-A3DE-187D1E1C4D2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd8ea8a1845250c0759a3890bf3acc0da8289bef","datavalue":{"value":"1416.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$47538123-3EC0-4828-8448-0C78B1D39EC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fac10456989f938e8f50d9d3149d73e9ef6f1301","datavalue":{"value":"10.1007/978-3-319-08970-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$C1778323-C766-440A-BC9F-1B1C15A8341B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69f35ebb32932b473a7bba698790eb4588030403","datavalue":{"value":{"entity-type":"item","numeric-id":2879244,"id":"Q2879244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879245$51FCC24A-3CAC-4150-ABD3-A42DC441EC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879245$305D6F4B-DB7E-4701-97A2-65D2000D2066","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879245$5D422A21-9EE0-47B0-B790-D443CFA5D0EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-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":"Q2879245$A7172D99-BF45-47FE-8B67-1244938ADEF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f63e30839ad50dff141e225540ff3c6da225dce5","datavalue":{"value":"https://hal.inria.fr/hal-01102288","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879245$CDF205DC-B655-488E-B86C-5EEB8D9399C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$D37F0EF0-A017-4DBA-8BE4-CF07A677ACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$1890EE85-E9A1-490E-88E5-3A950FD1832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$91B9A267-3B4F-4D14-9FAD-E03EA5CAAB63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0db82d8aaa9f5d6f17e78975b8610f3c1e84962","datavalue":{"value":"6341475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$25CB0520-6FD4-476A-A384-C49BF7BE4C3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879245$C38353A6-0297-476B-A657-FA81766F8235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879245$C71BF340-4023-415A-8104-91643661058A","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":"Q2879245$6FDE6169-F8F0-4F4D-A5D2-71482461EEA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9ea1d7087e1686c83526e31c26c59ce350f320d","datavalue":{"value":"W2161080229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879245$F22DB274-5E80-4D7D-B8A5-8E903350C5B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ded7b44e868e737a446df370d0e3ec72b5d945","datavalue":{"value":{"entity-type":"item","numeric-id":1945911,"id":"Q1945911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16fa137256cf5ee0a54b5f66b080668ea1b04500","datavalue":{"value":{"amount":"+0.798388659954071","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":"Q2879245$065CDE6A-86FA-42F8-BBF1-F6BE8513948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49588c07988751ae1273848a4c830db88aadde25","datavalue":{"value":{"entity-type":"item","numeric-id":3523185,"id":"Q3523185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27ca906ec0471ad0842f845a6fedc6d50f1a9d1","datavalue":{"value":{"amount":"+0.7916997671127319","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":"Q2879245$46B31535-DBBB-4388-BE6F-0939EB2065E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7d91309bf622394383d25f2106c7b19e9a3e5d","datavalue":{"value":{"entity-type":"item","numeric-id":2894324,"id":"Q2894324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fcd6cc2eb09d46ebbe8e2dbb766ff49565792d","datavalue":{"value":{"amount":"+0.7425472736358643","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":"Q2879245$2465CED7-5C0F-47F8-A5B6-8B522137D69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372395656e3cd840ba6d1e4e8b873c23b933f33","datavalue":{"value":{"entity-type":"item","numeric-id":4411396,"id":"Q4411396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e9ebf172df7283f781d51412351b83a17b195e","datavalue":{"value":{"amount":"+0.726391077041626","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":"Q2879245$9515911E-49C5-4BB1-AC0E-500072062DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480d17baf5f74d3271b0efc13221a8efda35c37b","datavalue":{"value":{"entity-type":"item","numeric-id":5865699,"id":"Q5865699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7059c9a42b000799a944bdd72421b9ea43db1eae","datavalue":{"value":{"amount":"+0.7186418175697327","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":"Q2879245$20085A80-7013-4C67-B851-FE26C61C7804","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal library for elliptic curves in the Coq proof assistant","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_library_for_elliptic_curves_in_the_Coq_proof_assistant"}}}}}