{"entities":{"Q5230347":{"pageid":7259915,"ns":120,"title":"Item:Q5230347","lastrevid":53508200,"modified":"2026-01-25T02:28:16Z","type":"item","id":"Q5230347","labels":{"en":{"language":"en","value":"Monotone circuit lower bounds from resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7097053"}},"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":"Q5230347$9FE20555-3E57-4D03-8583-4C84A2BBCE20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"062580feaec2734f0f7c40eb17b73a95db84feb9","datavalue":{"value":{"text":"Monotone circuit lower bounds from resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5230347$37F7FFCF-6168-4A46-A64B-0C9C023E22E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a38f4c2157555c00c45f507d89093921a9664d","datavalue":{"value":"1428.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$90C4882C-8F49-494D-A0A2-0885036771D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b671f3467afabc9683c73353d2d6345d06ae5b1e","datavalue":{"value":"10.1145/3188745.3188838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$BFE18C4D-B7F4-416F-BF15-CDA9BBD6B4F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1105f48e8bbfd733392f29532baa204749fd789d","datavalue":{"value":{"entity-type":"item","numeric-id":5230271,"id":"Q5230271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230347$5BE4D3A5-C950-4062-9E82-6840C50D008F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e2137b88b3b13f5dc18a801021013ed4e793327","datavalue":{"value":{"time":"+2019-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5230347$F65C5658-ACB7-492B-805C-3A5DFA20E8BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edc2da12758a9cc42b0076d4dfeaf65bbaf0003c","datavalue":{"value":"http://infoscience.epfl.ch/record/282317","type":"string"},"datatype":"url"},"type":"statement","id":"Q5230347$95232C7F-8275-4482-8079-362AD61947EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$222B5C08-6B96-4F21-AD09-40D6CE27DC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$92893169-B6E4-4160-98AC-128E8805EAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$DA57338E-2A10-46EF-95CE-AFC4A3B1D0E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22884ea8f5527be0ee554246aeed0b6023a75e0e","datavalue":{"value":"7097053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$12447183-0BDC-4F91-BEC9-3611AA6F327C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230347$9A8C4447-6B83-4E00-879E-B5E735C0340C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230347$21A5B001-6513-4331-BE36-F86286C9200D","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":"Q5230347$073858B4-F4C6-4473-81DF-99D93126FDDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b94253d9e0e47831d84a2ff3c918852e3732eb5","datavalue":{"value":"W2809677183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230347$89B5D5F8-2B5B-494F-A0B8-4A1FC079EF0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25eeb7afec8eebf4e9ccf76cd0064964eede44e4","datavalue":{"value":{"entity-type":"item","numeric-id":5140848,"id":"Q5140848"},"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":"Q5230347$408C8F28-F6B7-4628-B724-B1A62756E05B","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":"3eb7a914b393f0c3f09c4136ae3be259038e0b0c","datavalue":{"value":{"amount":"+0.8512952327728271","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":"Q5230347$7CA2AD7F-D38B-45E8-B04C-6B3B87E460A1","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":"df54183347dbe54a44f7eb0e70a6a1a4b798d5fd","datavalue":{"value":{"amount":"+0.8156856298446655","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":"Q5230347$62838EFB-E5CE-4073-ADB7-BB67E2983F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef0eb876bef17385d9f71bf76a6eb09189bd6cb","datavalue":{"value":{"amount":"+0.8107461929321289","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":"Q5230347$7C81EE0F-DED7-4499-8207-9C5CAD8D229B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6015e0a342a0ec3ce3b36c729c5d44678453c4","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef0eb876bef17385d9f71bf76a6eb09189bd6cb","datavalue":{"value":{"amount":"+0.8107461929321289","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":"Q5230347$A41DE0A8-F366-424E-A444-2F69F6CD1E95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5230347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5230347"}}}}}