{"entities":{"Q2013560":{"pageid":2024302,"ns":120,"title":"Item:Q2013560","lastrevid":57664974,"modified":"2026-03-31T20:25:23Z","type":"item","id":"Q2013560","labels":{"en":{"language":"en","value":"Space proof complexity for random 3-CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6758669"}},"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":"Q2013560$5AEF325B-BEA8-4D13-989C-EEE199D3AB07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"882e632ad3227823059f7dd276844d400fd654ee","datavalue":{"value":{"text":"Space proof complexity for random 3-CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013560$14E126E1-BA17-4D60-B80A-D8F5AF08E68D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62ec41b6ea55c7f7d7639ff039ef262f6296aa7","datavalue":{"value":"1423.03242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$EAF6357A-DE9E-4B42-9B19-AB8D09DBFBFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd127ae6d5779c4f17f0db19dfc128c9ddb9529","datavalue":{"value":{"entity-type":"item","numeric-id":345116,"id":"Q345116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$9DA252A8-52D2-4B33-9D83-E037FBAD807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$BF158F58-90DD-46A0-B67C-BF65ADE4B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$8066333D-A426-4BE7-84F7-A46FCEDA7B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ddd222ccf1a5ae1cb7a63ad8da2eca2f092454d","datavalue":{"value":{"entity-type":"item","numeric-id":405130,"id":"Q405130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$E99559C7-C806-4F68-BE9A-2039D4CBFA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc907a1aa4bfc2563f4080cb23175378c58973e","datavalue":{"value":{"entity-type":"item","numeric-id":1401300,"id":"Q1401300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$50364130-62D1-4843-A02F-5C831D7AE6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7050cf4b55db9c7204de1396081c7eb302a43d11","datavalue":{"value":{"entity-type":"item","numeric-id":256983,"id":"Q256983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$AA2EF48C-37A0-42E1-8249-0C93C273A8DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$CCBEF379-0629-429A-A613-BCF15BA77B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103a35658eea03bd788b34f359587c9a72983f21","datavalue":{"value":{"time":"+2017-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013560$1EF26838-6665-4B33-A367-97E002B1EDD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e25fa5d9d64478a9468b602a40877adda14f537","datavalue":{"value":"https://arxiv.org/abs/1503.01613","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013560$EB7625D1-E02D-4178-BD5F-16B36BCEF127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$9034EA83-31CF-4480-BAC6-7AD37C8A0060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$81591FAA-45CC-4FAA-9FFB-6EC16AD5ED7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02ac3b5b11325287f0989de1674850c3351a908f","datavalue":{"value":"6758669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$F14D2D70-490B-46B0-998D-9ECEC2772F8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013560$B171D189-151B-44DE-B4C2-9EB5FAA4BACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013560$122B64CA-9B32-4A3A-B0D6-F0DB7B5AB8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"131f84351190b88f874c821fa0a64d21d265eb35","datavalue":{"value":"monomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013560$AF3515B6-E85C-4D78-AD39-0E6131CCBC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688898b7f0914fbe5b8d434554ba271e0889e596","datavalue":{"value":"random CNFs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013560$BC87C75F-F323-4998-A573-1BB2004A9688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013560$E92291C3-0265-446D-9BD9-FB121870AAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06785476bd23ad1f35cecf5a35ec6b90444c00c","datavalue":{"value":"total space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013560$95AB1B76-5E1F-4D27-8EC5-68173E7A1686","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"daa71d3b283b780c35aedaec26bf30d3871e9933","datavalue":{"value":"Q61732560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$21381ADA-1C19-430A-8508-BB04376394B1","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":"Q2013560$D5ABACCA-2469-418D-BDBE-961FFC80D650","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d02599c9fc54d9b8d033591fdbf738bd1c3af84f","datavalue":{"value":"W2963843567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$CA68F72A-4CC2-4AFA-9A65-D771828797FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$74843DCB-D095-420F-8B95-3B006B8CA445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$D1D70622-F3CF-4E24-AFE4-A6CC1EA07893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e721a886ab92104d29345588e1c4d3ecf64d536","datavalue":{"value":{"entity-type":"item","numeric-id":5501191,"id":"Q5501191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$145168CE-CC22-4D2D-9F97-A900789507A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc74d0a37079acc528a6abb9340c2441ab308aa","datavalue":{"value":{"entity-type":"item","numeric-id":2013560,"id":"Q2013560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$41871512-36CB-495C-8E01-502A44B96BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7dc47292c75d912e93caab28bed0770c481096","datavalue":{"value":{"entity-type":"item","numeric-id":3579186,"id":"Q3579186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$6A7E0923-9811-4D19-B022-604D38FDCC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6faf479906229fdd46db571a53073fcbe56aa416","datavalue":{"value":{"entity-type":"item","numeric-id":2796410,"id":"Q2796410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$3373C710-8727-4ED8-8B40-D41CEF941EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a66e6f9feb6b84a05aaba9138350090cdf622b4","datavalue":{"value":{"entity-type":"item","numeric-id":2829448,"id":"Q2829448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$1819AA48-E590-4600-88CB-D1CA9B43237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ced15fce0c8018e5dfdcdbe2ed656ec7ef7ed09","datavalue":{"value":{"entity-type":"item","numeric-id":5769706,"id":"Q5769706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$AE9B0E03-BE6E-48B7-A1E3-6390B8A00006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5678987ec8897453a8cae14973a4d161fdc0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4598195,"id":"Q4598195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$FEFFD3D3-B80A-417D-8047-1CCAA11995FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$8F9748C4-D7F5-47B9-B440-DDF03DC7DDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845eaabfed9368451854349c91bbdb46d85b1f07","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$4BB3CD09-F56D-40F7-9BCD-5B46D929BD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$63F201C2-6EC4-416F-9CE6-F690B20FF61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$07126577-733F-4AF0-9626-04175923CD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$A74D0AD7-E867-472E-B8A8-4B1BC345944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55ef7e4f75a570fef930a1f823c7040905ef92","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$DD86BB73-602D-4875-949E-7D3FCE9FB0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cccf6ec59504bfefa7c1c1c0cfeeb45e6d53dc","datavalue":{"value":{"entity-type":"item","numeric-id":5326581,"id":"Q5326581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$FD933B57-D280-4D49-8C7F-6D062BA190ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$88EA821A-DF2C-4FCA-A567-0ED35E610835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4534d792f5262a1f297a74f9b43efedcc5cd94ec","datavalue":{"value":{"entity-type":"item","numeric-id":4760022,"id":"Q4760022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$14EC5EFA-9369-4F0A-8BC0-BDFC442AF670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b6745e2bf83540023384ad2f4a2cc1400adfe3","datavalue":{"value":{"entity-type":"item","numeric-id":5189540,"id":"Q5189540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$5B665933-B75F-4590-A661-9933BB6A6729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$33D6742A-2D4E-47F3-A544-FA26F6A08FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f77485a378270a6233ecece066a49004e916fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5066910,"id":"Q5066910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013560$021D40D9-83A3-4C9F-A819-4CADB7B4E473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4c7c6906a79adb3af0ee4a67b31894c71e21af5","datavalue":{"value":"10.1016/J.IC.2017.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013560$88E31F0E-C533-4E01-88C8-8A21B0B4BEB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7403abbe0b174b52489eb4a627270559eb3b83b","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8843fc1a24edaa9cfd2bc8b6d12895398bed760c","datavalue":{"value":{"amount":"+0.8954211473464966","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":"Q2013560$B097E04E-9A51-4306-BBED-2E3782D9A369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51be6310e35be13fca4bd7ca0abeffa20d06c4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4405552,"id":"Q4405552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e42fb8092fb5734f9967543073ec5b0f1ac0b5","datavalue":{"value":{"amount":"+0.864297091960907","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":"Q2013560$D56F00BE-1718-4650-9FCC-9161E1CE6E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a319ea5890c27b101ee57920fb7f9901b1a8e5e5","datavalue":{"value":{"entity-type":"item","numeric-id":2829448,"id":"Q2829448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584d34bace657dc9b164208a852d15401707b3a3","datavalue":{"value":{"amount":"+0.8306151628494263","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":"Q2013560$F0FCE552-2B6F-4C2F-9977-1C9EBC7F5167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb48deac8aa2686961b5bdad46f1ebdafa76ffe","datavalue":{"value":{"amount":"+0.8302433490753174","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":"Q2013560$8C4784A0-1301-4CE5-9857-7D98178AD419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5750a3228104d898b30a426b1f7227709044f445","datavalue":{"value":{"entity-type":"item","numeric-id":5277893,"id":"Q5277893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb48deac8aa2686961b5bdad46f1ebdafa76ffe","datavalue":{"value":{"amount":"+0.8302433490753174","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":"Q2013560$0C6F731B-1FC8-4FDD-9B41-88AF600E691B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013560"}}}}}