{"entities":{"Q4637861":{"pageid":6667442,"ns":120,"title":"Item:Q4637861","lastrevid":90593303,"modified":"2026-06-04T20:47:13Z","type":"item","id":"Q4637861","labels":{"en":{"language":"en","value":"Reference abstract domains and applications to string analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6866074"}},"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":"Q4637861$D780F7FB-C856-4CD0-AAD8-9C2DBBAA5259","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6004592ca6c97b61bf2fc98a485446a665c9be0c","datavalue":{"value":{"text":"Reference Abstract Domains and Applications to String Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4637861$928C11BC-CE42-4C65-9FE4-8010AA5EEFB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b150fdc543a8f1c42fb64a717165c29c5c2fab1","datavalue":{"value":"1386.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$2AC54BB1-DC73-41DD-BD3C-139DF577543C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cda2e8a01ffed2269f703ed77ac28867befa8156","datavalue":{"value":"10.3233/FI-2018-1650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$0FF1A85C-DD53-4E58-A7AB-0D3FD13E5428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc916857e0b31d36763b830070449e9702362980","datavalue":{"value":{"entity-type":"item","numeric-id":276549,"id":"Q276549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$D3F2B774-E347-4D39-85E0-FE21647BFAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$4B4F2F73-DC89-4238-A1C4-5A9DC917565B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23939a45398fe91004dd86af090198bb49857f72","datavalue":{"value":{"entity-type":"item","numeric-id":3557349,"id":"Q3557349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$47E2CAA9-D905-47A8-A78C-B31CF82DB751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a922e18f2c7ff57ebe14162b57506c4daaf0c91","datavalue":{"value":{"entity-type":"item","numeric-id":2135517,"id":"Q2135517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$6C3F5888-2998-4CC9-A193-EC22B4311245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d94e70aebf90c5dd207852d980a9c10776e1b","datavalue":{"value":{"entity-type":"item","numeric-id":264989,"id":"Q264989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$4EDCB286-1158-4501-91A9-9E215673286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$EAB47C59-94ED-49F3-864D-84D61C6B6CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$F75DEDE8-89E3-4E3C-A33F-7C5B9C4696DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ebcb3b0c95602d7cbfc100d67e65e42713c87d8","datavalue":{"value":{"entity-type":"item","numeric-id":278741,"id":"Q278741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$5D956325-D747-4CCD-9835-F84E5537D047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$9E2F53D7-F74B-4564-8D2F-B5AB25B2E223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551df2524c439adc42740e41cce382bed9f8f3d1","datavalue":{"value":{"time":"+2018-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4637861$F8A6D939-4C5D-48CD-894E-8BC4A2993A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$B0C79989-C34C-4EE6-B4B5-C1D9C61400B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$5B10E8E6-94AB-4D86-A757-0AEFE84352F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d3f8b251f08b5573e228a4e834e1227d6e26920","datavalue":{"value":"6866074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$07930B04-FB58-47EB-A96B-B607CCADD883","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90e489abae5ce68b03432ec46285d39bdaa2dfa5","datavalue":{"value":"Q57664977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$448C5751-8321-4AAB-8788-F51F01FBAD8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$73C6EC7D-DB0D-4FF3-9B22-1FF45D8894BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"742bc83855ba75ffd2b302eaf3320fef047e24e8","datavalue":{"value":{"entity-type":"item","numeric-id":38174,"id":"Q38174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637861$93A5F55A-7792-4D0B-A993-A55BD6C49A49","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":"Q4637861$F7B13B61-DA3F-4F25-B307-AEE661D22076","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c55dc2d24dc7183a31e2589ce3acddf637967360","datavalue":{"value":"https://doi.org/10.3233/fi-2018-1650","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637861$B07B5693-1207-4C77-8B01-23E9D5ED7817","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0542267fac80b1847fe6ba55746111c04f79c3f","datavalue":{"value":"W2786848333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$4AE6408C-A454-412D-99F6-33A2001B3F65","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f180db0ad75f5cd29fdda571978f25b21efd3190","datavalue":{"value":"journals/fuin/AmadiniGGJSSSZ18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637861$4564A9F7-4ADD-4B38-AAEC-A27E48BD02FF","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":"e32280a1f48fedc7bedc1a5506d7d0aa80d1705f","datavalue":{"value":{"amount":"+0.8076622486114502","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":"Q4637861$B0611899-3C21-4B67-98DB-F7B1737E29EC","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":"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":"Q4637861$6158989F-DEBB-4B45-99A0-A15CD48B45F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97c77a1ffed23fd661f2c78a45929b75888c6a6","datavalue":{"value":{"entity-type":"item","numeric-id":2152641,"id":"Q2152641"},"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":"Q4637861$8BC50AEE-614C-4229-B3A6-199DA7BC96CE","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":"b0efea51c0a8d641aa05e2136afcf4b7cf0ad57d","datavalue":{"value":{"amount":"+0.7178111672401428","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":"Q4637861$FD231335-2021-418C-ADBE-ED1875B97519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff78f11b1d2dff93a14cc37f8799eb4a4ce9f109","datavalue":{"value":{"entity-type":"item","numeric-id":2926653,"id":"Q2926653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b63408283deec37fd53e307fd4bf2f825b128d9","datavalue":{"value":{"amount":"+0.7061020135879517","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":"Q4637861$FF7A1B67-2521-4017-B750-6678571419A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reference abstract domains and applications to string analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reference_abstract_domains_and_applications_to_string_analysis"}}}}}