{"entities":{"Q466447":{"pageid":468214,"ns":120,"title":"Item:Q466447","lastrevid":62070900,"modified":"2026-04-11T03:34:33Z","type":"item","id":"Q466447","labels":{"en":{"language":"en","value":"Circuit lower bounds in bounded arithmetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361697"}},"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":"Q466447$4A069FA7-6D0B-44E7-BC5A-E870D92DA491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c023cdf20ec276932b6eca57c068bbfaee5b4c3","datavalue":{"value":{"text":"Circuit lower bounds in bounded arithmetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466447$1F806F42-F027-420B-A620-D0CF64466AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e2d34a541f2d27d18d299e495fac9af581c3981","datavalue":{"value":"1341.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$342062F1-822C-4F94-939B-613776E8B07C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$1E4F2097-16F2-4EE5-B18B-2F82217871F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$08A51E08-A825-4E99-ABC6-AED68843F30F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f6f7900ba8ceb723d72b93c818553c4373cdeea","datavalue":{"value":{"time":"+2014-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466447$DA9DFD0F-4A44-4634-81E2-E606A86FC4BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$CB11FFF8-8491-4C24-985B-9DAAF459C792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$802BBDCF-2800-463A-A750-851BB6D785F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$164BD9EC-84AB-4CC3-A6C1-BA5121D0A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$4F2C5F4E-4578-4E8D-AF7F-F68BE4520299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$A6846F22-315F-47ED-AB1B-D9DF0235406C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f50bb49bfec83acaf69df78f1a7a4fc3b01c5492","datavalue":{"value":"6361697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$A8EB5765-B79E-4129-972B-83A755A187AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q466447$E495D6C8-2240-43D8-8ADB-9C73C071DC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d78e5654019584adac44f13a7c02b1ac1c3bfff","datavalue":{"value":"circuit lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q466447$ED139F0C-45F9-48C7-8078-350AC489902F","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":"Q466447$721FA932-8247-43CC-9B0A-68DA8A8B36E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f30418f3711b7f6ff94691e76109b7a48bf7c461","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q466447$936624F8-410E-4F75-99AB-D60920D4D783","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38e6bad473954e80cc5352304a1e8a3efaede938","datavalue":{"value":"W2054191060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$3986DC5B-B24A-4740-99E8-DF3B3B96AB1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$85875004-0EC2-444B-A1E0-B7F38BE135B3","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":"Q466447$6710F445-75BA-4100-9285-AB6DB8077B5A","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":"Q466447$4938904E-0F2C-4C7F-A8F6-0705B7B1E02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$89699F0F-D477-4DAE-91E3-A01F54913598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$BCE70F8D-AE9F-47D1-989C-CD80CD590B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$1C3077FA-EF4C-4A1E-9154-0CFE93D64ADC","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":"Q466447$D612ADDF-2774-4032-86F6-6A1D264CB69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d9257bacf9dc83d7699c2f8365feb77fa5cc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1171050,"id":"Q1171050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$2B91070B-6895-44FD-B095-D41C2FEC7D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a8301ee2a4412c50f6ca3708d56cc316c8339c","datavalue":{"value":{"entity-type":"item","numeric-id":4010360,"id":"Q4010360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$844D90BF-73A1-4F94-901B-7A1B5F9C1A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$7B796A8E-57B9-43AA-88D5-336041C2CBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39418025026f0a76cdabd6c1ba0812c26d9bddd","datavalue":{"value":{"entity-type":"item","numeric-id":4381413,"id":"Q4381413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$AA1AAFF7-3D8B-45A1-9646-FB9A115B8D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b195aa3313cbc2f113266d59b0433801d69fb","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$DD3E5B7E-197F-441C-9018-42A438BC175C","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":"Q466447$869040E1-3E58-4304-9D9E-CEDC34C6AF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$D673A1DC-4E5E-4C47-B590-EB1EDC9DB1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ce0ee9dd19b0828283a55ea3ec0f693a68ede1","datavalue":{"value":{"entity-type":"item","numeric-id":4010368,"id":"Q4010368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$F389F529-142C-43B0-906E-AC247CDCF8E1","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":"Q466447$ACAD7C8B-974C-444D-98FB-1DE6E26F2F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$A7386EC3-16DD-43BA-B6CE-1D71F1348BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$B9001633-EE23-4F8B-A7AF-5FB7E3EF0788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3065df023fcb2411980df376c6fc4777f5d291a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241440,"id":"Q1241440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466447$C0CFB9ED-4D70-45D9-AF6A-ED2D0C7C763C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a62dd1070a9e8e7c3d91dc6c053981346d8e6d6","datavalue":{"value":"10.1016/J.APAL.2014.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466447$AC4CEB5D-4E62-4E97-A390-D8340A9A7E68","rank":"normal"}],"P1643":[{"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":"073e2f1a1a4975336dcb0e9df139d8ad833313f0","datavalue":{"value":{"amount":"+0.8407200574874878","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":"Q466447$59407043-6A35-46AB-AE86-9DE99E3C2F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22429a65a09e2be64934dd4fe3beeb889db2682b","datavalue":{"value":{"entity-type":"item","numeric-id":638497,"id":"Q638497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ad1a5a2d5e1732a48cd338aba80f653e6e7f00","datavalue":{"value":{"amount":"+0.839776873588562","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":"Q466447$ECBECE91-EA9F-4E2C-8A12-FA10B3E1E799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ee24e5941a980d341edec213329522344ee401","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba6f8cd59118e3e1c09f821049387187a9ec080","datavalue":{"value":{"amount":"+0.8097900748252869","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":"Q466447$C8268254-8762-4007-86A1-AB887FAC33CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35944f5b63a9cbe8d8452f8d615659c9128ec2fe","datavalue":{"value":{"amount":"+0.7970865964889526","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":"Q466447$5F707E9A-EB5C-4FA7-BFEB-C0814FB79193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6fd0ba87fcf74775845dfe4993533ca805bdff","datavalue":{"value":{"entity-type":"item","numeric-id":2958529,"id":"Q2958529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35944f5b63a9cbe8d8452f8d615659c9128ec2fe","datavalue":{"value":{"amount":"+0.7970865964889526","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":"Q466447$A7F6387C-A5B4-4435-A53A-9B274E1A81D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circuit lower bounds in bounded arithmetics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Circuit_lower_bounds_in_bounded_arithmetics"}}}}}