{"entities":{"Q3075489":{"pageid":3086205,"ns":120,"title":"Item:Q3075489","lastrevid":51188807,"modified":"2026-01-17T03:44:35Z","type":"item","id":"Q3075489","labels":{"en":{"language":"en","value":"String analysis as an abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851858"}},"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":"Q3075489$86FF1267-776D-4ABB-B271-F1D9785C089D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"583b343ace2397b0657f20533a32d451b02381d6","datavalue":{"value":{"text":"String Analysis as an Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075489$90871DEE-85B6-4CB8-B85F-476C861BF449","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98058010d70302c6aa1044608ffc19cf083c6804","datavalue":{"value":"1317.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075489$DA018F20-2B6F-4EE7-9DBC-298ABBA5A1AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a38f022a6147179e5905f832055c6b39a4bf5d9b","datavalue":{"value":"10.1007/978-3-642-18275-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075489$73C6A089-7E7C-4CD3-9351-BDED33B15146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e044cf313d3c3b7de97d4fd73e7a5645bfef1b57","datavalue":{"value":{"entity-type":"item","numeric-id":2789058,"id":"Q2789058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$E82BD79E-8A33-4908-A78D-1223CCD2FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2124b2f1dbc31bc9ff8d394053874ee5358b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":578923,"id":"Q578923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$0EF86ED2-A011-43FE-BBF4-14F6E6E1016B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$A8F52996-03EA-47CB-B515-04688D6A3F11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075489$F18B5562-557E-40F9-9B33-284F6B0B5CE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075489$4B01DA6B-E0C2-402A-B883-3CA67308260A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83e586f2a164f6121d4961239782e069c469b18","datavalue":{"value":"5851858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075489$1588D99B-473E-4E19-A783-D85561022A64","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":"Q3075489$16356DFD-348A-479B-A1BE-0974B71232D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e3fca2e10fe59d04ab06816e7fb4f84fc2c4d47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075489$E62CE1FA-D342-4A98-B449-859E5DEE06A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e88efd8272326134ba647dd977e5f3aacced2c9","datavalue":{"value":"W4242646994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075489$77DA873D-CAD3-42D4-A364-5B87795B2DE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$79AF8C88-5E7D-4D36-B6EA-113CBBE7F610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdae44b78c55be1287a8406e07ea09db2d2789e7","datavalue":{"value":{"entity-type":"item","numeric-id":5385606,"id":"Q5385606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$07D837DA-5324-48B9-B572-854B18030B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$1FE422D9-C470-49D1-8E3D-E64D5E644E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$313E3700-8F5F-45FA-8DC5-483FBD22DC82","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":"Q3075489$9EA75AD4-7E8E-44CB-AFDE-62B17FF55C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$21C72A48-15FB-47AB-9F19-CFFDCDC91397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7292720bb73c32857dc8b7c1224336c5c9dd8ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5958725,"id":"Q5958725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$C416CCBD-FDC4-4E29-B950-FCF4B2E424CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9dd414a6b3b2c58f60a1e339698f5282df1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3912024,"id":"Q3912024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$F1D624C3-9E9E-4FC3-9C73-4B1F4AD75125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$AE55D6D5-1F17-4DDA-9D5D-CE5FFBDA7700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18ee96c6b9303cdf1b1b6b3383475544f8b7825","datavalue":{"value":{"entity-type":"item","numeric-id":5592248,"id":"Q5592248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$BCDD980E-B3B1-47CF-B9FF-4DF1B24DFD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d34ee88dba893190822fecb3068b20fbff3a40","datavalue":{"value":{"entity-type":"item","numeric-id":4054657,"id":"Q4054657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$CE0DB823-D3BC-44E6-927A-F1FDDE50139F","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":"Q3075489$FB8E7088-CCB0-443F-8318-21BD459BE4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de56ced350df0f91a1373ee7eacc0e356c260f","datavalue":{"value":{"entity-type":"item","numeric-id":5385603,"id":"Q5385603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$A46C1C0E-A93D-43D5-B9BE-89036DA5BD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d487413cc800bbcb0813f08b754fec64c1130dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4371678,"id":"Q4371678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075489$BEB398B1-7307-40A7-8522-A054A2312CF9","rank":"normal"}],"P1643":[{"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":"75ca143687448862128423a2bb6b0d638138c66f","datavalue":{"value":{"amount":"+0.7788286209106445","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":"Q3075489$FAA49092-7797-4C76-8D3F-19497F79B0A4","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":"7f1cca7c28fb21557453d3056e341d3c43336dec","datavalue":{"value":{"amount":"+0.775404691696167","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":"Q3075489$55C04BDE-1A53-45C2-A2E9-3A2B46C62176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6486abe1f54b858c0ed5d757fd66e7d9c0841b76","datavalue":{"value":{"entity-type":"item","numeric-id":5385606,"id":"Q5385606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19803e2493b9ff88e9103cb0f8d8800a8c19a0a","datavalue":{"value":{"amount":"+0.7632995247840881","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":"Q3075489$25D73AB7-AFBA-421D-B54A-ECD9253EC32A","rank":"normal"},{"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":"99d5bfb2b8d7846ee382d7f980254ffbf1d97e4a","datavalue":{"value":{"amount":"+0.7489646077156067","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":"Q3075489$8891824B-EA16-49A8-9E4C-E870D7A3FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f93287c45b745f991ac7ad99ed7882fc422fbfc","datavalue":{"value":{"entity-type":"item","numeric-id":2789061,"id":"Q2789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7ed18bfe14c653f8d46bc683bb2211c8480b60","datavalue":{"value":{"amount":"+0.7369285821914673","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":"Q3075489$D5F0CE85-25F6-4416-9FD9-0673EF4D5C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075489"}}}}}