{"entities":{"Q3541694":{"pageid":5571598,"ns":120,"title":"Item:Q3541694","lastrevid":80954399,"modified":"2026-05-06T17:22:57Z","type":"item","id":"Q3541694","labels":{"en":{"language":"en","value":"Automated Implicit Computational Complexity Analysis (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374235"}},"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":"Q3541694$5E3646F9-BBC2-4014-808A-0BB3C4EB6611","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3e4adaedca1fb0ca8d7038a7f02a33022b000eb","datavalue":{"value":{"text":"Automated Implicit Computational Complexity Analysis (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541694$FD42D1EB-8572-4250-BF91-C014B9312FD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68143015361d025e87bbece654675e7da501b5b8","datavalue":{"value":"1165.68444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$73AD49BB-0F8D-421E-AD36-9B52D01669D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fa7d5356a275f1242d36093211cdb43c9ddd63b","datavalue":{"value":"10.1007/978-3-540-71070-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$2E216403-74CE-4D2F-82A0-E70ED810E26C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fd57590e3725be1c9d85f29a22c0bc47d438fee","datavalue":{"value":{"entity-type":"item","numeric-id":276249,"id":"Q276249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$B1F714BB-1C60-43ED-A2CD-E985663F26B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$EC76EC57-AAF1-4615-AAEC-18920B5BE0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b065ff7bc673aded16503c248a1e6e05ffd31c","datavalue":{"value":{"entity-type":"item","numeric-id":2915705,"id":"Q2915705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$ECD51A82-4267-4545-903F-CC85EB79AC67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$4A863478-932E-4D46-BAF2-045EFC28AA3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541694$08EE3779-34CB-4FB8-89E5-B00FD8FD330B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$F9009A2D-FA5A-4E4A-A205-876E90C882F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$EC2F58A4-A121-49F9-9F82-F28650872464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$02547C38-ADA9-4477-AB63-D9DDB8DDA878","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b4aa550c184d07e6a87355629ce1342e8d5b618","datavalue":{"value":"5374235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$3F00E182-1A86-47F9-A166-247E5B8A6A3F","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":"Q3541694$2B6FC559-EAAC-4CF2-8688-06ECDB5C3D6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"113433c459a37a6ecbdae8f98dec173b492319d0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541694$183C191D-1A13-49C2-BC1F-CA759F3B28B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc2c66135f1bcab701c5b55329b476fcdccec924","datavalue":{"value":"W86123047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541694$2F754EBF-FD48-495A-A56D-C90DBF8BC397","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7906a47eb4ba0aae569165a9dc42dfacd91e4e6","datavalue":{"value":{"entity-type":"item","numeric-id":2767004,"id":"Q2767004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$DD631B21-C773-44C7-85E1-7A2191D671B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3806101ef2be47fd9dd3f1dc9f2f7f2a26cfccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2740985,"id":"Q2740985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$DF43F39D-86A2-4C92-809F-BB1C1F91689E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e57b6d91da930746a53496e3cff295235f125d9","datavalue":{"value":{"entity-type":"item","numeric-id":1401939,"id":"Q1401939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$B80BBF38-DCDD-49FB-A214-57E8876502C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f173186ddb5c93bde4dadd6ac656a7a8f951996b","datavalue":{"value":{"entity-type":"item","numeric-id":3434631,"id":"Q3434631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$527E65E5-46CD-47B2-83D1-D00C240A5072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99621e475a06a9949839440ae10216c1510f6050","datavalue":{"value":{"entity-type":"item","numeric-id":5458433,"id":"Q5458433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$9F8509EA-DACE-4D81-B291-F30D67E6F342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d47b840da6e06c6e69fcd71f4a10a8c663da85","datavalue":{"value":{"entity-type":"item","numeric-id":5703845,"id":"Q5703845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$E870A3F5-E695-4E0F-B922-2E83D7592092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c98e27597e1b00da89eb2c774407daa08cea5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3525100,"id":"Q3525100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$FC21D591-5634-4A3F-B011-85AF9F1C6FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$BD8A8DFF-56FB-40EB-986A-1BCBABA88838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6651266019565627c00a97534a81480ebf5c20e9","datavalue":{"value":{"entity-type":"item","numeric-id":1318775,"id":"Q1318775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$B34162B9-F07C-414F-A931-634696EB4E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$957F0866-924B-4AA7-9A44-15E87E35A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4469e6646035129caba23b24c5ef3fc5ec70eb","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$A1473CC8-C1A0-4B42-8825-44AAA083994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$C2EC8248-F959-4A35-AEF8-B29D3D4518EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$C21A9660-D375-44D5-BE83-764AC4F96037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$6ECE6BF3-E207-4078-ABAB-EDDB4256312C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$809AC82D-C634-487F-BE5C-2046A359A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bea7f51e9c26537d35bf0baa9c20cc19a19874","datavalue":{"value":{"entity-type":"item","numeric-id":3522024,"id":"Q3522024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541694$297EBB51-A33F-4EA6-8339-FA566EC32648","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be8191c5de949f86484c4d0009a716f9fb975a4","datavalue":{"value":{"entity-type":"item","numeric-id":3558343,"id":"Q3558343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6196573b1b9fe937f8356a1764cf0dc6116a536d","datavalue":{"value":{"amount":"+0.7529197931289673","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":"Q3541694$671A7983-8FB8-4C5C-9E7D-453F20CB672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce505f9754c3baba0e930b4c1c1e51d6b14bf8c","datavalue":{"value":{"entity-type":"item","numeric-id":1827392,"id":"Q1827392"},"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":"Q3541694$0E750E1D-A59A-4D2B-9F64-754374217D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0b7cd0dbfc456463b48090c046c293822d8444","datavalue":{"value":{"entity-type":"item","numeric-id":2865062,"id":"Q2865062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5116110f7320aa768f3f5e90c0754bd5f3e471","datavalue":{"value":{"amount":"+0.7427490949630737","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":"Q3541694$3A786623-2873-4FDD-A9E8-CEBDE5A4A78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a112bf71c98496872166972a8018fcb236e18e2","datavalue":{"value":{"entity-type":"item","numeric-id":5170821,"id":"Q5170821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1f3a8723ad1663f5d705e20fe08dafc8556be2","datavalue":{"value":{"amount":"+0.7402761578559875","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":"Q3541694$5AC18CAA-D757-4198-9CB9-C8F6077E23EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad97092c149002df667598b62aa57a75ff2912f","datavalue":{"value":{"entity-type":"item","numeric-id":1401939,"id":"Q1401939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd32654411b04dd02f3bf12b2c70bb949afde75","datavalue":{"value":{"amount":"+0.7376778721809387","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":"Q3541694$338C31A0-0568-414F-816E-21C2B59235B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Implicit Computational Complexity Analysis (System Description)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_Implicit_Computational_Complexity_Analysis_(System_Description)"}}}}}