{"entities":{"Q3890111":{"pageid":5920016,"ns":120,"title":"Item:Q3890111","lastrevid":54755048,"modified":"2026-01-29T20:33:30Z","type":"item","id":"Q3890111","labels":{"en":{"language":"en","value":"On the depth complexity of formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3696498"}},"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":"Q3890111$D5A4D3CF-552C-47E5-B1A2-71D97688043E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9446ec87a21c4741e55ab223955be39f9937f129","datavalue":{"value":{"text":"On the depth complexity of formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3890111$B457619D-D641-4EA5-AA35-AAA29C441830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61518111b4a4d22ac9ab221989536a28b7cc3f54","datavalue":{"value":"0445.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890111$063D227B-D5F3-4C06-A1A7-FFD1EC21980D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"227971a238dd0923c216cac0284278c565be62d5","datavalue":{"value":"10.1007/BF01744302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890111$4EFE62E3-0554-4615-981E-8F2208FA2E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6ed66ce3a679c275c2a96fd5a77d9f8df2a841","datavalue":{"value":{"entity-type":"item","numeric-id":685696,"id":"Q685696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$E7A971B3-A637-4C91-AA5E-5200FF05CC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74fd6b3a8df291eb0ef14a7442cbd4d786a23aca","datavalue":{"value":{"entity-type":"item","numeric-id":804294,"id":"Q804294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$67FEDCDB-3737-4404-B6A6-2EC4E8A7D713","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$90F44F5E-CC97-4403-B48D-8BEC2F8B5B06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3890111$7E9CB8F7-77B9-4DEC-AC57-F0A19D8ACE0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890111$37BC240B-59DF-44CD-A7DA-F4E6E606BCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890111$4DD770A9-3354-425D-8125-74D345345AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a56cffdaec6c5d5d83aabae12f2e69a32b1f6fa0","datavalue":{"value":"3696498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890111$5CB7B188-C55C-4F99-A946-7513869E23AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c6b70f34447197f4cec3c0cf90e8e6e716a665","datavalue":{"value":"depth complexity of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890111$2C2F1489-7DB3-4697-89E2-EA6B39FC12DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483073ae596aeb45e58360bda1736cf0ee2a6a4f","datavalue":{"value":"algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890111$590DD33F-887A-465B-99D5-E05B0AD2746F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890111$092CF9D7-1CB3-45CB-97FE-C267904D0CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e8d3bd790cf1eeb22853b0954d12a194a86299","datavalue":{"value":"arithmetic computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890111$DFC63643-C33E-4BED-8DE7-2D6A3719DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8c39a0e8e3de8b9e384e3cffebc67c0c7c309f7","datavalue":{"value":"computations over finite languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3890111$1AE1C6F2-DDF4-4E64-A054-DB2C95A0456E","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":"Q3890111$9F2E2E43-3870-4549-B45F-D6CB5D29BF4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f84e534a538fedf18b9bcec8a75b52b928aed3","datavalue":{"value":{"entity-type":"item","numeric-id":4135409,"id":"Q4135409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$1A5E5E53-E3C0-4175-9B7B-D915EF690FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8b43b88b90419fb8ad65381b00f82892e6a4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1251213,"id":"Q1251213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$AE6D020B-45B6-4188-8D5B-F4FBB3569EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc3040b7348184db3eacf7d8b95da966aad979d","datavalue":{"value":{"entity-type":"item","numeric-id":4197339,"id":"Q4197339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$D33C993D-556E-4A8C-917D-A8EB01EC1B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7232c11f328ad533f941510b39d7b97b3652a24a","datavalue":{"value":{"entity-type":"item","numeric-id":4058013,"id":"Q4058013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$557FD1B8-C932-4261-95DF-C53BE8B2F69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cbb8ba6d14c8be8cc1ed997cab4c72ede3b0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4114700,"id":"Q4114700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$D3964E26-8202-47FC-88F0-2AA63CEB578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eca87e4d50d31dd7d847ef4f72a6f1a51eb465d","datavalue":{"value":{"entity-type":"item","numeric-id":4102726,"id":"Q4102726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$62F5D641-5250-48CB-903A-96AF182368A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$DB0C6348-3F84-43BD-927A-851020644C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c0053965de559b0d0e8fc7727a00eef380819a","datavalue":{"value":{"entity-type":"item","numeric-id":4195943,"id":"Q4195943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$9001C475-E965-4667-82C2-3767C92AE027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bc21e109d7263d06c61706889eba07cbb27a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1259552,"id":"Q1259552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$7EB64461-24BA-45DD-99EE-EAE7B93697F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4ef2a1a38b56c81df266118bb63175df99c046","datavalue":{"value":{"entity-type":"item","numeric-id":3851094,"id":"Q3851094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$185B4570-EAE5-4508-B2E7-208209E9CCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857d76293368de223128367201210af212393e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4124326,"id":"Q4124326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$F2F55F87-9B6D-493D-B3EB-3FDC279E9C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37fc9515499cef0e7d4a680a5c07d2a0db5e8e9","datavalue":{"value":{"entity-type":"item","numeric-id":4101728,"id":"Q4101728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$2B227BE9-999A-440B-A062-0D3BC35F5613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470f36627f2c68ac24cba1279663eed0f270b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":1253236,"id":"Q1253236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$1005580D-FB27-43F7-A59B-C17895E59D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce19a350454c2cc3f4868c6990114ab9a54ab86","datavalue":{"value":{"entity-type":"item","numeric-id":1132635,"id":"Q1132635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$6BE012B0-4976-4033-AA54-A9AB360B146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed42a67ea4a489bc2843c16fc36181e4361fce2","datavalue":{"value":{"entity-type":"item","numeric-id":5606602,"id":"Q5606602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3890111$DFA36C8C-B6B3-4EA9-A11A-E2D6493DE7AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4db5881be67e392942a63215ba7e3265e39b7c7","datavalue":{"value":"https://doi.org/10.1007/bf01744302","type":"string"},"datatype":"url"},"type":"statement","id":"Q3890111$ACBDC8A1-2287-47E5-B2B5-39F5025B3D8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72711652eab10ec95a0166fbfa6e6b1848b38b2b","datavalue":{"value":"W2033773511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3890111$63B48A65-FF8B-4B6E-9575-EB4DCE0FC52B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3890111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3890111"}}}}}