{"entities":{"Q2980966":{"pageid":2991691,"ns":120,"title":"Item:Q2980966","lastrevid":58079934,"modified":"2026-04-03T17:36:48Z","type":"item","id":"Q2980966","labels":{"en":{"language":"en","value":"Unprovability of circuit upper bounds in Cook's theory PV"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6712180"}},"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":"Q2980966$769E7248-448C-4105-8A76-DCFA2A52AE7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b2b31b0be54779b6b21272848fee9b8ee3e14b","datavalue":{"value":"1448.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980966$BB3E65D8-E6A8-48D0-A5F0-5F110253E9A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aa808fffc9a6a14e34a3601a4d9ecee4fdb6643","datavalue":{"value":"10.23638/LMCS-13(1:4)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980966$6B0D485C-FB24-4D51-A02E-67F64D120497","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":"Q2980966$690013A2-3881-4546-9186-189D1181752C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7805073a5ae9040c991641317a6d3bbe630dcf22","datavalue":{"value":{"entity-type":"item","numeric-id":2125079,"id":"Q2125079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$CC822F7A-8BD6-4858-9673-BC9D1D1F071A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3aaf1d9eb7be8ffa0ffc276984018b68fdacb27c","datavalue":{"value":{"time":"+2017-05-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":"Q2980966$342BC823-BF27-4736-9684-B311BF814790","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77067e131886e7e0716d424e648b21e65ae1fb7e","datavalue":{"value":"https://arxiv.org/abs/1605.00263","type":"string"},"datatype":"url"},"type":"statement","id":"Q2980966$42C9EE9B-56F0-4785-899E-4045ED1F490B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980966$D71CA3D4-7C76-4C90-BC62-1B8DDCBBD31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980966$30D932DA-DEA9-40A5-B643-C48D6500C2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980966$8C8A69B7-4F92-4D05-9266-340EF846240E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8d797c0424654fae52e54f8d058cdaf1f8945f2","datavalue":{"value":"6712180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980966$66BC593F-48C3-4CBB-AA4C-34943A6980B2","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":"Q2980966$EA3A512C-9D40-4BEC-B893-C9BA38220387","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d25331ccecdfb640afdb45d6669e59a83b63dc","datavalue":{"value":{"entity-type":"item","numeric-id":2947539,"id":"Q2947539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$DF3DE3FD-60F1-4130-A645-EC2998A8CFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b58f9e8478a4210509de111b81e4ccd911506","datavalue":{"value":{"entity-type":"item","numeric-id":4086709,"id":"Q4086709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$09938308-CADC-4474-8E2C-6F954140DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$0F2BB219-E715-4487-A870-24D986444E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$395191A9-4376-48D5-9E48-41830F5F80A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1b3541975f21c68128b48b36c15544e39ff063","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$5FDB4FFB-65EF-4BC7-A88E-478189466D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e99b88859c1084b6b9b66a060c1210cf65590c","datavalue":{"value":{"entity-type":"item","numeric-id":5422312,"id":"Q5422312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$E0102B2D-3566-4CB6-95D2-15C16F264435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3049397185803a2386147b2c4db5afa3cf4e87","datavalue":{"value":{"entity-type":"item","numeric-id":3399180,"id":"Q3399180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$04BD17DA-7B87-431E-A878-290E738A63C0","rank":"normal"},{"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":"Q2980966$2E536734-2CC8-4353-8C55-F4E2299EFB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$23799BA8-727D-432A-944F-16682B1E1CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931de89fd04e19357f6e5b8ccff01e105ec8cbb9","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$3FFCE6B0-783E-4998-A6EC-A37B8DBE4A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7c5d2354d993f33fdeacb31af59b367a090d35","datavalue":{"value":{"entity-type":"item","numeric-id":2941756,"id":"Q2941756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$86E6687E-F01B-46D9-A3B4-DA9DC3481D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980966$A36F8951-F25D-4B0F-9138-39827F351A96","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":"Q2980966$DE9A7F32-093C-4078-9AA9-1425F56BAAB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c590b8130d8a3e0e4f26ba36b696ff7a078347ea","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5265fe767ecb8c3e2524cb46d2b63e57771fa47c","datavalue":{"value":{"amount":"+0.76219242811203","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":"Q2980966$ECEB7D7F-A0C0-4874-AAB0-C414C609880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3dfa237c184ea0624768b835a2bb77d1db5f460","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc163b7fc44005d5c64dcb974fe6e5bc8c68f772","datavalue":{"value":{"amount":"+0.7538980841636658","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":"Q2980966$2A6DA8A5-7A98-4E28-8153-B9BE9FB8FA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4c056f5b7980e481a8cd2f1203de9243ef4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1896613,"id":"Q1896613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b68c710b4c480b5ede35878916a3984f27d2a5","datavalue":{"value":{"amount":"+0.7529782652854919","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":"Q2980966$561E9E37-9722-4038-A2FC-40C4ADD38D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8c1de62b280957483abe98a651b5770d6d89b4","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b9bf9e67ccad88f5fec0428cc5500055f710480","datavalue":{"value":{"amount":"+0.717301070690155","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":"Q2980966$C0815BAB-BACD-433E-A726-99750FAAE110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe35f3ff85ab1e2f524ee7dc0f4f408c99269aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2288334,"id":"Q2288334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a73d8f459b45d90650ad3840a9a2ef81d469299","datavalue":{"value":{"amount":"+0.7153870463371277","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":"Q2980966$5EDB8486-F079-4FAE-92F3-782F7A55F417","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2980966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2980966"}}}}}