{"entities":{"Q1263857":{"pageid":1274607,"ns":120,"title":"Item:Q1263857","lastrevid":70031079,"modified":"2026-04-13T11:57:59Z","type":"item","id":"Q1263857","labels":{"en":{"language":"en","value":"The proof of Levin's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128139"}},"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":"Q1263857$333A05F9-821C-4925-8EDC-593BA84CADC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f8703a707232a4b7b756e86e9289b59a8cb510e","datavalue":{"value":{"text":"The proof of Levin's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1263857$C665960E-1805-4964-9E85-94970F1DBE07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf6d238e2ddfce830cf2483c9ca831809ca2767f","datavalue":{"value":"0688.60002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263857$B7E4FE95-3611-4687-9795-AFE7F8A9F257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b234509ab16ded637c27e806fd2881c79f3b0afc","datavalue":{"value":{"entity-type":"item","numeric-id":1180010,"id":"Q1180010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263857$90C03337-3E7A-483F-A715-7BD1506C8B33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263857$D8E188E1-137F-48DF-A209-5B2759BE2863","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1263857$DE4CEBE5-CB5B-4E6E-B802-E16BD1B4E63F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ed745d7b6a51425b6c03ceae5808d3ecc19fc24","datavalue":{"value":"This paper deals with the proof of Levin's conjecture and its generalization to the case where the probability distribution is not assumed computable. In the introduction the Levin's conjecture is restated for any finite alphabet ergodic stationary stochastic process with computable probability distribution.    In the next section three theorems are given. Theorem 1 states several inequalities among the Kolmogorov complexity and conditional Kolmogorov complexity. These inequalities can be proved be definition of complexities and by constructing partial recursive functions. Based on this theorem a corollary is given which is useful for the proof of the next two theorems. So Levin's conjecture is the immediate consequence of Theorems 2 and 3.    The author concludes that the Levin's conjecture is also valid in the multidimensional complexity case. This paper contains clear and efficient demonstrations which can be used for teaching purposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$25FDFB52-334D-4907-AA6B-2C8B65B07B0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d26f1f9eed6f770774ab263a8afd39b7f3e8e52","datavalue":{"value":"60A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263857$5043B92E-E78E-4C49-AD02-70FF175151E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263857$69F1B8FA-5513-43FA-834E-2AAD168633C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5b666eafad69c33f38b5f75028993bcb016a6d06","datavalue":{"value":"94A29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263857$8B1F6581-23F2-4CFC-A9F1-3556BD1306C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f49dd74e6cfeea81a6a51567255e1c4853afd305","datavalue":{"value":"60F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263857$8247EF5D-6583-4633-ACCD-097769FF2E81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb0990ffddd82a9f6580e1f226ca51db0cf2c9d7","datavalue":{"value":"4128139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263857$1CE52AD0-1194-4E4A-A240-98942FD5B568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e751ffee7e1a663a5df6a2919449f7631a652fe0","datavalue":{"value":"Hausdorff dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$8A0B8657-A7A9-4482-89C3-C32B6424C193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab0dc1e97022af9cf76844a5581172b7b513058","datavalue":{"value":"entropy of stochastic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$19570FF2-A041-4E1A-BF0D-38F8D79ED42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb4d6c71a111b8531b1602421e3a5278ee69bdc","datavalue":{"value":"coding of sources","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$0EE35CF2-3457-4F0D-BCE7-4F79FF25208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ef5bbc1f45e8ab2ed9f34b38068a7053804a58","datavalue":{"value":"ergodic stationary stochastic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$6F5E5A40-5688-443C-B757-12A5C0C90337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$1681E617-18DF-4357-8214-841806D7E1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79fd5e8eeef856ec8f59fb3e0e29b454cf82f026","datavalue":{"value":"conditional Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263857$5CA631D3-1C21-4A54-8782-81030AD964FC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9f5f744e25ff487119ca4dcb7747380930e760f9","datavalue":{"value":{"entity-type":"item","numeric-id":966669,"id":"Q966669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263857$EE0B7354-44E4-485D-B891-0A1F7223E161","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":"Q1263857$496574DA-3520-47AE-89D1-1C19AF1AA918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0edbb5c78e3af0a71001d5ae2eb43a7d539cef","datavalue":{"value":{"entity-type":"item","numeric-id":391323,"id":"Q391323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea977e9e7f344242cf559f6dd4a52143c17c5ef","datavalue":{"value":{"amount":"+0.7751127481460571","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":"Q1263857$7242EAE8-F25F-4D45-A394-1EE1B810900C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794479ab84430c9a9f551dc72f88708d742bdfb7","datavalue":{"value":{"entity-type":"item","numeric-id":2219055,"id":"Q2219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca2fa34639bfc7a4bd9ed76c57548029ab7aace","datavalue":{"value":{"amount":"+0.7561547160148621","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":"Q1263857$06943C87-126B-4341-9AF2-7328DD258E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e030623fcbb47f38182c2664649a46a2816a8084","datavalue":{"value":{"entity-type":"item","numeric-id":5958285,"id":"Q5958285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e10e3e7f95666c223259ebce1ba13fc54d55ee","datavalue":{"value":{"amount":"+0.7412945628166199","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":"Q1263857$5B5B9F17-0A42-4579-8A18-7ADF601BB9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3063438dfb4fe96c311232349a3c1dccb0fcb86e","datavalue":{"value":{"entity-type":"item","numeric-id":638490,"id":"Q638490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b9eed2e50a074a8499799c82196afae7f74652","datavalue":{"value":{"amount":"+0.7234389185905457","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":"Q1263857$CF9314AE-E9C7-47D5-849D-52FA6FE5D4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdb1b67b51efa4cbc3e34066f93c69328ddb94f","datavalue":{"value":{"entity-type":"item","numeric-id":1587621,"id":"Q1587621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3d51f0f5dfb40c87cdd290ae4ecca1f19ee903","datavalue":{"value":{"amount":"+0.7071499824523926","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":"Q1263857$39B0B6B6-04A4-43ED-A64E-10AF7037E1AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof of Levin's conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof_of_Levin%27s_conjecture"}}}}}