{"entities":{"Q445240":{"pageid":447007,"ns":120,"title":"Item:Q445240","lastrevid":61872135,"modified":"2026-04-11T02:13:59Z","type":"item","id":"Q445240","labels":{"en":{"language":"en","value":"Low-depth witnesses are easy to find"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6072037"}},"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":"Q445240$096D1BE7-6C8A-4FC3-95FC-EA856E15A0A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2086832b8379788b72f2d9cf719b06a6e2465318","datavalue":{"value":{"text":"Low-depth witnesses are easy to find","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q445240$597DE44A-68A7-4C35-BCFA-067581FB8922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"154548a4cffa50c4a5bef5e6a02052fb954b231c","datavalue":{"value":"1283.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$5BF7297A-DA28-473B-91C2-4C16FF87AEDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$1D43E953-F0DA-4C86-BA18-5646B6695A33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f259cf61d7c77bf32ed117699103d184bb54980e","datavalue":{"value":{"time":"+2012-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q445240$66EC9DCB-7F89-4BC6-8C18-47A20C6DE88A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$2100ADE7-61B9-4A05-A3CC-82B8F98428BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$3BBAEB5E-6FAD-46C4-B021-5507BC7A497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$D812BD08-88D6-4B39-AD3F-F93874AEE9D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab68b29c0811071bee41e4e45a0ac09acc3042c9","datavalue":{"value":"6072037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$77D8C7C6-DEF8-4319-88A1-C3FC283A7886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bddafbf4139c6331ff5804598a6ff6867041c8d","datavalue":{"value":"computational depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q445240$97B5B400-21AB-468C-B501-60339E97F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10767f130622d413b4f576874a6f7ab3196dd77d","datavalue":{"value":"SAT formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q445240$CA5CA73E-34A1-4C5C-B34E-578C5EA42F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q445240$E71032EB-7104-4A94-B9F4-09637DFC535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797ca31b1acf5bf389b0a92a7ae49cb449b952fa","datavalue":{"value":"pseudorandom generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q445240$0986EEBE-C82D-4947-A66E-701E561D5F58","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":"Q445240$C05EEED2-9B04-42B5-8CEB-F682AEA13DEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3be3aa8924e42165c877a61a17d01034b1cc04","datavalue":{"value":"https://doi.org/10.1007/s00037-011-0025-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q445240$33B263F4-7B16-47A3-A277-EAD0306A3BCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c15d1fb69e55eeccdcc4e6a6af8f143fcd93057e","datavalue":{"value":"W2178059285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$0F314170-4DC7-47ED-BC96-1934D2D8FDF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04f50b4c7e075df1e7c4a33323bfd10b78732689","datavalue":{"value":"Q62038772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$46D2ADA9-995B-4E18-B6D4-79B155DFCE34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1830508da3951dbb46c86799b4617a44fbe7e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2368976,"id":"Q2368976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$BD676920-2AD1-44E9-95D0-E3B279D41377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663c83b1b2405da7d703f0e171d190fef0cde5dd","datavalue":{"value":{"entity-type":"item","numeric-id":5541327,"id":"Q5541327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$CFB8DE5B-AC60-48AF-BE28-5334C3C2038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc79bbac2f848100a966a182e11ca63cddd39c35","datavalue":{"value":{"entity-type":"item","numeric-id":4526985,"id":"Q4526985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$3DBD5C7F-822F-4196-A5AB-10CB63C7E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1d4a4467e7a66ae16006a64871f949eba352e","datavalue":{"value":{"entity-type":"item","numeric-id":3149879,"id":"Q3149879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$A0F29565-8B62-412A-B881-89642CFCD808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c071f156dd6170668d977558cde758fa0c05fbdb","datavalue":{"value":{"entity-type":"item","numeric-id":3238703,"id":"Q3238703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$C82601D3-81C6-48E6-8459-65E9BFABB579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c5f4a456f9910b4c4f2a1d73e4561be8a5dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":3214803,"id":"Q3214803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$2DF692BA-8233-48F2-9D13-B7C86F213206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$FCBA86A6-E738-4DDA-9014-A919B1F58D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1299f57f214c4c9659c7db19e25c6d0461799","datavalue":{"value":{"entity-type":"item","numeric-id":5900062,"id":"Q5900062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$2E53FFC8-2AED-4A7B-B7B3-B96A1016C463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fef0cb8ad9a782cc9919c5583879e79345971a","datavalue":{"value":{"entity-type":"item","numeric-id":4788614,"id":"Q4788614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$32CEDCED-7BE1-4350-A543-4D543027FF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$9C46DA6D-D17A-4C5F-8DB4-074A6BDA2650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d022149ece595446a9644635af062a930e4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5674429,"id":"Q5674429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$5D7200EF-CD8F-449F-B948-1B4C3AD0198D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"31bd83af11a6e0c05f288e312ce45fa1815d74a1","datavalue":{"value":"journals/cc/AntunesFPS12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$78B373BA-4258-4F3A-9329-8787882A17CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9cd6a78e6b3697e76c82542df66f6c9b0cfa8e7","datavalue":{"value":"10.1007/S00037-011-0025-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445240$ABC7BF70-1ADE-4F96-85A7-34D5704DEBB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75af0afb593704708bfb93bc4195b769e7ef5890","datavalue":{"value":{"entity-type":"item","numeric-id":503462,"id":"Q503462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$68ADC168-C2B6-4D97-862F-1C5F6FC5D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe4057f7ea6f8b50335cff0c4e37872da7faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1318472,"id":"Q1318472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$B04F13FC-E384-4413-A0B8-56303410B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2f3dd484b33394d0aa4600dbd29383d0f6102d","datavalue":{"value":{"entity-type":"item","numeric-id":2829936,"id":"Q2829936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$449A1C2C-0D60-4250-94CD-30237835D2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5da74352f67ca495b445917bc8e6ce98c50f175d","datavalue":{"value":{"entity-type":"item","numeric-id":503464,"id":"Q503464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$3A2DA53E-7781-4A05-82EC-3F1288C67D36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"02bc07e7fdf69b7795d4694a59f3d739066e6204","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445240$0BE645F2-4C9A-4756-86B2-A05EFD7882DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce013accb8e54fed364eafcf3e67a0fb04b70a54","datavalue":{"value":{"entity-type":"item","numeric-id":2368976,"id":"Q2368976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e884a35f37b39a7d05f1d2b97495f69886739c46","datavalue":{"value":{"amount":"+0.853378176689148","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":"Q445240$1537892D-883E-4F57-A2B3-13B185B30867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7aa7333fa732fe64c999b2106f718230a0046bb","datavalue":{"value":{"entity-type":"item","numeric-id":3010430,"id":"Q3010430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0b8041366806c80220ba4e169370dc8aac94b6","datavalue":{"value":{"amount":"+0.7647398710250854","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":"Q445240$E8C04B61-F81E-4ECD-82E9-7D9F2912F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a1b48439cf054ea2019512c6de6c3171249f23","datavalue":{"value":{"entity-type":"item","numeric-id":1945946,"id":"Q1945946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3883a88b039b7069cc5b1bd04ba09c157aeed5","datavalue":{"value":{"amount":"+0.7511444687843323","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":"Q445240$6CAC66FA-311C-45F4-9DAF-1441E77FA04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30df01d38b09c6a6832bddbafb68eb6adbbda906","datavalue":{"value":{"entity-type":"item","numeric-id":5425324,"id":"Q5425324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a0242774751ab21aec18d5a3994814ed756422","datavalue":{"value":{"amount":"+0.7472299933433533","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":"Q445240$B4B3D339-F164-4FBF-81B4-3243B4646666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d634416118aba833334573fd5676b44e230bd3e","datavalue":{"value":{"entity-type":"item","numeric-id":733740,"id":"Q733740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f772bc1e507d61e4df62d5e124d045bf407bb6ce","datavalue":{"value":{"amount":"+0.7356603741645813","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":"Q445240$8A631830-6296-4097-BD78-077598A5AC06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Low-depth witnesses are easy to find","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Low-depth_witnesses_are_easy_to_find"}}}}}