{"entities":{"Q5222951":{"pageid":7252521,"ns":120,"title":"Item:Q5222951","lastrevid":53469713,"modified":"2026-01-25T00:29:10Z","type":"item","id":"Q5222951","labels":{"en":{"language":"en","value":"A verified efficient implementation of the LLL basis reduction algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076867"}},"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":"Q5222951$8F2B2677-6672-4995-AD4B-C6FDBFD3A831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c799db5bd3c6defb5768c1327686653f0ed69b","datavalue":{"value":{"text":"A Verified Efficient Implementation of the LLL Basis Reduction Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222951$C27D8F0A-751A-4FD2-82AA-53C1B02B3FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"561c412499ca0f4a036a1a61fcab8dd4df589909","datavalue":{"value":"1409.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222951$36221338-53F9-4339-B27D-D2A728E005C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f2f1d2bd01a9a751768a2f79d364b7811b4ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2180229,"id":"Q2180229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$99AEBA3B-476A-41A7-BD91-CABB7EB5E91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a60aaa0b31cf201c3bd6bbf4033ad1d57b0d05","datavalue":{"value":{"entity-type":"item","numeric-id":1791158,"id":"Q1791158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$90DCFC34-EE0D-4F42-B7D7-D70ADDCC81E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$BB547563-EFAA-4F77-AE86-3D616E528720","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$C749543C-9456-4217-A82B-D62B1E4A853C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222951$E7EC3670-887F-481D-995A-9B3CEC3CFF2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222951$9056E543-3ED7-4D17-9422-A224B44419C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"367fd205409074895cfeb6318b6b1025daf76b5a","datavalue":{"value":"7076867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222951$5FAA7F2F-C17A-4688-801F-738F8A69BE4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222951$2A84D668-41D2-4685-AE1D-1B32388355E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222951$C69FE508-450F-45F1-A54E-81793DEF1A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44380bae85286348c66a5482df99cb5e319c713c","datavalue":{"value":"lattice basis reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222951$1F1C2989-94AF-418F-88A8-FEDD67699C78","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aac7c058832ef463bb967772839a9a3a80997b0","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$CBAD6B31-21B5-47B1-92C6-7C2D2830D3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$E85B2A02-F1B5-4241-B381-EC215A3F5DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$3F58D1AE-2336-411C-B9C9-9A2571C58D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4180e6d45516d817fcdae8ba9f56f0c4bf1f8644","datavalue":{"value":{"entity-type":"item","numeric-id":25403,"id":"Q25403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$0032A459-4999-423A-8A54-B9C5F83E5DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1406b419a31579b45a21889bc4b628674d783e3e","datavalue":{"value":{"entity-type":"item","numeric-id":40375,"id":"Q40375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$290E079C-2768-4084-9BA0-85E592B55103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222951$5EF45076-8000-43C8-BF15-36A950098FF8","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":"Q5222951$1BC49735-6C3E-44A4-B8D8-808971458173","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07e28a25c02149f098a5450880b1b8e54bb1a736","datavalue":{"value":"https://doi.org/10.29007/xwwh","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222951$149D1F0E-D6CC-45F9-8B87-6DC4FF50FF97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"219546974f60ed0a8fd9b4b7f3de839f56765f25","datavalue":{"value":"W2907172504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222951$A4993923-CB87-47DF-9FD1-785D27747CA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bac2b0a4a2d49417a83ad20f32d19dd358a9a9a6","datavalue":{"value":"10.29007/XWWH","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222951$7609E382-10ED-4DAE-AEE1-37A345B0161E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565ab030ca5533bdb3f4a9bbd4abfee4bff5a950","datavalue":{"value":{"entity-type":"item","numeric-id":1791154,"id":"Q1791154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9631166194cf80d73d93ba38f1614c2e94e88967","datavalue":{"value":{"amount":"+0.9540590643882751","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":"Q5222951$AA8F4B20-0FFC-4A6F-9A44-9B5FDA51EF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9077e923aa4b6b0939c452acbf80949bf7834e88","datavalue":{"value":{"entity-type":"item","numeric-id":2209537,"id":"Q2209537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e98e0caa317e1e8d8c34e39475d0cfe1f33226c","datavalue":{"value":{"amount":"+0.913353145122528","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":"Q5222951$9097192A-160F-4921-B844-20DCEBA8336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f078b5ae1723f431583caf3e5d9c2ebc34fbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3575152,"id":"Q3575152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5475070a9cd7ea86747079b9eb2d80b800bfaf1","datavalue":{"value":{"amount":"+0.8254377841949463","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":"Q5222951$261E13FE-E4DC-4902-8811-9B24E4626922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb18371c0331514a4582c874dab3142cbf7f052","datavalue":{"value":{"entity-type":"item","numeric-id":3092534,"id":"Q3092534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48778c865b00b56ba805c6ebbca70d1611fa4eb","datavalue":{"value":{"amount":"+0.8128402829170227","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":"Q5222951$8DCA83E2-51B8-4B6F-9BB0-BF442F0AA13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513b33885205c9019979736b3c3cf5ddbcc916d8","datavalue":{"value":{"entity-type":"item","numeric-id":2985850,"id":"Q2985850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6d06360d864abe53f3b7dabaa58e244a5d2989","datavalue":{"value":{"amount":"+0.8109462261199951","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":"Q5222951$5EE777C0-20A1-4B61-8DBA-3270EC013AA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222951"}}}}}