{"entities":{"Q2904750":{"pageid":2915475,"ns":120,"title":"Item:Q2904750","lastrevid":79695923,"modified":"2026-05-06T14:30:29Z","type":"item","id":"Q2904750","labels":{"en":{"language":"en","value":"Algorithmic meta theorems for circuit classes of constant and logarithmic depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070891"}},"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":"Q2904750$F54B3D34-40E3-4829-A51C-06CE3CFFABA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2c6160931310e08e2a68bf62cbe44c1d4bf5a42","datavalue":{"value":"1245.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904750$33A3F943-A282-4935-A52B-3F8146E239EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87985f4d1b190d4771ed7783c30ea9d5bfe4860f","datavalue":{"value":{"entity-type":"item","numeric-id":390886,"id":"Q390886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904750$250620B1-EEF2-473D-A916-AE57B2AE48FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6da6bb5dd97607ae3cd77cb4a542e0f247dac07e","datavalue":{"value":{"entity-type":"item","numeric-id":850499,"id":"Q850499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904750$EA97B32B-F285-4A06-8D1D-A5869103C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b224aab66ffb4af458805268689af05df667de","datavalue":{"value":{"entity-type":"item","numeric-id":418169,"id":"Q418169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904750$A50368A5-FDFD-4A85-A3C5-9EDE2F8E4538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65565ef421231dd2fa47bb94f379079908ab66d7","datavalue":{"value":{"time":"+2012-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904750$D7423BEF-E227-449C-98B6-E5DB54CBEBFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904750$1184E041-8266-4725-AE1F-009CF7C6DBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904750$19E0E165-B89D-4DEA-B701-8E44B7EAB7B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"253b0b927870d2db0fa90e0e775715c1b034dca1","datavalue":{"value":"6070891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904750$1568530C-52E8-4F95-BB71-4ACC223A0ED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcc714a802c2a9bf32717a61207e15dd0c9a4f5","datavalue":{"value":"algorithmic meta theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904750$66B8D9DB-2B10-42D7-ABAF-520F4BC38A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904750$34CD1149-2F7C-4AD5-8F94-745AF48A0A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904750$51EEDCF7-91F4-4F87-B092-CCFCEDE06622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17e6e28d1a18f7a35b77cc1e7558e6f62021227","datavalue":{"value":"tree width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904750$814038FD-24C1-4A90-854C-539CB7BEB3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dbab920052fb03991fb8196df76a9cb514a720","datavalue":{"value":"tree depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904750$D841A0BB-6AAA-426E-9DC7-2151F89B506A","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":"Q2904750$F9EC4D89-96F2-4AE7-914A-2425D68170F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab90d05380c747e143a83e37cb7c63aca9c8d7fb","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3405/pdf/21.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2904750$F7CBD642-AE71-4D6A-8BD7-37AC1B649CE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61e600f32e1d3c0398fbfdd6467b724014030f20","datavalue":{"value":"W2170478756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904750$5ED7F9C0-D434-450F-85AD-3DC09D075BD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fde136855cf0b879a183ceb672af80836d774ff","datavalue":{"value":"10.4230/LIPICS.STACS.2012.66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904750$F4D0E592-A228-4B07-9A22-43820A8A1E88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8595c9a20366ff05edde3dee77f37e712b96dc31","datavalue":{"value":{"text":"Algorithmic meta theorems for circuit classes of constant and logarithmic depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904750$0A11C8E3-3227-4639-8545-001E3291A74A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6736c905f52ceb98305f29451c3abc398b0c55e","datavalue":{"value":{"entity-type":"item","numeric-id":1736808,"id":"Q1736808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c959d2021a6f1f641bbf9bdc935c0913a49776a","datavalue":{"value":{"amount":"+0.8339411616325378","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":"Q2904750$25A93192-0EDE-4102-BDBB-F91EA013E5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebb6798c08dcc6f5d1fe6a681f07c801ff88386","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210e1863c055bb56374cab276b973511994e7ca8","datavalue":{"value":{"amount":"+0.831191897392273","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":"Q2904750$9817C65D-86A8-4FAD-94A8-C98CC69E0AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c58a61dec834f4b7f9c3b95a266a25aad8b2d03","datavalue":{"value":{"entity-type":"item","numeric-id":4981144,"id":"Q4981144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349c62b2b5cbe19a5864e2ef41e6482f351731ff","datavalue":{"value":{"amount":"+0.8171024918556213","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":"Q2904750$9C6017FC-22FD-400D-9585-8C6F147C5021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4129c26ea981fd386b1fed795912e6ab1527190","datavalue":{"value":{"entity-type":"item","numeric-id":3586492,"id":"Q3586492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d17ae4db7d0dd4fa8ca5804e07ff785754e75e9","datavalue":{"value":{"amount":"+0.8014916777610779","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":"Q2904750$7FC804BA-E8C7-4BBD-A4EA-8647BA147672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bc4c33fb3d9ba5edb19fe036e09dd6b934d24e","datavalue":{"value":{"entity-type":"item","numeric-id":1759681,"id":"Q1759681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93f536a9acc219621659f13f73fa48716d5968e","datavalue":{"value":{"amount":"+0.801282525062561","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":"Q2904750$E3EDBFD4-4CB2-4A69-B21D-FD24E087D1A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic meta theorems for circuit classes of constant and logarithmic depth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_meta_theorems_for_circuit_classes_of_constant_and_logarithmic_depth"}}}}}