{"entities":{"Q6828774":{"pageid":15112582,"ns":120,"title":"Item:Q6828774","lastrevid":56012338,"modified":"2026-02-24T13:37:51Z","type":"item","id":"Q6828774","labels":{"en":{"language":"en","value":"Natural proofs versus derandomization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579501"}},"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":"Q6828774$8A093597-7C00-4D35-9886-E5185BDD5BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0b96cddb89db16dc6eebc3ae41215e77bd0307","datavalue":{"value":{"text":"Natural proofs versus derandomization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828774$D7B13006-CF29-4C4E-8CB9-0A7EE97CFD63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88b4d0680250849961dbdf2f748b63a7e9a93073","datavalue":{"value":"1339.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$58296518-B487-4EFC-B38B-B72511629CCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cabf97fa9bd2a55b30247d384e3313a24ead4d2","datavalue":{"value":"10.1137/130938219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$0F0DD212-9EDA-4D98-A3DF-3AC311987433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828774$407448DF-EBED-4C87-BCC3-4B132C772F4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828774$B865C7D1-F001-4BD2-BD58-1A53994E9DF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6561d1f3ea76d4fa605c32b6d5b2469c201aaa85","datavalue":{"value":{"time":"+2016-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828774$F8F306BC-8CA3-49DC-B937-A52CADF79608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$A68E12FE-15C1-4057-BFD0-C42DDD25F40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$6278D3FE-0967-4E87-9B61-FE08588EDA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$A88D2908-F404-4270-8588-5CF0A16D927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$D77D34D0-1BEB-4517-B115-0744AE94F079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e10e89f9920401857691cecd7e3e3ed02849425","datavalue":{"value":"6579501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828774$4D90A493-5410-4F15-9984-089851F17EC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828774$7AE8FD82-2C14-4B3E-ABCF-8AB3E113FBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6899f069c3f1042f29e8b176d985cd0bbfe7e26c","datavalue":{"value":"natural proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828774$E5A65728-934D-41E1-82AD-BEAEC10BA333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b780876d6cd571fe1e41341c135a10b0acf751","datavalue":{"value":"derandomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828774$FB0E42D7-8107-40E1-A6B5-67E25861FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2855e518f22b2d4c55c6faf4de9052e8d3c21fc","datavalue":{"value":"randomized computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828774$D5A91900-A4E9-4F12-BF15-CFE5890B0393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828774$11412989-7451-4AF1-B723-E8DEE6CA08A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a66a937660687865993fecd8309ea72f8db0ab45","datavalue":{"value":"ACC","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828774$051E525E-20AF-4990-B17B-710946C89477","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":"Q6828774$86CA67B7-F83A-4E47-9394-E6FE84AF0183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural proofs versus derandomization (scientific article; zbMATH DE number 6579501)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_proofs_versus_derandomization_(scientific_article;_zbMATH_DE_number_6579501)"}}}}}