{"entities":{"Q2119987":{"pageid":2130730,"ns":120,"title":"Item:Q2119987","lastrevid":43522082,"modified":"2025-07-30T14:03:41Z","type":"item","id":"Q2119987","labels":{"en":{"language":"en","value":"\\textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500653"}},"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":"Q2119987$C00F606C-D48B-424F-B3CD-670ED0699865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942e526cce98b8ac8c436bfd1cece29f6129c409","datavalue":{"value":{"text":"\\textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119987$F4EBC906-3987-4198-806A-857338ECEF21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"988baa467e10c302302f73041f5aa941e49b0ba4","datavalue":{"value":"10.1007/978-3-030-85315-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119987$08C2E30E-4A82-4E71-98D2-D9046A02D50E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a98a696ed1da2ce1f59cb38d17295d0793555bb2","datavalue":{"value":{"entity-type":"item","numeric-id":355514,"id":"Q355514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$0E6ADC7C-09D5-474D-A65E-363BB4B8CAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"464f0fdc8f0ac24a2780ce4feed43050ac87ac2f","datavalue":{"value":{"entity-type":"item","numeric-id":384927,"id":"Q384927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$BAE01DA5-D72F-46E9-9692-9A638983007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$CEE4D99A-35DA-4A9B-97E9-3CBC3CF3B592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81c03505274067db414d1f509933e103827427f","datavalue":{"value":{"entity-type":"item","numeric-id":2119986,"id":"Q2119986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$9B187C6D-F1BF-49D0-8000-D44D5726F7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cb51486d062318d72a3e7127aeccd5361ad436b","datavalue":{"value":{"time":"+2022-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2119987$64F18BD3-E34B-46B7-BE46-D0FF9A1C79A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119987$0E47F3BC-9F9B-47A5-968A-A6147A6CCDC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d15407e4875d5805044d872f7be0073203cc002","datavalue":{"value":"7500653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119987$66270031-D00E-40AF-BEDB-AF67F16C6F8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2871f7cd7a69008c2d902655063f54deaad8160a","datavalue":{"value":{"entity-type":"item","numeric-id":55526,"id":"Q55526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$568FE9AC-911C-47FA-9A9D-A8BFF6A7BDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$E7452B0C-A538-4CEB-92FD-6D854E0232C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bce46bae23f3279b5d301a4fa69c26eb946289f9","datavalue":{"value":{"entity-type":"item","numeric-id":15595,"id":"Q15595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$7D062E4F-58C4-426F-887B-F1FD5E410A2D","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":"Q2119987$1CC15FCA-55E1-4511-B49E-1A8A748759E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da4d4af244177abbe827d130d26a0720ffe6edd2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85315-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119987$3D0C2D41-26EA-4A1A-9998-3427D95D28FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54260b89accba03b2e6399ce1c0e6542a341a985","datavalue":{"value":"W3195668155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119987$3059EB42-AED0-49DE-B061-BF7AF0442784","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$5B797887-6D35-4E24-BB6F-40420ACD0C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$64091878-F681-46B7-8B18-C8D5BA682B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc6ebea65224f43658f7d81f098f8886f4a28f4","datavalue":{"value":{"entity-type":"item","numeric-id":2931783,"id":"Q2931783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$D900822A-EE1A-41E9-A97E-DB8D6B5958AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d3f3d5a110f0be0cd02c430e6ea5352d22667f","datavalue":{"value":{"entity-type":"item","numeric-id":2289065,"id":"Q2289065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$6CC0D8A1-E71E-4477-B378-90785216E8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db974ba6e42f9eed701d7cd97709f9c27896eef7","datavalue":{"value":{"entity-type":"item","numeric-id":276257,"id":"Q276257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$677926EA-E139-450B-B125-8D789A14A781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df050b8b4fa215ee0bb7a41d1fc6b779a27de52e","datavalue":{"value":{"entity-type":"item","numeric-id":5045475,"id":"Q5045475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$9B26609E-24C1-4207-9982-3EC8B4B88A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e310a6e4c7dd191248769828a27c22df80c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3636853,"id":"Q3636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$08A1962D-7C46-49E0-AC99-E7462C86D7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$CB690550-E82B-4335-B1B7-52F85A711572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec15b83eb0fa6ab2b81610663e84c384563a3d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145661,"id":"Q5145661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$6B25AFE0-B70E-457F-8406-FB3AEE89CBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57ab2f7557d73a72d5a8a13ee396dd8e49344ec","datavalue":{"value":{"entity-type":"item","numeric-id":4910427,"id":"Q4910427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$6360A763-6AA9-4498-93F0-B3A99B3FCE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43722a4b87c712d136500ffd0af81386614eda27","datavalue":{"value":{"entity-type":"item","numeric-id":3459427,"id":"Q3459427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$A860C4FD-F6CE-4180-8AFB-A34FC7120202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b36696fbfa33a2626aeba5f5ea079eb20b8686","datavalue":{"value":{"entity-type":"item","numeric-id":1640983,"id":"Q1640983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$3F2F5A55-2B14-425D-8863-C4AA09CDB842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48121bb30f26c529a29e3837bfab8d37bf6b36de","datavalue":{"value":{"entity-type":"item","numeric-id":1255490,"id":"Q1255490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$174195CC-D060-491C-8C2A-7A5FE1B7CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389b580e3b3210aae5eb33afd41ddfb6dd849c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3644757,"id":"Q3644757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$4B14B906-76F1-4074-AB0B-2DBA17EAC1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e916c592018716dea392415fafa9fef540ad254","datavalue":{"value":{"entity-type":"item","numeric-id":5326309,"id":"Q5326309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$10DA6947-D075-4950-8BCA-2EA60E7B7632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$351057AF-EE84-4501-BB4B-AFB5A33C6D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f0e684eee8dd3b64bd2e5e050579a4388e50e7","datavalue":{"value":{"entity-type":"item","numeric-id":4281479,"id":"Q4281479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$81965B56-5893-4177-8990-2D6A5729D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$24316E7B-3508-4EC2-B634-7E78EAF43816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b97d0ce1f0d793ff44da706665516164de38262","datavalue":{"value":{"entity-type":"item","numeric-id":5327446,"id":"Q5327446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$9D789E26-E540-4C11-9539-7836D25FF519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f1c47ef55d751592b3bc453f0176352e781675","datavalue":{"value":{"entity-type":"item","numeric-id":5410639,"id":"Q5410639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$45D2A8CC-1DD7-4B11-850D-34EA5CDF7AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4d3b60d147cb23c7c6afc467f003f6d2c00f84","datavalue":{"value":{"entity-type":"item","numeric-id":1640985,"id":"Q1640985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$995B5380-055F-4255-98C3-223D0C3F9D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a93f82ca92601947c0cc34c3db4de37717002b","datavalue":{"value":{"entity-type":"item","numeric-id":5089032,"id":"Q5089032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$192E8A8C-21CA-4DC7-B124-5441A3C093B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119987$CCF2D251-0DCD-49A9-974F-9741953F34B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119987","badges":[]}}}}}