{"entities":{"Q2152641":{"pageid":2163384,"ns":120,"title":"Item:Q2152641","lastrevid":54359366,"modified":"2026-01-26T17:00:47Z","type":"item","id":"Q2152641","labels":{"en":{"language":"en","value":"Relational string abstract domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554858"}},"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":"Q2152641$974DE5B3-EDD0-4598-89E5-AFE0CA427B07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8dacd20ec2c7c2a71cd92b18785d448b81678be","datavalue":{"value":{"text":"Relational string abstract domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152641$9B32D6BA-E648-4842-B480-9E252758B3DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99a655f27d549777bdb54751ed1f8e21399f3452","datavalue":{"value":"1498.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152641$26F10724-3535-4246-A22C-DD28BD24DDC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b7ea7f0c868a66595fb0ef7993e7a0b1169a3c6","datavalue":{"value":"10.1007/978-3-030-94583-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152641$6E49825C-35A6-44B4-BAEC-F68E9DCE707C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e905d93a35397d5386e28e1f6b528de978069a","datavalue":{"value":{"entity-type":"item","numeric-id":1650955,"id":"Q1650955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$369B9511-E52E-42D4-94B6-C6A3C64052BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8153105df4a6157a79383e64b85be1dc508ac348","datavalue":{"value":{"entity-type":"item","numeric-id":2051811,"id":"Q2051811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$329CDADC-5E5B-4730-97CB-A681AEFEF893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$CF97F305-9395-49A2-A73E-D91A040B5E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"243400d5ddd1208389d474075e48066f7efc9228","datavalue":{"value":{"entity-type":"item","numeric-id":278743,"id":"Q278743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$3EC1ED8B-BF73-4C40-8F91-2EF0D489E324","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2152641$AF5C22BC-63B2-4EE0-902C-9CCBBD46EC8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152641$3DA8B27F-8FCA-4E5C-A5E7-304CED52E54A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0897cc6b8bfe68ff2a69aad740f2a39870652038","datavalue":{"value":"7554858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152641$7DB943CC-2F19-4277-B76B-2C68435312C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5fad2d9d3940a1cd6ff13e5b77c9eed3976ecd","datavalue":{"value":"relational abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152641$0AAFB053-1F15-4441-83B7-37BCE61D38DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152641$33934EEC-EC62-4D5A-ADD8-26B10D3D8252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152641$32A94A93-9B28-4666-BB21-1E92FF312748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152641$A4FFFD25-5F8F-4637-A00E-C5704D092512","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$2B3F05AD-4B87-44D0-9076-A2979C61AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"685796c51de3795ecab816cd14f25cd9ee64b09c","datavalue":{"value":{"entity-type":"item","numeric-id":42235,"id":"Q42235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$9C5D1360-31D3-4555-8A64-2768E71C149B","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":"Q2152641$361C3437-1059-4D40-A5BB-42133EB0C189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e71027e68b632811bdc953a9cb2174424d3ab21b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-94583-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152641$70CD2EAE-1454-4717-87F8-025896BA24F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83413e85b6d90dba5d14457fcf19ce2d31b2c46b","datavalue":{"value":"W4205181847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152641$1EDA2640-CDB0-48DA-BB71-A55ACCF7B41E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdb27290e727aaf8814e06a49f48f08e3ab294f","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$9CC579D9-DB80-4903-8B15-B33ED3CA85C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73538462bcc1f4c8cdc3afbca8d3ac9f5cfbd15a","datavalue":{"value":{"entity-type":"item","numeric-id":4637861,"id":"Q4637861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$92E9B2FA-606B-4494-A50D-041415B9D470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38f51907179ee7743f6b3a0e063efcf0c76f2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2046015,"id":"Q2046015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$9C78F04F-5471-4F18-96F2-45C7C73E9866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7098c33132a70097485eaebbd0af812a658105b","datavalue":{"value":{"entity-type":"item","numeric-id":2051812,"id":"Q2051812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$8578C6D8-2F45-4B27-A74E-2DA7B9B22426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddd3c1a63493a79e369351f86fcb34475c41501","datavalue":{"value":{"entity-type":"item","numeric-id":6198467,"id":"Q6198467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$C0A465AD-11CB-473D-8C00-BE0725E285CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$E011D9D0-207B-4F91-A885-0A8C89965789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$A7A3E12A-5E45-434A-BCBF-25429BE32BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b37e7ea3500c3b3b2ee30f5c8709140552363a3","datavalue":{"value":{"entity-type":"item","numeric-id":2234078,"id":"Q2234078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$0177A902-E2A3-484B-A120-530613FF9409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbf43fe8ce1d724a6507d2551b95fa071ea15a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796038,"id":"Q2796038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$AA0C4837-A975-466E-88D6-F61FF84E6A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69b58aca3e5a4bb06d807f469484ddf1472dec1","datavalue":{"value":{"entity-type":"item","numeric-id":2058389,"id":"Q2058389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$37C89262-D563-45CD-B3C9-A39ED39FB094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a2228970ea3904820da7843bc62eaa9d3b6218","datavalue":{"value":{"entity-type":"item","numeric-id":1749225,"id":"Q1749225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$6BD53857-876D-4574-91B2-748E3090DD0C","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":"Q2152641$626774F7-D4A4-49B6-9BC1-2C6726444A91","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":"Q2152641$EB7CAAAE-E892-46BC-A722-3215308375C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$07AB0C36-1209-4420-8309-6278831CA543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec70f35ffe4a5b33ed5642160d351f6c5c4f2985","datavalue":{"value":{"entity-type":"item","numeric-id":5892586,"id":"Q5892586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$EE9552A3-E370-4B28-A98A-7D53BBC8B738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385429da8af8729761b251b5329b444aae78e38a","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152641$0DA19FD1-1261-4B4E-8B4C-0057FA9D0465","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e87505e91c20d371ac60672422d734790976b21","datavalue":{"value":{"entity-type":"item","numeric-id":6102247,"id":"Q6102247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1ea448ce342f31bb4ff585dc02487a9ffc177d","datavalue":{"value":{"amount":"+0.7825602889060974","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":"Q2152641$18B2DF64-4924-4BB0-819E-CADAEB694023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109c234168b5cc265828cfe0fa2024befe0dc7d2","datavalue":{"value":{"entity-type":"item","numeric-id":4637861,"id":"Q4637861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4bcb152d3852a6cbf9d28bf86b07f790664554","datavalue":{"value":{"amount":"+0.7418562769889832","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":"Q2152641$C9B9FA02-81EA-4460-B8AE-3D3CB61ABA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5716cf6f919da73d26cf677171abcefdd6c681b","datavalue":{"value":{"entity-type":"item","numeric-id":2234078,"id":"Q2234078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bd3b240866a7df388954eca036ba257c69784f","datavalue":{"value":{"amount":"+0.7340018153190613","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":"Q2152641$94042D59-0E89-477F-A44F-C7B5EC491800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0028db80db77ec25527414677dce6242a7b4bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2796038,"id":"Q2796038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3792fe58abd7d83875c688179d0e7254351c54a","datavalue":{"value":{"amount":"+0.7329180240631104","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":"Q2152641$C47583C6-547E-48C0-99AA-F91605B3F042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571bff0eb4ad37af14187fe7baebe1e2fdbf6b43","datavalue":{"value":{"entity-type":"item","numeric-id":3075489,"id":"Q3075489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882bcf818deb812f35a15551da15ef748b34d14f","datavalue":{"value":{"amount":"+0.7322357892990112","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":"Q2152641$4C9F0658-6AA8-43BE-83AC-92F6D469332D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2152641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2152641"}}}}}