{"entities":{"Q540405":{"pageid":542172,"ns":120,"title":"Item:Q540405","lastrevid":42571155,"modified":"2025-07-03T14:20:13Z","type":"item","id":"Q540405","labels":{"en":{"language":"en","value":"Van Lambalgen's theorem and high degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903677"}},"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":"Q540405$BC74F8DF-E6D3-4B20-80CB-C1EC36D56173","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d8bfa510ee7fdf1923ce45428507e4e0cd9aea","datavalue":{"value":{"text":"Van Lambalgen's theorem and high degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540405$1B745C12-D2D1-43DB-8C2F-7D553F7A082B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6203b275f2e5bf4d01666a2db6537f8d012a912","datavalue":{"value":"1223.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540405$53232D4C-DEF0-48FE-985C-AE9924F36C5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58cdbdc0dccc6e25384101e63e8c149b1cc0cce2","datavalue":{"value":"10.1215/00294527-1306181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540405$B519B3A0-5316-402E-9D9C-2CA077ABD991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9163e4b1c30abe9858d0cc0679b93b0b20c5b530","datavalue":{"value":{"entity-type":"item","numeric-id":540404,"id":"Q540404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540405$DC245C55-143C-4C71-B446-BDC5B66B4153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540405$4C1641F6-08BE-4ACD-8A1D-0B3C3861FEAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540405$19ECE5EF-6FDA-4AF6-B77E-55FA74EAD514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540405$8CE7946C-12B2-45DF-8E81-374D9DE0322A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cff0b8c9c9dc5a823207879167768e0dfccf7fa0","datavalue":{"value":"In the paper under review, the authors investigate when and where van Lambalgen's theorem fails respectively holds. They prove that:  {\\parindent5.5mm \\begin{itemize}\\item[1)] Each high degree contains a recursively random real so that van Lambalgen's theorem fails;  \\item[2)] Each hyperimmune degree contains a Kurtz random real so that van Lambalgen's theorem fails; \\item[3)] There is a recursively random real that is not Martin-L\u00f6f random and satisfies van Lambalgen's theorem for recursive, Schnorr and Kurtz randomness.  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q540405$32BDD518-748E-4352-8D8B-24CEBE60472A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e7788f229b8213d94373bd7e802bf9837fa05217","datavalue":{"value":{"entity-type":"item","numeric-id":409317,"id":"Q409317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540405$4F7A430E-C824-45B1-91A4-07B91E8A6F39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540405$F2AB9DBD-AD5D-4F4F-B426-BBF753919E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32c8914407821fa6745cad8b38f9796293f0fb32","datavalue":{"value":"5903677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540405$0280917E-7228-4389-B65A-D0EC0E728185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc0068e5ff2bc125a236f712a67b194ea1a05e7","datavalue":{"value":"van Lambalgen's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q540405$63D80230-F9D5-49E3-B71A-09E8E23B3F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"973baea543e358dca20ee0c03d4dd17ffc03ebd5","datavalue":{"value":"Schnorr randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q540405$303D0439-67CE-49AF-BE54-C432FF874D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23055a6b06ac8c307e729c3bf88fd5f96ed5b3c7","datavalue":{"value":"recursive randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q540405$124D37AC-DD7E-423A-9576-A76166251E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8525211378040d226d94af33ef63a30139b38c15","datavalue":{"value":"Kurtz randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q540405$CC50BAFF-B380-42CB-A5F6-F2C380885C5B","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":"Q540405$A33A5B29-63F2-41DE-AA8A-7F45C1EE7D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"136a86943a72cb7672ce2f30be18eda85dbca100","datavalue":{"value":"https://doi.org/10.1215/00294527-1306181","type":"string"},"datatype":"url"},"type":"statement","id":"Q540405$C1B2CDD0-35F8-4B1B-8252-DEEB2B1B40BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb4ffb98f6443800d59c3379703d15cddeebbf81","datavalue":{"value":"W1995163461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540405$F21BDBCC-618E-42C2-9209-097730CF8063","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9481abbabf3deedc0eb6f6275e57ac9c7db87d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1880402,"id":"Q1880402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c54b48f67ab9299e7de9655c6e779e87c45392","datavalue":{"value":{"amount":"+0.88415873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$58D49D6E-3C7E-4413-A237-22B8313B70BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07143b9bf433759f8dd38a011b8052ef728ec20f","datavalue":{"value":{"entity-type":"item","numeric-id":1306430,"id":"Q1306430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5a977c745d38b48a47980935b9d35277d28256","datavalue":{"value":{"amount":"+0.87019295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$3A2EEBAE-CF31-4F3B-84FC-D63810E2A0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c846c366b6a66104a669f97844e5fea96dcdb1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4355680,"id":"Q4355680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c6999de2b1e4fa8802668dbfe9f5ebe8de951e","datavalue":{"value":{"amount":"+0.86515844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$E28DB30D-020A-474A-88F6-561B955549F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fbf2b7bcc2f33a2c7b39a7c5a474470a71baea","datavalue":{"value":{"entity-type":"item","numeric-id":3510102,"id":"Q3510102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae116847c45a2f1ed4b5b8b6a7f6fa87169f9397","datavalue":{"value":{"amount":"+0.857193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$41AF9152-1668-4429-ABEE-3A20B975EEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dae31980ea31669a862df0efdfdc3a74c807c5","datavalue":{"value":{"entity-type":"item","numeric-id":6042830,"id":"Q6042830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9247cc94c6ae1eee2d7fef1c37f6d739d07a1d4","datavalue":{"value":{"amount":"+0.8557477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$88A3F976-9612-487C-966D-05EBFE7D446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741ef09d4ab8d9d26115c92d7e7e94185665af5b","datavalue":{"value":{"entity-type":"item","numeric-id":4226238,"id":"Q4226238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52fac654fee5a0fdcd2af25914d5a2690c55925","datavalue":{"value":{"amount":"+0.85480106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$DD66591C-EA26-4C33-87AD-E492F4F38111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0aee279d0685c12573d9d3d87ca1d39c19b2e50","datavalue":{"value":{"entity-type":"item","numeric-id":5401372,"id":"Q5401372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ccd4bf100a0ec4666db5dd75c83dc17ba195d5","datavalue":{"value":{"amount":"+0.8533061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$80F9A9BB-72CB-4485-B053-9A38C9EB2F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbdb069ae6076c4857c2d89d139eacd4635f093","datavalue":{"value":{"entity-type":"item","numeric-id":5286748,"id":"Q5286748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc91c7c8c8889fb359afd937a95a1b3af64a2466","datavalue":{"value":{"amount":"+0.8529883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$B5B51B7B-DFE5-4977-80A2-38709B77727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c4702f87d4e292de3f051732eb8cd57aab9788","datavalue":{"value":{"entity-type":"item","numeric-id":346743,"id":"Q346743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962b8a62c273dd8e8ba6f13bf4bfbb87e69f123c","datavalue":{"value":{"amount":"+0.8500277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$C56BA285-38B1-4757-83F4-5251430BF081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1d2300f1628ed050089e20a38c126dab9bf22e","datavalue":{"value":{"entity-type":"item","numeric-id":4372719,"id":"Q4372719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83c4e401297f0f0dac970cc97515697224ee091","datavalue":{"value":{"amount":"+0.84971416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q540405$6D81894C-AB1A-44DB-8EE3-811943901F90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:540405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:540405"}}}}}