{"entities":{"Q2145342":{"pageid":2156085,"ns":120,"title":"Item:Q2145342","lastrevid":57751455,"modified":"2026-04-01T06:47:38Z","type":"item","id":"Q2145342","labels":{"en":{"language":"en","value":"Improving thread-modular abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543923"}},"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":"Q2145342$073ACC40-15E7-40C9-87E1-708262957930","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3600bf876bf6e270f04ec2d1758081ca300a7487","datavalue":{"value":{"text":"Improving thread-modular abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145342$2B81E17A-00FB-4092-BBF9-CB1F17B74F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1ce2b6ff2633a6132edf4e443b91e00ca8f523","datavalue":{"value":"1497.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$95ED7C43-ECCA-4C0E-9008-175F9AC0A996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed54262a1b40ff9d10c8fc865a4ad0cee0c6c0f1","datavalue":{"value":"10.1007/978-3-030-88806-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$608B23DA-BB50-46D2-BBB3-7863BEE9C6FD","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":"Q2145342$35224950-30F8-4751-8E91-FC3CC17506C1","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":"Q2145342$73AB1826-F8B6-499E-846C-E79654D35DEE","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":"Q2145342$171D7E36-52A7-4252-BBB6-8545BD326315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc0aaa36aa4d97c2b667ea61078255881d224490","datavalue":{"value":{"entity-type":"item","numeric-id":1785849,"id":"Q1785849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$E9E20CCE-7CFC-4C11-88BB-E7B95ABC43E1","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":"Q2145342$1F1CB32D-6C4B-4E9E-A5D1-9A1DD484C398","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":"Q2145342$0C35E15B-8722-4D0F-9BB9-10DD8488D8A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145342$5F484296-ABAD-4AC3-8AC6-A99219DF86DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"448887625792a2d126ebedf2377a2eb1d61a8794","datavalue":{"value":"https://arxiv.org/abs/2108.07613","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145342$6B75D8FF-E0D1-4FC6-A683-4BDB30FC2FE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$90CAE1D1-431B-455F-BF91-678815FE210D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$75DE929E-9A94-4644-9112-854F363B7BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$13E0D5F3-DFC4-4753-8001-EFBFE7379420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$63C191D1-661E-4396-A671-7E642D7A716B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f9a22bd841e5f69962973a1609ef319d7f77448","datavalue":{"value":"7543923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$560C3E3D-918C-4F06-BAA1-6D83B6423328","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145342$9B2A4EA1-8D8F-4CC8-B903-DBF452C04873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5e33390fe23692b8c2fa91539a79bb3120cd96","datavalue":{"value":"thread-modular abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145342$D2004D26-C7A1-45C2-90B8-DAF7B90EBF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e5a6848d1466b2f80931f6dc68d128f9fb18c5","datavalue":{"value":"collecting trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145342$F288F392-4E89-4FA7-A5A7-1E36872CD5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d18e7cd56869b605cf4566070648e2f09ba10b","datavalue":{"value":"global invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145342$14B13ADE-6E3F-4514-AE42-1476BB56D44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de74706690136e8bb72963b6f6514704e8ce2b86","datavalue":{"value":"side-effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145342$1FA4F3E5-5614-476C-A234-A12DAE86CB2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e01f55fa4bbaf1f74d3e3deb839030a9561a352d","datavalue":{"value":{"entity-type":"item","numeric-id":32043,"id":"Q32043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$2A5EACF3-3CEC-42EF-A897-2847645A1D9C","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":"Q2145342$3358596A-E18F-499A-8A73-4BC11CE6C653","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"629fa65da666ff8e251a2b1e68b463e20b5b4591","datavalue":{"value":"W3209360353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145342$4A632096-3A37-4653-8EA7-E218BC960FF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$59A134C4-515D-4F1E-9C65-015FC904C009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba125ff869d6c35e7864e4766ed966a8f26fdfd5","datavalue":{"value":{"entity-type":"item","numeric-id":3000580,"id":"Q3000580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$BBFD68A9-4282-4F9A-87BD-36814016CD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220d65aa33cdf4e0caf20a2d02b14afe0a0b5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5458814,"id":"Q5458814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$6F35119D-DB6E-4079-9A93-623C282FF810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$CE9FD6B0-B40C-4E06-BCCD-70451E974889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14eb061303449b101d85681de8c638064549aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5429324,"id":"Q5429324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$F1E30DF9-E77F-4342-8E70-DEF4D2F0D78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$D0107E2D-4270-4C57-AA39-A5ECBFEFDA9B","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":"Q2145342$7734697D-D47C-4616-A179-1E6CEBF7FF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0800ed1fa7e9f20d3dc382bf09fa43ecc4726d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$6CBD1849-EC8D-4094-B879-A9AFE392D63C","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":"Q2145342$9C66C161-89A2-48BA-AE26-DDF41D0A7214","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":"Q2145342$B5EC3743-A616-4D23-AA38-3404A9114643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$68CF8412-B346-4E10-9BF3-803647177354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$1893F15A-EEEE-45DB-A502-72A15229B265","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":"Q2145342$08B726E1-3AB6-447A-AAFB-CE8B5C0D6856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b462a327fb0267729b336a2849695e4553380fed","datavalue":{"value":{"entity-type":"item","numeric-id":2981009,"id":"Q2981009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145342$A4E70CC7-15A7-4AAF-9159-23A410479E70","rank":"normal"}],"P1643":[{"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":"acb38237350af2178f52760094c02afffea0d9d2","datavalue":{"value":{"amount":"+0.831467866897583","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":"Q2145342$D674B56A-94E1-4C0D-8A61-0275BB999CDB","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":"57b15f9b7a34eab58e7e8a44334517316447f1ee","datavalue":{"value":{"amount":"+0.820018470287323","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":"Q2145342$1D9CC42E-CC7B-4FB1-A77A-051E8359C6F2","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":"d1e03b95f389bcfa4d5f12d133d41314c2a419f7","datavalue":{"value":{"amount":"+0.7431944012641907","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":"Q2145342$A8E3CEA5-0BEE-4D76-9B7A-27AE69F7C189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35437d113f4adef276fc4957c4c689653a0561a8","datavalue":{"value":{"amount":"+0.7360595464706421","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":"Q2145342$4B3DCC26-DB0A-4585-8FF3-1A72FE541861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd47484c6b00d882d3302f057fc283b851b47a","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa340382bf96104d53488b27dd079b4418ef573","datavalue":{"value":{"amount":"+0.7333266139030457","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":"Q2145342$6D6E47AA-BC06-4942-8490-783B9081F720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145342"}}}}}