{"entities":{"Q3613425":{"pageid":5643331,"ns":120,"title":"Item:Q3613425","lastrevid":50603771,"modified":"2026-01-14T13:14:14Z","type":"item","id":"Q3613425","labels":{"en":{"language":"en","value":"A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528305"}},"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":"Q3613425$40063D96-8458-4FCF-A261-630D02E6ECF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79684c547bcc67a018e98537ae0e62a2ce78f91b","datavalue":{"value":{"text":"A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613425$70B0E8A2-2436-4292-8872-E868A94A1457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26bd1674aca56b198a5d90659b5d15333b4bfeb7","datavalue":{"value":"1222.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$17CBBB24-5BE9-4863-92D0-A0DB028CFAE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2de62ead8c0c840509353c62ca48cef7910d9fdf","datavalue":{"value":"10.1007/11814771_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$837FE125-93D8-477C-9EF4-D3CBAE9FA933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613425$28378379-8DA9-437C-A550-47369FA1C17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613425$615980CA-768F-4A67-A78D-E7EA0B0AEA23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613425$75DB5B3A-C06E-4FA5-888C-C5E1B7109D2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613425$842DDC16-1484-4DEE-BD64-2D2E9EF7FB1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$EA132F95-C020-445A-91C4-5DAA126E4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$12264A2D-F47E-4241-8725-4F5119A29A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$6885BB6F-6E7C-4581-AC87-BDE009D08E70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78c68a30e11bd33fa6aecc9bf1f49b144e6b76e0","datavalue":{"value":"5528305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$003FBC0A-06C3-4BA4-B4DD-62440E9C6B17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613425$B2B415BB-9207-4B11-868D-34DACC10B864","rank":"normal"},{"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":"Q3613425$AD9F7C45-7814-4FA1-A4AC-5A23730926F0","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":"Q3613425$75606B1F-D834-4E3C-B432-884E51ED9940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae849c695a40386cc5891253ac8299ebc53160b2","datavalue":{"value":"https://doi.org/10.1007/11814771_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613425$4651B497-5A07-48CB-A205-C562F96E60F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f0e350a573a2057abc35bbe9cd183457471f357","datavalue":{"value":"W1652609218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613425$C8BF7973-F7F3-4F6D-B0FB-E8B3DF6996EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0ce1a15a6f8a98914f6aa448f055825b864ff2","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56fa3759bf383b2578417ee5e06201c6658ed76","datavalue":{"value":{"amount":"+0.7388988733291626","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":"Q3613425$A85743BE-5C67-4FD2-828A-802EDB107E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe640dc2885d5ad60732c9cd04956ad01e5c4de","datavalue":{"value":{"entity-type":"item","numeric-id":597112,"id":"Q597112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb63ead304a8d0d4e44be64e93b82df9512b0f2b","datavalue":{"value":{"amount":"+0.7386873364448547","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":"Q3613425$98EFABE0-42DA-4DF5-B681-3A7B69F248F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cfa683e4e84d4df63e52e97fea2c13bca6a792","datavalue":{"value":{"entity-type":"item","numeric-id":5130751,"id":"Q5130751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312a06ce32295395b488f58953842977b0763af2","datavalue":{"value":{"amount":"+0.720217764377594","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":"Q3613425$215B4A08-BFA6-4CCD-9BDD-47385057A6E6","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":"608a8d048e6597655e25677fb5fed2d4c3b454a7","datavalue":{"value":{"amount":"+0.7187966704368591","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":"Q3613425$16120BD3-460F-4040-8004-92B4CDDE3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f7edfbc97a4b2346ef86ace2941499238ff944","datavalue":{"value":{"entity-type":"item","numeric-id":1630031,"id":"Q1630031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0378226f6f6172cb3c06f9b4825da9b18e49c46b","datavalue":{"value":{"amount":"+0.7126538753509521","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":"Q3613425$0B9B2ECE-1633-44FF-BB3B-62E86A91B1F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613425"}}}}}