{"entities":{"Q2209537":{"pageid":2220280,"ns":120,"title":"Item:Q2209537","lastrevid":71553165,"modified":"2026-04-13T23:01:11Z","type":"item","id":"Q2209537","labels":{"en":{"language":"en","value":"Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268888"}},"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":"Q2209537$3BA8AD99-1A03-499F-8798-817993C15AE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e9678fefb7901f2cb53f99424e658dc074a20c","datavalue":{"value":{"text":"Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209537$306883DA-B844-4714-B9A1-C982275252B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a47df1258175206bc8fac749736fe95ec8f545","datavalue":{"value":"1468.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$0686120A-712A-4D3B-96FD-F5DDE6F1EEB5","rank":"normal"}],"P16":[{"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":"Q2209537$E7384F2C-6C9D-471B-B542-4F399B8BBCC3","rank":"normal"},{"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":"Q2209537$A36839B6-AC9F-41A1-A90C-327EFEA4E902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58fd1b197288e42d9e813642b301f704e52bc06","datavalue":{"value":{"entity-type":"item","numeric-id":333324,"id":"Q333324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$03DB2D24-00B1-4C06-B7CE-4340559C80E1","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":"Q2209537$B7163B11-0BD8-4F35-947D-85F42B107640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fb55f3a9c5499c0144dde6d513c1a285b16f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1648878,"id":"Q1648878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$9504F262-539A-460B-97B9-9D716A562526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cfa54ceaa76f200f8bf9566de4047d7b9e97656","datavalue":{"value":{"entity-type":"item","numeric-id":1785853,"id":"Q1785853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$8EA36A0C-CBAE-4CED-86F6-FD0D1187DD0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$A9DE33FC-B2AB-4707-A3BE-CF042526E4B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209537$C7843A35-5CA8-4C52-93AA-7469797079A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$0ABA9485-A858-4F67-AD9F-1ED8488296E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$D7D01C95-5A65-47A2-9A81-61EC00C7E560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$DB7DBC56-8089-4C1A-95C5-E3539F123898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$B6529A97-7014-4F01-A6B2-8E28BE0C778B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"828b9a92240b3e4eb227fd788f1d834e43547995","datavalue":{"value":"7268888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$9CB1B5F8-F776-4898-B4C8-052A19AA5180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f9f29132fc90e9cfff09118208d358007671e4","datavalue":{"value":"certified algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209537$283A1949-3766-4FAF-8D86-6BC66A1FAE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21661ac8f0dfb65d6b0f0b945fa6b325a603412","datavalue":{"value":"complexity verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209537$8D617F8C-E897-4F4F-9C4D-EDABD97E52A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209537$5F6F601E-800E-4B58-BD22-67D420038495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b7e51b71905e4dce2b85d86bd11add2afd0ad5","datavalue":{"value":"polynomial factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209537$60A9AF37-3F4C-4FE0-BE1C-C4CA8407D642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"175b27407b842225f249da30096facdef917b3b4","datavalue":{"value":"shortest vector problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209537$E959AAD3-ED62-486F-842D-4DB655DD3C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51551bda8c209dc8ec9609b34d2e8ee243b7c189","datavalue":{"value":"verified LLL implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209537$9B40AFF1-A6FD-4640-A073-E88922BA7527","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c58cf843bca1a1f1cdd84046a97bae42467d060d","datavalue":{"value":"Q98649298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$A5973607-BCF1-4A57-BA12-3C5B5DAD17CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$0E9D854D-8009-4B87-B90F-A268C1ADB23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$5D2002BE-1803-4B4E-AB50-EE29FE58FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$40EA8EC0-15E1-4DD9-8A26-8250884FD62C","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":"Q2209537$EE51644E-963D-40A1-BCAE-D226CCB7150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$D05E9E92-2AEF-437A-8596-C8AAC5240D4E","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":"Q2209537$A93079C6-33A5-44D2-87BA-D41269E96360","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":"Q2209537$450AD643-F738-4BAF-B2E3-DDDEDAFAF9AB","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":"Q2209537$F74CDF7B-2F46-4C7C-B487-B2C0A266B8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c491ca24cb85bbd6f9c4698ce87ed511fac835c","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$13FA4EE2-BF12-4472-BCA3-6A9CCFED0BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e520ecc2060c90214fcb5d892d02b4d20a2e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":40371,"id":"Q40371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$93D4B99A-D22A-4FFB-8A57-21E36A6C0C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1927a4f608138065721f92519b11753efdc0d29","datavalue":{"value":{"entity-type":"item","numeric-id":40374,"id":"Q40374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$2BC4E00A-66E0-4C37-A6B5-0EF8FDBDDE87","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":"Q2209537$340B2A52-D365-4A88-B649-CEAEDF473E8C","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":"Q2209537$10C06147-88A3-4115-98B2-0267001C0287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dd86f812f9ed73b007e488e52c74a41f584eefb","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09552-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209537$445A8FD2-E703-4669-A5BA-3C9CBF37359F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04a33283ac3ac6c77977dab9abc6bc1907680aaf","datavalue":{"value":"W3034229215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$9F6EB273-7D66-4218-88EE-1BC10FF74BC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$5020D5FD-BC84-4784-882D-461F21DAEF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc3fb885187142d9fb312c4d7b15a3e31071141","datavalue":{"value":{"entity-type":"item","numeric-id":5222951,"id":"Q5222951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$A12B7CB5-9D22-437C-9DC8-A0F6CE27B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291d4cf6a21f184ed89e23d3d44baace280bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$8CCC2C50-2158-4904-B8B9-0B8BB4D3EC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5362592113f8ee0c3716484bdeb3e0903dfb47fe","datavalue":{"value":{"entity-type":"item","numeric-id":4197335,"id":"Q4197335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$4D7EB97F-80AF-4084-BB61-C2E7940634EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f9b358bef184a43a1b759d46554e4d4bb5b4e0","datavalue":{"value":{"entity-type":"item","numeric-id":1984794,"id":"Q1984794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$D2428E7E-8E9F-4E8E-B9E6-4C41ABE2C1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b190818b5f82dafc43e9beeac1aa33ef180de0b","datavalue":{"value":{"entity-type":"item","numeric-id":1791154,"id":"Q1791154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$032D7C12-C07E-4C38-BFA2-2A733D134A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac92c09f5711e68d3a436d26ad4b42290edc0962","datavalue":{"value":{"entity-type":"item","numeric-id":5916263,"id":"Q5916263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$4996F74C-575B-4CDE-B3C9-2EFE753121A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3cb111961ea4ebcb9bb0bcdcc90cb23fa2d528","datavalue":{"value":{"entity-type":"item","numeric-id":4227353,"id":"Q4227353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$8A725BF3-353A-4A0A-B004-1E1D37A526B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f97e95be859e33663b52106e626b60cd96dc530","datavalue":{"value":{"entity-type":"item","numeric-id":3088000,"id":"Q3088000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$8046B4A3-9046-4D12-AB6C-1CEBD3B4E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$3284FE47-F42D-409D-838A-BCD56AA091C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$89BD0EB5-EE52-43AE-83D9-D35A2D4C08D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c895370f502fabbfd37f9cef6cca95072f41f5a4","datavalue":{"value":{"entity-type":"item","numeric-id":2303244,"id":"Q2303244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$8B9C1940-6D65-4523-9555-7A8732038BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$8305D069-651D-4E48-839D-F33D18BE6C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae1859af926c68156128541f3a5648cb6e9717c","datavalue":{"value":{"entity-type":"item","numeric-id":2719121,"id":"Q2719121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$EEFC0283-868E-45B8-BF33-9C5E3D378CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbfba5386a9300fa0e4804ce40960e92cd42409","datavalue":{"value":{"entity-type":"item","numeric-id":1041163,"id":"Q1041163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$B6997EC9-9009-41A7-9944-11B9521E3D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be601c5bf7825539b84b5a53fa0383fa6e2a1c28","datavalue":{"value":{"entity-type":"item","numeric-id":5056001,"id":"Q5056001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$03B33C34-2667-4C6A-9524-A54ED3BA270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$AE17C7C3-20A2-4468-A26B-90E7B9C2022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$46FB020B-8022-4B8F-BBA7-6CD25EEAA938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59832f60a314c8ca98a8ff21cfb1f65b631dd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4227352,"id":"Q4227352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$C7B6B1AA-BCFA-4CEE-B0AF-5B228D70964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$5520A7A9-554B-4E08-AB0F-15C9E1F41604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e319149c37d6b52294bd736a0b07a908c063038f","datavalue":{"value":{"entity-type":"item","numeric-id":701105,"id":"Q701105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$7431445C-635C-4463-A8CB-60FB33874AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd70e15b35f8a08de7af7e5f78880a55220bcb51","datavalue":{"value":{"entity-type":"item","numeric-id":2862994,"id":"Q2862994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$4776B7B7-7A5B-45E9-8BDA-B944CC2CFD27","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"726a8d2ab2b23a3133dad5d81d53d8c41420ea98","datavalue":{"value":"journals/jar/ThiemannBDHJY20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$D44030EE-549B-4B8A-AC04-161E6695DBC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9babe0e0f7514b2dc2c8658399c3337c2359700","datavalue":{"value":"10.1007/S10817-020-09552-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209537$05DE0E79-A77D-4A99-87FA-B05A1F9A3179","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":"1306d4d3de75e5871cc19bd8ede4320014c4dc00","datavalue":{"value":{"amount":"+0.9462497234344482","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":"Q2209537$230B5A93-35F4-4C70-93A2-0C62D1511DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f049b868eb32e7bc61376510de6e3f3c2ea931","datavalue":{"value":{"entity-type":"item","numeric-id":5222951,"id":"Q5222951"},"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":"Q2209537$20771E58-C63F-4B5A-8C25-5EBC2341B4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294768d042b6fb7b6bb0d0ce5f2d991eb363397e","datavalue":{"value":{"entity-type":"item","numeric-id":1984794,"id":"Q1984794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863f9b6916e240d0a78fa32005342f88da21c1d4","datavalue":{"value":{"amount":"+0.7654107213020325","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":"Q2209537$D6EBBA4E-0E34-4B8D-8FDA-A7DDBCCE9067","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":"c798c1145b342f8ad7067ccc6f33499c60b60658","datavalue":{"value":{"amount":"+0.7571778297424316","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":"Q2209537$57BD7A23-A11A-4894-99D8-40F212221A6E","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":"1962e54600db82a2a1015534349d556783569492","datavalue":{"value":{"amount":"+0.7541907429695129","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":"Q2209537$CF56615A-E9EE-42BC-89F6-2D494D68AAFB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209537$BFC37881-58F8-4587-AEDC-DEAD2FA341A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_the_LLL_basis_reduction_algorithm_and_the_LLL_factorization_algorithm_in_Isabelle/HOL"}}}}}