{"entities":{"Q6535225":{"pageid":14146368,"ns":120,"title":"Item:Q6535225","lastrevid":95734358,"modified":"2026-06-05T09:40:26Z","type":"item","id":"Q6535225","labels":{"en":{"language":"en","value":"Clustered relational thread-modular abstract interpretation with local traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770310"}},"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":"Q6535225$2D3256AB-340C-42D6-803A-0658AF319B2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1775a759efcc138c65feebab7d6e7c390a2265d1","datavalue":{"value":{"text":"Clustered relational thread-modular abstract interpretation with local traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535225$A821766A-8346-442E-A474-54BC8DFCCE9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"455f8c80d558ccf040cc4d0f9f8856978f09224a","datavalue":{"value":"1541.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535225$44573029-7726-4BC4-BD52-DE04C9420283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c56169ebabb3fc06672c5b5bb142f3a55cf0b0dc","datavalue":{"value":"10.1007/978-3-031-30044-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535225$D68E96CC-FD0F-45BE-84CB-D3D62F1E7675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7ab73b01f1157bd4769685a2c840a95b597560a","datavalue":{"value":{"entity-type":"item","numeric-id":417673,"id":"Q417673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$708BE4B3-35F4-4A71-9C8B-698CD9F3963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf52f80bef13394c172509c8dd4722353b84ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2145340,"id":"Q2145340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$A72005DE-7B24-4649-8759-DF4CC8998933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$96565FA1-E770-4179-8DE3-AE862E4E640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f8ff0d74b444587c16c95136e7ac730c2f0a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2145341,"id":"Q2145341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$EA93CF0D-7CFB-472D-9575-267D1D6F5C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a01e72257892987bc013aea32c9a5ae6caff4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1785850,"id":"Q1785850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$7C5B8876-2B7B-4F86-9CE2-E11BDB29E6A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535225$AEE97D14-36AD-4C21-AFD4-9045CD9C3D8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535225$8BF30A37-1C2C-49F4-9288-982EC9E210ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535225$944B2AB0-20D0-4368-91CF-638FA6EB70EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535225$45F6B2DC-29DA-4E9C-B0B4-1C343C2FD713","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eec2624d00e039ff75c5a2014b274f28487f0769","datavalue":{"value":"7770310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535225$5D49D84E-616A-48E5-AB27-241E716C9A55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc9f4ae8d6094a4e2a3bab02947b485d07a1260","datavalue":{"value":"thread-modular relational abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535225$DB8C377B-E415-4800-BB9C-8B156EB046F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd306474fa30ca7e295346cc9388a431ab66476","datavalue":{"value":"collecting local trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535225$764B4EE9-E736-40EA-8034-24DEA9BFF1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec925930cd5cb92d73c0f9b0b994159f9e248e79","datavalue":{"value":"clusters","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535225$BAFE8FA2-8E7F-4662-83CE-68CB93583A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074164dfce56251159b3bd4e589bd6cb62072a63","datavalue":{"value":"dynamic thread creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535225$F8939262-5262-4098-B4CD-80461DC0F730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535225$3E63C910-FAB0-4F57-9739-CC29AF81D32B","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":"Q6535225$06661A72-CEE6-4487-8D88-6841D77765E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08b3681895720e957449de19ee1465ab07c6b75","datavalue":{"value":{"entity-type":"item","numeric-id":5096077,"id":"Q5096077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$8CBFB57C-AD95-476A-8436-99764A4EDCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f09f165e27075153884077e663aad87658cda5","datavalue":{"value":{"entity-type":"item","numeric-id":2152641,"id":"Q2152641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$B54717ED-43AE-4CD7-95DE-006D2E20D45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$E7B4EFF0-51BD-446F-8D2D-C8838B461DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8a26f03dc3548a7c73b353d34cb90397767b55","datavalue":{"value":{"entity-type":"item","numeric-id":2961555,"id":"Q2961555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$0E8E22B6-E67B-4D7F-81E9-6859F04DAF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6bf8ea3a9208fbf23006071e6bad2a1a0c34cf","datavalue":{"value":{"entity-type":"item","numeric-id":4994700,"id":"Q4994700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$9E25D61F-3B78-4A1F-B8F8-FC74EAB8779E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6320bcdb669492dcf10c397f92f5845b27f99b66","datavalue":{"value":{"entity-type":"item","numeric-id":845249,"id":"Q845249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$1475A4A2-8F88-47FA-88F1-B6397CCCA8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7de5dcd90bea7a12c122991e2926928f4f9025","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$B4D696F6-F0FE-4D49-A5B9-6EC60AF1599D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49678118938d5a8fee25ec83ca93c5f605f50de8","datavalue":{"value":{"entity-type":"item","numeric-id":1772313,"id":"Q1772313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$783161FB-BC28-4C42-8F0F-6DBC5924ED75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0aca79379a387838fc133fe7df36ce02c51551","datavalue":{"value":{"entity-type":"item","numeric-id":2814105,"id":"Q2814105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$2EE907DC-2C0A-48C2-BA52-7BF082675549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c6be5b948bd0c51b43bd06bdf6774d93d9c414","datavalue":{"value":{"entity-type":"item","numeric-id":1285656,"id":"Q1285656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$184937A7-ED4D-4CE0-934C-B64D8CFE2415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83934c02f3843ed413f8141b583a9f9ababcb9b","datavalue":{"value":{"entity-type":"item","numeric-id":853727,"id":"Q853727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$3A7C4EE8-80F7-41BF-93B7-638F4B675DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2640b79e531e40ec2e2897abbbf746dedd45fa98","datavalue":{"value":{"entity-type":"item","numeric-id":4813408,"id":"Q4813408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$D8874741-4587-4CA4-AE3E-73161C89BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c119a870d11b2fe56df711e0ec4f4e1cb181f010","datavalue":{"value":{"entity-type":"item","numeric-id":1664389,"id":"Q1664389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$BA1A636A-7A1B-4424-8992-30B8D886D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba6b503a485a5ba3018ce82f8545476e481d9e0","datavalue":{"value":{"entity-type":"item","numeric-id":3893271,"id":"Q3893271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$63FFA335-A852-4E4F-B1D9-7DA8F1AF363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42eac228c5c9ce4e3d03036909afb782770de94","datavalue":{"value":{"entity-type":"item","numeric-id":3648708,"id":"Q3648708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$5A772FDE-12F4-417F-8D80-81082A54425F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$4DF034DE-E5D6-4744-B91A-C8D617143F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a3d940939d49fe01cfe49d8fd64fd9a2b28b8b","datavalue":{"value":{"entity-type":"item","numeric-id":988565,"id":"Q988565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$AFC35DCB-DA75-4AC0-B774-D0AE310D1001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$76913B7E-ACC8-4509-B445-F1EB0E54D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$77DE4D82-FA46-4C32-AF08-B2C762DD43D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$20FF51FD-D5D3-4828-9B56-98AE6E01B06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916b447b33fd0f2e33de5d81191dc1f4c7211a06","datavalue":{"value":{"entity-type":"item","numeric-id":2881094,"id":"Q2881094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$7E98FB22-75A2-4C87-A043-F958B85920F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8cebdee5ce8ebffb2744241ec9d9dce81e1052e","datavalue":{"value":{"entity-type":"item","numeric-id":2961579,"id":"Q2961579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$C2F41162-8C3B-4060-974B-B21A6E631D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20484f3ab4a22d506e452e69f83fe1233a75f7c8","datavalue":{"value":{"entity-type":"item","numeric-id":5233246,"id":"Q5233246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$1A24A041-C223-4AF7-9352-E457BB7FC04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0faebee46690155a90c3facee7a2e13f8712461a","datavalue":{"value":{"entity-type":"item","numeric-id":5452614,"id":"Q5452614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$FD9821AF-D454-4590-91AD-ED14F9B327CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c21d12b9dda19a6ed306d8dfc8201c43576616f","datavalue":{"value":{"entity-type":"item","numeric-id":2145342,"id":"Q2145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$D1D9BFE9-2252-4C63-A77E-6785F9D022A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb73b716dfadd98ffbc1ac88c5c382bdc809c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5084314,"id":"Q5084314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$C2D18615-522E-483A-B473-CA1A3AC91E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8c6f4d8dd821b0e467a0d451ebd568098b3dd2","datavalue":{"value":{"entity-type":"item","numeric-id":2145344,"id":"Q2145344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$AE4D1285-9B21-4DBD-B158-87C8EBB3681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$95E9D377-11B0-4BCE-8708-2588EF6FDCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05f84c1eae7d58b1794ec71b77ea8963935fe7a","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$2CF8B14E-4821-44D6-86C6-E82FF9E96090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e273803da7a0294f59fda21c077eb71f05c32036","datavalue":{"value":{"entity-type":"item","numeric-id":6045005,"id":"Q6045005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$26F754D1-B275-427A-9239-52F16536841E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872fe181964b6f3cc456bff65c94d45082825b34","datavalue":{"value":{"entity-type":"item","numeric-id":6166139,"id":"Q6166139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$1EF30B8D-9870-4AD2-A867-4440942EC03D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c3135e5ecebcacbcced1d8b2de756c24ecf692","datavalue":{"value":{"entity-type":"item","numeric-id":2145342,"id":"Q2145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60ecff64f4535ca2dad67248f7877dc6feca601","datavalue":{"value":{"amount":"+0.8210921287536621","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":"Q6535225$1904A5FC-ABED-4243-A519-D585C9D05B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1609815e354014a0213f2a4853304fd3a5213751","datavalue":{"value":{"entity-type":"item","numeric-id":2961579,"id":"Q2961579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba6a10fac0cb0ad0513612522d16699e0177562","datavalue":{"value":{"amount":"+0.8155385851860046","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":"Q6535225$0AA1ABB5-0280-45CF-8870-B0E993CFFEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e119e4eb04887160b9cb7d03680877ce2a9ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8d5edb18320916d6dca139acb5aab7424aa42a","datavalue":{"value":{"amount":"+0.7996430993080139","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":"Q6535225$9B22F7D1-C248-4598-91B4-E0742A2C72EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d727fd8d8bcb9eb5c9df51079744dffa35d93f","datavalue":{"value":{"entity-type":"item","numeric-id":6166139,"id":"Q6166139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ac420a86f1bb7a2e039e248f4c2d3006b7af0d","datavalue":{"value":{"amount":"+0.7451285123825073","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":"Q6535225$B418F615-5D57-4C3B-B7FE-8DE88C0943CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee3dc384d80d204cbfbadff9bc57a551f433448","datavalue":{"value":{"entity-type":"item","numeric-id":3525149,"id":"Q3525149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec5db8c27cbb8373ef3ace3504bcd009bfca393","datavalue":{"value":{"amount":"+0.7117177844047546","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":"Q6535225$2E6C8247-C10F-4C03-AFE4-3DB10B0091C3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535225$24341530-15C1-4931-BBDB-A0CB470D992E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clustered relational thread-modular abstract interpretation with local traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clustered_relational_thread-modular_abstract_interpretation_with_local_traces"}}}}}