{"entities":{"Q7361095":{"pageid":31518824,"ns":120,"title":"Item:Q7361095","lastrevid":105362648,"modified":"2026-10-07T13:34:23Z","type":"item","id":"Q7361095","labels":{"en":{"language":"en","value":"Karatsuba Multiplication on Integers"}},"descriptions":{"en":{"language":"en","value":"AFP entry Karatsuba"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6cd22e820bc3efba2e8d0945d1580b8feeb2aed","datavalue":{"value":"https://isa-afp.org/entries/Karatsuba.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361095$4B86533F-E951-4B35-B386-8ECBF9137538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55eaaa493a481ac9a5b670bf3267ec8c8b613843","datavalue":{"value":{"time":"+2024-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361095$4AACDFB7-3A85-4851-9CA3-048D6E43F05F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4dcca79ece633478b0bc0e3b9086a3896de026af","datavalue":{"value":"Jakob Schulz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361095$2E87DD74-8D76-4382-B89D-30ED768EFA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"08e34730e8843d863438c2ad5795ad3f0ee72024","datavalue":{"value":"Emin Karayel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361095$DA19EAB4-9650-4C75-9629-7061FD52C7B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4d70dbc79bba7d2c5dc21865a20ce1fdc333af2","datavalue":{"value":{"text":"Karatsuba Multiplication on Integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361095$15D8FA2C-5DAA-49EF-B1DD-967755616AD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a17aff6f8f5923dea17f45c26735f4dcde59751","datavalue":{"value":"We give a verified implementation of the Karatsuba Multiplication on Integers as well as verified runtime bounds. Integers are represented as LSBF (least significant bit first) boolean lists, on which the algorithm by Karatsuba is implemented. The running time of $O\\left(n^{\\log_2 3}\\right)$ is verified using the Time Monad defined in Root-Balanced Trees by Nipkow.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361095$E2B5BDBC-18A0-46D0-A052-F93722C7AE81","rank":"normal"}],"P223":[{"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":"Q7361095$5B18DF43-3A68-4690-AA86-1742A2CDF230","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361095$B18C1C89-5A23-48EC-BFA1-5CDBAD63D7A0","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c59d6423163046acce1b8b61c05910b8e4e338ca","datavalue":{"value":{"entity-type":"item","numeric-id":7361782,"id":"Q7361782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361095$0AE5729E-EED6-4A32-BAC9-BF78DEAE60D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a1b50723d2d03690232081526273c0239c6837ef","datavalue":{"value":{"entity-type":"item","numeric-id":7361177,"id":"Q7361177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361095$6C530FFC-F601-4FD8-959C-2B2690632DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c19d3d2985ae4c7264c7edf9445a6e4552a316dc","datavalue":{"value":{"entity-type":"item","numeric-id":7361880,"id":"Q7361880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361095$48681775-67AC-40D4-8790-59A924B02539","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"1157f6239d5752bb0ad1cee836272bd46c6bf40f","datavalue":{"value":{"entity-type":"item","numeric-id":7360772,"id":"Q7360772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361095$43C2B73C-BDD0-4F8D-B497-0FD851B6E50A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361095$0EE5E311-18C8-4DB7-886E-AEE7D8AEB62D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Karatsuba Multiplication on Integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Karatsuba_Multiplication_on_Integers"}}}}}