{"entities":{"Q2736584":{"pageid":2747323,"ns":120,"title":"Item:Q2736584","lastrevid":47669620,"modified":"2026-01-02T09:32:39Z","type":"item","id":"Q2736584","labels":{"en":{"language":"en","value":"Tautologies from pseudo-random generators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1644427"}},"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":"Q2736584$F8013B2D-A4F1-4F08-BC51-CAE3FB753058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"587438e1d5d480376a3b13ce3a4fe0507388dff8","datavalue":{"value":"0983.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$4F38CF28-E278-4E03-8198-D1A23E215FC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69ba0683a49ac98321e96f3c567bf36c195d4fda","datavalue":{"value":"10.2307/2687774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$6F97E5D4-E5CF-4502-9ECE-200791192753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$85AA085A-32CE-4C6D-A7EB-C18040F46A57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88b3c329e48aa35406e35fc7c5218b06361eef1f","datavalue":{"value":{"time":"+2001-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2736584$A9F2A561-73D4-496D-ABB0-C07904A3564E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cab1c4abe4eecf14a15e468fa6d766e24a7df92d","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0702-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2736584$95338F2B-0C23-4BF4-A0A9-2E630CB9DA2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$84AB65A9-E5D7-4A70-AEE9-1E4DB896BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$F447050B-D058-4DA3-8225-06B70FD19721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$5C0F8770-06F4-4C8B-B966-7D97993D63DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83cb2404c71151522975808cb2751917bd0e1805","datavalue":{"value":"1644427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$AF0279E0-7322-4F6A-B900-CFAEAAF1A70B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bc200d6c450de272a08fa5c19ef28484b1d94","datavalue":{"value":"tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736584$A741D542-A33C-4697-9E40-43742362ADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b57f73093c3cfff7e243fa954bc2178a112228c","datavalue":{"value":"random number generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736584$0BB95763-DC4D-45A8-8455-665FF87AA6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd47a347b22de8f980f4291af6468723da318b6f","datavalue":{"value":"extended Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736584$BB2B3FA6-349D-4C88-ADDA-7FC9841B0F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736584$5D4A45B2-F921-4C20-BDA2-3658B806ED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881dceebcfc2cfaaf48b0eeca275f318bc3a7ae","datavalue":{"value":"hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736584$BA3638F2-5F92-48CF-A57A-5A1239C86205","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":"Q2736584$13CAC778-909A-4FFF-9195-E64B394F3406","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cfc252ddc9939116f4bc877a45f7a6329cc404a","datavalue":{"value":"W2074374872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736584$91B54711-9EDC-4D53-A2FE-6053E86C3FE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$411177B9-0AC8-462D-BB01-58FD2F43A4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$F6D205AC-CFA1-4A46-A7B9-0E9633A6C242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$125C792F-EBF8-4FAA-8208-075A842E1123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$C5CF1C7D-6D11-41A2-989C-A9BE14C4884C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$8698B168-6930-481B-B315-26B55ABF702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$9F453DE3-99DC-462D-9666-E72C9747D817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$41083854-7870-474A-9FF6-B4162E8ED784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$DEE9132C-8DE5-424F-9510-A5915EF9B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$8C5F8558-F514-4028-9EAA-07BF0C9890FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$B5275E49-4FBF-4F15-9098-0FC58072BF1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736584$142887C7-9251-4DF9-9BBA-088EADD18CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8675a5713318c5710a3db055b1b98651314a64b7","datavalue":{"value":{"text":"Tautologies from pseudo-random generators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2736584$F08DDF67-1B0D-48F7-A7F0-8D3232A32850","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62b2b1ad5ca83a00ae1c0182b3cd0ebd98813f8c","datavalue":{"value":"This is the introduction and guide to the author's effort to produce tautologies, hard to be shown to be so, by using random number generators. [The technical side is his ``On the weak pigeonhole principle'', Fundam. Math. 170, No. 1-2, 123-140 (2001; Zbl 0987.03051)]. Here, he starts from the first step: explaining what extended Frege systems are, and why they are used. He gives concise accounts of propositional proof complexity, bounded arithmetic, random generators, and a new hardness condition (called `free'). Also, there are a conjecture, a theorem, relations with pigeonhole principles, and examples and comments. As usual, the author presents a pleasant article: informative, friendly, etc.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736584$37284538-AF68-4810-A76B-311430EA2CDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d4fb9568a7bd9b4eebd05bcf19edb58a76ced7","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109a20c25423ef416eabf1003ed43bb312adb84d","datavalue":{"value":{"amount":"+0.7868977785110474","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":"Q2736584$072ECE91-2F63-442D-90B4-4EAEFF275C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc219eb14ea1247a25247aea7ae48adf1916f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4521285,"id":"Q4521285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c14e29ca9bf28e6ebdc41cb6b0965c33ee37944","datavalue":{"value":{"amount":"+0.7259485721588135","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":"Q2736584$6C8518EA-2373-4492-9264-4D349E49F6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7e579e35267e66e222e086eb9001c9fdf736e1","datavalue":{"value":{"entity-type":"item","numeric-id":5898825,"id":"Q5898825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c14e29ca9bf28e6ebdc41cb6b0965c33ee37944","datavalue":{"value":{"amount":"+0.7259485721588135","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":"Q2736584$492126EC-DEA4-4B0E-A21B-9EC5669BDFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92979ab8e0586da2f4576edf8877ec60b7924fc4","datavalue":{"value":{"entity-type":"item","numeric-id":4375783,"id":"Q4375783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162aadc50a37bd2ebfed85dbb1582356c5407409","datavalue":{"value":{"amount":"+0.7191004753112793","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":"Q2736584$BD3524BD-7B85-4479-876B-3A583C8661CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56f6cc49e8babb67d365ccbe97ecae50ca12879","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eead8152649850d8733848a6e6212c76b09efdcc","datavalue":{"value":{"amount":"+0.7186052799224854","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":"Q2736584$A2C2822E-670F-40C4-8228-CB91EC8BEA1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2736584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2736584"}}}}}