{"entities":{"Q1827392":{"pageid":1838134,"ns":120,"title":"Item:Q1827392","lastrevid":69422304,"modified":"2026-04-13T06:53:48Z","type":"item","id":"Q1827392","labels":{"en":{"language":"en","value":"Automated higher-order complexity analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083404"}},"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":"Q1827392$FFDEA893-FB92-4A11-9800-E7094A7530EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"401413f09799c14206fe2932dfaf43a458695572","datavalue":{"value":{"text":"Automated higher-order complexity analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827392$87386202-3D87-401F-8CF2-28BD0D8FC290","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7431da0415274e073d0eca4c08bcf89227919863","datavalue":{"value":"1071.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$EB338A6F-369C-4045-A8B6-F8DCE1870C2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"527eb1b95c20c7df4e98fc29a45cb74f2a3bcf07","datavalue":{"value":{"entity-type":"item","numeric-id":1827391,"id":"Q1827391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$4563CB93-5EA2-43FA-9CE3-477E26F57BE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$67451861-A54A-4F47-9289-B384282C6EA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827392$C89FA195-AC49-4720-A6A2-929172EF2048","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$D13C3935-368F-45C7-8198-EC5889422BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$5964A781-2299-40AF-A091-ABD4C2DFBA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$BDCEA7F9-C161-4F2D-A7E3-C9A940A8F922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9a6190041cbc68b4cb85be157aad247dd8d7c3c","datavalue":{"value":"2083404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$6980A719-A0B9-443F-84FC-D136AAB15A0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45db1959b5eb342d430ef93bb5c4062c1567cedb","datavalue":{"value":"Computational complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827392$1DA8A213-D22B-45C8-AEA7-71ED35205CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa4242d13784b2e7e960e770bf3a14d8c7c7d93","datavalue":{"value":"Functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827392$0F866D36-965E-40D2-8EA2-AA562D715E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"173f80da398c46ea030641c03a721eab0533d27a","datavalue":{"value":"Higher-order complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827392$FE949972-E1A1-4FFB-A230-96C0394EABBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9bc06b0dfbec86650a2b13b83ea31e9af3982c","datavalue":{"value":"Program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827392$53DCA7D0-98E5-4A44-8113-00874E064145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675453585f1b7f76a3ffadb0bd80869b7963d2a8","datavalue":{"value":"Feasible mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827392$3F23BFB6-96AE-4B7B-BB60-1E6747894338","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$2228833E-C3A3-4A96-8A9E-B9216D08C2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09c5df2f79cd65e7141b8896d9eb5fe67de7922f","datavalue":{"value":{"entity-type":"item","numeric-id":34466,"id":"Q34466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$37AF3772-9C78-47F9-815D-61FBB52E64D9","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":"Q1827392$3AA3699C-0FD8-4B91-B7F9-D4A9A5B7A74F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a395d5149c1f7f184af3439b28023ad55d33c05","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827392$DC9A0A20-70EA-4053-9856-E850FFCEBA2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"721a8ae66096aa81f178f1e044cb009864202f3b","datavalue":{"value":"W2135155734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$1567195D-986F-4E9B-AB49-349D1281302B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd705a1c4c13e7602f282c4e64be62fd689b41c","datavalue":{"value":{"entity-type":"item","numeric-id":3219093,"id":"Q3219093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$207890D6-066A-4E76-90A9-8A780B061289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31f2c064dbb4fcdff1fc3118ad6dfb9b36c8ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$174278BF-0B51-497C-8686-B2B967ADDD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af030af077caddf71627001b0166593d0dcb358","datavalue":{"value":{"entity-type":"item","numeric-id":1587302,"id":"Q1587302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$2572A7F3-9892-44D5-B417-788CC41BC621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f9e3cebb7fdd43c129b9c9dd01d02c31dd56da","datavalue":{"value":{"entity-type":"item","numeric-id":2740983,"id":"Q2740983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$8B6DB2C5-5BB1-4B63-9E03-AD1222B5E98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$CF9A5B82-E29B-4878-B487-B102893C28AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff528bcaa5014eaab96578160a7b6358e7c9fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":1271558,"id":"Q1271558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$43312D0A-A774-4325-9CF2-C1EEA383206F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$035404A1-F3B2-4E46-9638-3D228B397C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$2D62E13A-B873-4DDC-9151-D0831107A143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$568F37F3-D755-4E19-962C-B0913AFD322D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$902C5127-4FFB-45C0-A2E8-520125FD24C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cb3fb346a089c84331b29f1ea8e1e9e35f4515","datavalue":{"value":{"entity-type":"item","numeric-id":4038672,"id":"Q4038672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$02DCFFF9-FECD-4722-9A9D-2D20705FE0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc822b3b1d5cf1814d59a20db469188e24a0f03e","datavalue":{"value":{"entity-type":"item","numeric-id":4847380,"id":"Q4847380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$B72D524B-F8F1-4AB6-A0D2-FCFC08C7A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$D4EC21F8-A188-488C-8BAF-6AF19F79F576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827392$AAC1D6DC-D611-43B5-BE89-1A974DCF8A6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7027dceea2f2505f5f7c12ef99f1d07ac8cc0e4c","datavalue":{"value":"10.1016/J.TCS.2003.10.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827392$0201E543-9BED-430E-890D-97E1F8173F12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd88ca0660e8456a2d7bf92c81292179babf8bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2740983,"id":"Q2740983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12431441f5901d2f316a250f7d5070b66272747d","datavalue":{"value":{"amount":"+0.8405843377113342","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":"Q1827392$B3055202-69FE-4E61-B357-E7936E5E0F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7079150d9d2f78bda3ae431ad670120f8be60c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e059b29fa6edf0ff3456eb5e911f77f931f6fd43","datavalue":{"value":{"amount":"+0.8132097125053406","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":"Q1827392$26BEB387-6399-4E80-A3A6-DE5E3520D408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29edb4775a7bb76c9b7dd421e258598b41167e20","datavalue":{"value":{"entity-type":"item","numeric-id":5747632,"id":"Q5747632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2430383ef91ab881782666697d34609c0efae3ce","datavalue":{"value":{"amount":"+0.7491369247436523","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":"Q1827392$F20C7C4F-AEF8-4F67-B31B-B34986F3C200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0167a8e85cc0a21e6e246fd6eb257902c92627","datavalue":{"value":{"entity-type":"item","numeric-id":3541694,"id":"Q3541694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e010fc1a58454f16733c0c4bf3992e6a3a3acb","datavalue":{"value":{"amount":"+0.7477788329124451","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":"Q1827392$8E26D014-6C8C-4EB3-8603-75F8A1E9E884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31171f7911c58d5b9af6a1c1ee2b3d9ddd5c1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4645740,"id":"Q4645740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9120095326b2f9d5de64e56ad737630506653df6","datavalue":{"value":{"amount":"+0.7412191033363342","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":"Q1827392$6A453028-82F5-4231-AE86-B70A1E1BF6FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated higher-order complexity analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_higher-order_complexity_analysis"}}}}}