{"entities":{"Q6828200":{"pageid":15109144,"ns":120,"title":"Item:Q6828200","lastrevid":56007322,"modified":"2026-02-24T13:01:41Z","type":"item","id":"Q6828200","labels":{"en":{"language":"en","value":"A model-theoretic characterization of constant-depth arithmetic circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106326"}},"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":"Q6828200$DCDC7EF7-F002-4330-AE18-22875074930B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0daabb8b09e1460837679734fa5d7dcb0dbe1ae","datavalue":{"value":{"text":"A model-theoretic characterization of constant-depth arithmetic circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828200$C9D385B3-9282-4661-8678-078490F4EBC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4d1c1f4377803d468b8d9e5ed68d0b1726b1eee","datavalue":{"value":"1477.0312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$344EFF9F-A576-43B1-957E-A590D8274F11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"450ebc902f63acc87839fcdaa333a538f6d9907a","datavalue":{"value":"10.1016/J.APAL.2019.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$4B69DE6A-BE9F-4893-9DFB-8D28E68B82E6","rank":"normal"}],"P16":[{"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":"Q6828200$283F6343-9525-4CA6-B835-8427BC2ED5CC","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":"Q6828200$F5F9919C-DC17-4FFF-BB7F-3455575D2A22","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":"Q6828200$AE3CF00E-8646-4F00-8AFD-607FEC6A547E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828200$160C863E-BAA8-41C4-83B2-E3B714D6AC0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$BCE59638-0A7D-4E2E-BC8B-C87E94C93A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$F0E2A239-8E0A-481D-84D9-A4CC797CB7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$70A487BF-A229-4CC8-BE17-5565C797CB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$352897A8-711F-44BF-BB60-48F07BCE4189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$295E3A91-40C7-42B8-A32A-08058B13EA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3bef573cf8ffd2f334e38c634073ccff16fabce","datavalue":{"value":"7106326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828200$9A589554-1ED6-46D2-89EF-EB9700279F20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828200$70561C91-4542-4867-B478-EC9194E9B1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d79d1f10e9ff15edf1595b2b9336d742d20641","datavalue":{"value":"Fagin's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828200$988C181F-8BF0-4FE3-B1B8-5CD2AFA9EF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916f2a5439f7e4b36d4fe8bc533c45ce2dc6fc9f","datavalue":{"value":"arithmetic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828200$5FC3F4C6-9358-4CB0-B1ED-31C8199DC3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d435b6f8fa5aefb69319ed8da57a094f7d5a961","datavalue":{"value":"counting classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828200$B51264D7-CDFA-4B48-9FF8-90B326523A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0faecc1a2babb6e46c6c3c8f447214a06a09b1","datavalue":{"value":"Skolem function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828200$6ABA0B6F-DA73-4D6B-9462-81AE4BFA041F","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":"Q6828200$03277A2C-EDC5-4076-9EB6-8F7F8788CC51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model-theoretic characterization of constant-depth arithmetic circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model-theoretic_characterization_of_constant-depth_arithmetic_circuits"}}}}}