{"entities":{"Q4521124":{"pageid":6550717,"ns":120,"title":"Item:Q4521124","lastrevid":81916181,"modified":"2026-05-06T19:39:38Z","type":"item","id":"Q4521124","labels":{"en":{"language":"en","value":"Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545073"}},"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":"Q4521124$EE8E2E1D-DDBA-495E-B6AF-746BA370DBF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcadefc1e69dbdae8374b3ae3728c5d3d1b6091c","datavalue":{"value":"0964.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521124$4DC535A4-9BEE-4BE7-AD66-739B4CDA8AAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c1d27f90c5efc0baf8dad41a96c8a8197323785","datavalue":{"value":{"time":"+2001-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4521124$247A1BFC-7159-4240-870F-1F9460957948","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521124$199D39BD-5788-46E8-B40E-529CD271A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521124$7B8C4DDA-EFE2-4903-A872-3890AE02AE57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44f4622596efcff68c8bce48a0bc52efb89a3cf5","datavalue":{"value":"1545073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521124$7132AEEE-BF9F-49BA-A21F-70E7003DAA45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fc2f9489ef404ae4bf0dea04d6d39583d12afd","datavalue":{"value":"promise classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$60BBEEFC-34C9-48D6-B14A-5BCF78CA516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$E692DB8B-5523-4504-8AD8-17AFC63701DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"589e8cf5970d1c14f693ebbdb8f8463e01840241","datavalue":{"value":"counting property of circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$525FF579-CAE9-443F-858F-79D36B54542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b560917f01becf67eaf9d8fcc7a4e9b6d445b2ae","datavalue":{"value":"UP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$D0D0B7BD-589E-432A-A117-3F101007DA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e43dc932953b570dafc299637cab30524604fc","datavalue":{"value":"polynomial-time Turing reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$8E31A94C-9220-4ECF-97D2-33D1C76CAA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$2AE19CD6-A36C-4791-9B66-6B387CD93F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d74016b3171ed5f255980a6a82049735c83eeee","datavalue":{"value":"Rice's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521124$339B27C2-7CAB-4E8D-BF93-8264BA28624D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5843c7c493d4706c03532f63f307f44c46bc641b","datavalue":{"value":{"entity-type":"item","numeric-id":590547,"id":"Q590547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521124$067AE786-6EB2-46B1-8964-205FBE401287","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":"Q4521124$76A2B0AE-87AC-497D-831F-BB5FFCDB669E","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":"Q4521124$0FB2CAA3-7468-4AD8-BC07-43CDD9191344","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee36abf6720defed4a26a2a5defa7719231631f5","datavalue":{"value":"W2024071675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521124$7C332E22-6C16-4FD3-897E-525072DFAB37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290648b376bba76571911edafd0324c7c0a759f2","datavalue":{"value":{"text":"Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4521124$FAB945CE-1FB7-49A4-8310-4082EC9DF826","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a762de9810c86ac82e0b8845927474aa44fc52c4","datavalue":{"value":"10.1002/1521-3870(200010)46:4%3C489::AID-MALQ489%3E3.0.CO;2-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521124$012E7C23-F31D-4A28-BAA3-86C67042BFB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa81384b8a4ddf667c5c3f7ee22b472f63941434","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200010)46:4%3C489::aid-malq489%3E3.0.co;2-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q4521124$06F271F4-A623-4339-B635-1E414FA36891","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a0a0b33a7087fcec315f00bad200329e1b5c98","datavalue":{"value":{"entity-type":"item","numeric-id":4364508,"id":"Q4364508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0000b07fbfb8cbdf1f57b5ac7d575ee4a8cb0000","datavalue":{"value":{"amount":"+0.9157178997993468","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":"Q4521124$A243F359-24AA-488F-A3E6-4D82EFACE68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f94c9be951ddc0fe411362f91d7b38e9a1652d","datavalue":{"value":{"entity-type":"item","numeric-id":4218116,"id":"Q4218116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd46916a69e17574ba0ac041b8092e0de493a73","datavalue":{"value":{"amount":"+0.8887485265731812","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":"Q4521124$465E8657-AF3B-4BA7-9258-3222765E2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777f947b749cc0e00fbf2863045cf9e98af17438","datavalue":{"value":{"entity-type":"item","numeric-id":3189831,"id":"Q3189831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd46916a69e17574ba0ac041b8092e0de493a73","datavalue":{"value":{"amount":"+0.8887485265731812","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":"Q4521124$C9F623B2-8A6B-4746-8E0F-A86A1835418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4545fdf82a5c0fca70c2d4ec605f114bf6a85208","datavalue":{"value":{"entity-type":"item","numeric-id":1575716,"id":"Q1575716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd4e78596a6ffbce646014cbaa2dd80491f9a79","datavalue":{"value":{"amount":"+0.8617416024208069","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":"Q4521124$A4CA5608-E89A-486C-AE68-D83CAA33042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa01612505ca26c7fd3780a7074d40b55fc8cc53","datavalue":{"value":{"entity-type":"item","numeric-id":2179364,"id":"Q2179364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4770fd6d92645be134f4a3935c48ccf14773751e","datavalue":{"value":{"amount":"+0.8611364960670471","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":"Q4521124$A7C8D13B-2636-40C9-95B2-446E5C4D0CF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory","badges":[]}}}}}