{"entities":{"Q5145309":{"pageid":7174880,"ns":120,"title":"Item:Q5145309","lastrevid":100628660,"modified":"2026-06-05T22:37:20Z","type":"item","id":"Q5145309","labels":{"en":{"language":"en","value":"Model-theoretic characterization of Boolean and arithmetic circuit classes of small depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298760"}},"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":"Q5145309$D697EDFD-E409-4A64-A6D0-7BCF56CAFBAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6daec4afca19593c968d70dcc4c336578cc2cdf2","datavalue":{"value":{"text":"Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145309$B9D4F999-E953-4CBA-AA04-ECF652BC0F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88b8c1c2e7e5dad0e319882e187d91392d5bf7b9","datavalue":{"value":"1497.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$44CE161F-1256-4A64-A0DA-C295C1219E86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2f2b1a746450c3a3a8fe18d7398c83402b08d5e","datavalue":{"value":"10.1145/3209108.3209179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$242F542B-CD00-4C66-9436-4CAB93330E36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b82a23595fbcb5b1156c148fd35f761f8929ef","datavalue":{"value":{"entity-type":"item","numeric-id":235688,"id":"Q235688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145309$F49AA732-3074-492A-9F40-D440A3428A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d4a3572d4234b1be4d3617a99429d9c1074456","datavalue":{"value":{"entity-type":"item","numeric-id":2220443,"id":"Q2220443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145309$FFFC2B56-9E9D-4D75-AD99-22FAA33E8ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145309$FDD18708-8E5D-4A61-887D-65F70DC30E66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145309$6755D1BD-D04F-465D-8B4C-B9C5A362E349","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145309$1DDC0EA3-ADE4-4929-9F62-6E7338BED583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d517e34c17d89de9486f45b325e5f86e9d990f73","datavalue":{"value":"https://arxiv.org/abs/1710.01934","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145309$EAFF4E0C-B94B-4E4E-971A-300462B4C0A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$25C555A9-0A8C-44F5-98C8-11DD850E020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$2260E0AA-BCDE-4C19-B70B-AF2EC30E3C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$4568E7C5-3212-407B-9E54-E9C0A50DE527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da22e69b62dac8ae15da389b49df6f46834c85b5","datavalue":{"value":"7298760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$92D837E6-8954-4D29-99E7-120E8EB343F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916f2a5439f7e4b36d4fe8bc533c45ce2dc6fc9f","datavalue":{"value":"arithmetic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145309$B9075D05-FF40-4A01-BBBD-45640A567D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d435b6f8fa5aefb69319ed8da57a094f7d5a961","datavalue":{"value":"counting classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145309$9C6E73F4-23CB-4DD8-A48A-4D584339521F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145309$60C3AB57-6B11-4E08-B417-012BB82A3683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145309$946D4D83-E13C-4D19-8EB0-7E3768503D0A","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":"Q5145309$F0246B1A-DBB6-4CA3-B4A0-38AB3A57748C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1523e8af3157e3ea9a74279f2304fa1b946b0f3","datavalue":{"value":"W2963145533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145309$7520715F-2B65-4EC4-8A35-0E10EFD56708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8704eddf7938792d74605c5101951228bbf06158","datavalue":{"value":{"entity-type":"item","numeric-id":4850548,"id":"Q4850548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3832d7690c2ab90e72c72cbc4b72267681fac8b7","datavalue":{"value":{"amount":"+0.8004770278930664","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":"Q5145309$3E584254-3A04-4E08-B622-518821F28F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc762fc0fe15cb88a1a9667707bc2b294d70db0","datavalue":{"value":{"entity-type":"item","numeric-id":4938621,"id":"Q4938621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908c5eb157f882c5159669280abefee9bc90586d","datavalue":{"value":{"amount":"+0.7993319034576416","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":"Q5145309$5B54A2C2-0B40-49BC-BE56-78E7C18772B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75476fbf70002bde011c56fd4b3b94f5a61ece14","datavalue":{"value":{"entity-type":"item","numeric-id":5431319,"id":"Q5431319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e48df67a77a27651cf64ab4cc291938832af739","datavalue":{"value":{"amount":"+0.7758768796920776","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":"Q5145309$B6D991E1-A185-44BE-AF1E-70CA36C4CC33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-theoretic characterization of Boolean and arithmetic circuit classes of small depth","badges":[]}}}}}