{"entities":{"Q5140848":{"pageid":7170419,"ns":120,"title":"Item:Q5140848","lastrevid":100333208,"modified":"2026-06-05T21:52:53Z","type":"item","id":"Q5140848","labels":{"en":{"language":"en","value":"Monotone circuit lower bounds from resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7286923"}},"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":"Q5140848$A515E2DA-2913-4F6C-AB0A-7B799C5A01D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d66657f2af09dc06050c272492f571e9aff8f09","datavalue":{"value":"1462.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$96431D70-70E6-4AE7-B6E6-E93E1AFC2BDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"11632bef515b8b0af0e8d65098d262d28b5f8c42","datavalue":{"value":{"entity-type":"item","numeric-id":2816408,"id":"Q2816408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$4CBC0CDF-C3B9-4B06-B936-5FC03284F059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18e6ec83af5e33cc2c606812b07c45206b57922b","datavalue":{"value":{"time":"+2020-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140848$8619F95A-76EC-446F-B2A5-C72A1DA56857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$15812750-1D74-42C6-82B8-354118AC7AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$B3EC60E6-0DBF-439B-B3BC-A2A210755E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ff42dddfe5f41df416984cf4dad89a0ad78ba0b","datavalue":{"value":"68Q11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$226BA900-2180-4B5F-A58B-FEAB436788A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$41EE251A-CD0E-4508-8CEA-E3F981E64396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ca46f1b9b33fd62283f139d81da49e10cc0fdd5","datavalue":{"value":"7286923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$97C67022-5B3B-4A2D-ADAA-C771A4FBB930","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140848$FF383D5C-86E2-4728-B9A6-A71D96750190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d59f9270ba2c0b3161162dab212fcc774a42eba","datavalue":{"value":"communication complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140848$F74E8D32-802B-43B1-8763-15E4492114BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140848$60F6FC00-D3B0-4545-BBA7-F3CAA4E30C33","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":"Q5140848$02240295-0945-4F8A-BD08-CC79DB1F4924","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c8ec01556d91a09c775374e51536b5183c49dc","datavalue":{"value":"https://doi.org/10.4086/toc.2020.v016a013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140848$AE0CD18D-F52B-4CA1-ACD7-0670C9E98A10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f23869e9ea6d65f55f711220ba254d015fa13b5","datavalue":{"value":"W3108066660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$3340E5D6-51BA-4779-940B-19DECF8D3B0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$2D14421C-B677-44B5-8948-6F7949BADB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab37c5d84d90e738e7a3a9494e03f237a9bc89b3","datavalue":{"value":{"entity-type":"item","numeric-id":4651472,"id":"Q4651472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$1BE45A6A-BC37-4ADF-B1C8-210F31D7C069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25b6e3a78e9a3f320205259f9976f9eabd886a","datavalue":{"value":{"entity-type":"item","numeric-id":4726174,"id":"Q4726174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$81741C8D-52BA-4A21-8E66-27F87D003E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$9787DF2B-4CAB-4F75-99F5-166E1A7BF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff96a8af0b3826c1c1a241367cd86785226e25","datavalue":{"value":{"entity-type":"item","numeric-id":3507523,"id":"Q3507523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$611ADA98-665A-48FB-8125-52894AF4FB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$21BE24B8-921B-4E5A-9B3D-D02327164DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709e1d50f070be223e0da473cbb355b87f902cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1300606,"id":"Q1300606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$09189717-B20C-417C-A9B2-FDBB4374B6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$FC7CF35F-1B4C-4255-9EE1-B336B698DE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e34f183d1ced1b21db31f7847736deae161176","datavalue":{"value":{"entity-type":"item","numeric-id":2281252,"id":"Q2281252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$EABC5FF4-B693-4217-B67E-C27D01304241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$252BE0E0-52DE-48D2-B317-24AFA9A25634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57b076d5d3dc4e86a706ee84b217cc14421121f","datavalue":{"value":{"entity-type":"item","numeric-id":1405737,"id":"Q1405737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$88403124-C5E2-40FE-89E7-54DC366537FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9274ac63c743f8fc0c271c023f25aa6b86ee147b","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$902F30B5-F2BB-4434-AAED-2B9210CB10F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ab25b2c5b531ef1f877f2a0d10019f4a1a2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2422767,"id":"Q2422767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$DFA9DBF3-0635-4C0F-A447-55F837B6D794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa73f31eabcaa7f6edaa43f9cf12d612364b8f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5890971,"id":"Q5890971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$5768445A-C601-441B-A04F-2D812AEE1BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb54321e21d9218519a6e43c2917ccec65444a4","datavalue":{"value":{"entity-type":"item","numeric-id":4554052,"id":"Q4554052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$F992A678-63EA-4A64-BA9E-24E2A8F2ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8df9480a02349eca908ee6217ec5e68a8bfdd41","datavalue":{"value":{"entity-type":"item","numeric-id":4562279,"id":"Q4562279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$03D0D5B2-9B8F-4E92-AA47-8CFB23AC1EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c319765223eb9951c5e88e8efcae6b3b907912b6","datavalue":{"value":{"entity-type":"item","numeric-id":5117373,"id":"Q5117373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$927C1780-ABD7-44BE-B909-1A90686C3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f095a4a7f8183ac852e88454cfd71fb373cf8fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4231908,"id":"Q4231908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$057F93E3-D061-4619-9099-C4C9D06A66B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f3592150048822b9dd2ff2427ca2c5074fd1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1288204,"id":"Q1288204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$4B67E794-C728-4075-8C25-9082E4A57CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7f00af17a7c3b7b43940272b7ad5423f269455","datavalue":{"value":{"entity-type":"item","numeric-id":1685020,"id":"Q1685020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$B11EBA4B-10C6-48BC-B313-5EC8FF02DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d185feafbe17c7f4015ee208c31bd202651a36","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$FB5AE0F7-85FE-419E-8E20-E714BD785F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$BFA3CFC3-4BF2-49DC-A1AD-5A95ADA10BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$0DA66020-F7EB-4AF8-B585-D5A4F50067BC","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":"Q5140848$A4E97A74-EEED-4AA7-A27A-98AF345A650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88182aa7b77c4eb7005a57d5eab42f257cbc74f","datavalue":{"value":{"entity-type":"item","numeric-id":4254700,"id":"Q4254700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$15A5882F-1BBB-443D-B054-3631D639985C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$3EDB25BC-0696-41EB-80D0-046D9908CB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bde4b025fbab0e314d967e2b84c5779cb3c464d","datavalue":{"value":{"entity-type":"item","numeric-id":4764348,"id":"Q4764348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$C02AAD15-9B62-43A6-8AAC-0015FAF1E67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b32bc7767be82b7f69c4a3a7574a2b39f4609fb","datavalue":{"value":{"entity-type":"item","numeric-id":1097640,"id":"Q1097640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$0E211B59-2219-4532-8677-D63E987076D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$C3BF49DD-C659-44D8-81FD-56C80BC0C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$978A7234-31D5-465F-A3BD-ED10A46830C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d37a3ca475cb77acc2d68dd514eedcd93132afb","datavalue":{"value":{"entity-type":"item","numeric-id":5213788,"id":"Q5213788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$7B4CE4C1-A3C8-469D-85BF-4830368A34E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f00391d6550986bc76041b5e4ff60f4bb989a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1977414,"id":"Q1977414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$DB67CC5E-711B-438C-9DCC-784CFEBE5432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c9b92d72030c1a3bcf2681465ffd6f2c8f3566","datavalue":{"value":{"entity-type":"item","numeric-id":952492,"id":"Q952492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$4B605D91-CF61-474E-B1B9-4AAD47E5ECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$B27D663E-0742-448E-A7B0-B5787EB69E33","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":"Q5140848$12AF7829-D739-4381-BE9D-81BD09CFCCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cfcfedcbe685dbdbae84b62b1205ddec05c5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3177773,"id":"Q3177773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$76A5354D-1575-4BCE-BEBA-390F09660605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e66a110865835c12e1e9ee90366a1cba06155f5","datavalue":{"value":{"entity-type":"item","numeric-id":5419039,"id":"Q5419039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$1BEDAA5D-B967-454C-BB71-9DABE193D4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54441d9705258463e7e3ab53493fec37953488","datavalue":{"value":{"entity-type":"item","numeric-id":1566741,"id":"Q1566741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$5CDD89A0-D1F6-461E-818B-55EEEE37857D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1cb13533682ea4db81d75690fd1d0d77bc40a","datavalue":{"value":{"entity-type":"item","numeric-id":2399382,"id":"Q2399382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$17764802-1D77-4EDD-9B54-CB8A4F443524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2e8fdbd72d4413672bdc0a2c0dcc9057a5f41e","datavalue":{"value":{"entity-type":"item","numeric-id":1813126,"id":"Q1813126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$DC335D17-21F3-416D-982E-6A070E466A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$0B5B11DE-CF7A-4B58-8608-8D045DE9FA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0547d8e97e3f0a4bf5120c9a976116c018f99a20","datavalue":{"value":{"entity-type":"item","numeric-id":4284631,"id":"Q4284631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$CF2A3CC2-1506-4DBE-B7CB-BA3D3AB12176","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0963300b8dacf8cfd645a020bbe1a31d76a580f","datavalue":{"value":"10.4086/TOC.2020.V016A013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140848$39FFE7F1-3F6D-43C1-BC41-37D79FC5A03B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838093b358757a675c899cee37dc288026749fc2","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6a929d3e8a58ef1ec36333d8b8027e8fb0c6cf","datavalue":{"value":{"amount":"+0.9934995770454408","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":"Q5140848$667EA7A5-57D2-4BB1-BFA4-0F24CA12B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90840e234ca4509cc4b6a577a5d2a87239e6d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656351101ee453b8d82f221965aa7be0261d5aeb","datavalue":{"value":{"amount":"+0.8419324159622192","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":"Q5140848$40058EDF-8CF8-4673-B6CE-333D5FF0156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a79cc057b5a7b4d70bd4d5d7f8e94dbdfe12fcc","datavalue":{"value":{"entity-type":"item","numeric-id":293309,"id":"Q293309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53053f2231d8456ce708f8a6daef584a0c3ed605","datavalue":{"value":{"amount":"+0.8079128265380859","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":"Q5140848$0657CFAC-2C47-4033-9F80-DC285F191765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fee9f6b3f17440c91e0f24f51695441fe81c9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5928586,"id":"Q5928586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f502454c2d8c5f156dd91ea13f58f87b861a12","datavalue":{"value":{"amount":"+0.8076692223548889","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":"Q5140848$5B926D63-B66C-48F8-8D78-D7770D999D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13035691865ae8935425f2404f426833ab6a9d07","datavalue":{"value":{"entity-type":"item","numeric-id":1288204,"id":"Q1288204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f502454c2d8c5f156dd91ea13f58f87b861a12","datavalue":{"value":{"amount":"+0.8076692223548889","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":"Q5140848$886D5F22-1B65-474A-BA26-86F12FD18CFB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140848$2524AFAA-9F68-472F-8E3E-DB59E5538CFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotone circuit lower bounds from resolution (scientific article; zbMATH DE number 7286923)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monotone_circuit_lower_bounds_from_resolution_(scientific_article;_zbMATH_DE_number_7286923)"}}}}}