Matches in Wikidata for { <http://www.wikidata.org/entity/Q98649298> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- Q98649298 description "artículu científicu espublizáu en xunu de 2020" @default.
- Q98649298 description "scientific article published on 09 June 2020" @default.
- Q98649298 description "wetenschappelijk artikel" @default.
- Q98649298 description "наукова стаття, опублікована 9 червня 2020" @default.
- Q98649298 name "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 name "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 type Item @default.
- Q98649298 label "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 label "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 prefLabel "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 prefLabel "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 P1433 Q98649298-CB1D407A-1473-49B2-8A91-376C5257CEC1 @default.
- Q98649298 P1476 Q98649298-14E3F65E-9CF6-4234-A959-B339F3930AFE @default.
- Q98649298 P2093 Q98649298-0939102C-9E77-486F-AB35-E73D430962ED @default.
- Q98649298 P304 Q98649298-E19C5343-A887-4F21-B8C9-5D4B9487EA2E @default.
- Q98649298 P31 Q98649298-D75D63A2-3F60-4518-9CCE-C0F9161FFED3 @default.
- Q98649298 P356 Q98649298-A1E3305A-01FB-49BA-AE13-0212C3A88FD7 @default.
- Q98649298 P433 Q98649298-49143457-0CA5-4D7E-9E36-2BEF4C224960 @default.
- Q98649298 P478 Q98649298-68EBFB0B-6B32-4442-B98A-572428E1CB1D @default.
- Q98649298 P50 Q98649298-08E75431-7462-4B57-B6AE-74E8C6E858AC @default.
- Q98649298 P50 Q98649298-65CEEA38-739A-49C1-81C4-087286B63E54 @default.
- Q98649298 P50 Q98649298-6BF66974-9F32-4D53-9B2C-6FF298B08F87 @default.
- Q98649298 P50 Q98649298-844F4B54-F5BF-4AB7-9836-141341253F5D @default.
- Q98649298 P50 Q98649298-C4496548-1FCF-498F-A234-B75D89D7AB18 @default.
- Q98649298 P577 Q98649298-88139D48-A182-407D-8105-92077747CE37 @default.
- Q98649298 P6104 Q98649298-274C0881-94CB-4403-8CAF-25AB2719E2FD @default.
- Q98649298 P698 Q98649298-8D3C44AE-969E-4919-A0D8-51155D2757F0 @default.
- Q98649298 P894 Q98649298-B6A98D15-30FB-4AD5-B32C-1FE18207062D @default.
- Q98649298 P8978 Q98649298-0F3D7D65-C47C-4840-A6F8-46AE98FE6BFE @default.
- Q98649298 P932 Q98649298-4EAA04B2-99A3-40ED-A22A-5CE1C0FEDD82 @default.
- Q98649298 P356 S10817-020-09552-1 @default.
- Q98649298 P698 32831440 @default.
- Q98649298 P8978 ThiemannBDHJY20 @default.
- Q98649298 P1433 Q6294821 @default.
- Q98649298 P1476 "Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL" @default.
- Q98649298 P2093 "Ralph Bottesch" @default.
- Q98649298 P304 "827-856" @default.
- Q98649298 P31 Q13442814 @default.
- Q98649298 P356 "10.1007/S10817-020-09552-1" @default.
- Q98649298 P433 "5" @default.
- Q98649298 P478 "64" @default.
- Q98649298 P50 Q90699730 @default.
- Q98649298 P50 Q90744210 @default.
- Q98649298 P50 Q90744212 @default.
- Q98649298 P50 Q90744217 @default.
- Q98649298 P50 Q91740316 @default.
- Q98649298 P577 "2020-06-09T00:00:00Z" @default.
- Q98649298 P6104 Q8487137 @default.
- Q98649298 P698 "32831440" @default.
- Q98649298 P894 "1468.68309" @default.
- Q98649298 P8978 "journals/jar/ThiemannBDHJY20" @default.
- Q98649298 P932 "7413592" @default.