{"entities":{"Q3525644":{"pageid":5555548,"ns":120,"title":"Item:Q3525644","lastrevid":88459466,"modified":"2026-06-04T14:34:52Z","type":"item","id":"Q3525644","labels":{"en":{"language":"en","value":"Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344931"}},"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":"Q3525644$B2E79A10-FA22-449D-837E-C1739A91D770","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d185b1d41533ade63643c83b890c25b388ca83a","datavalue":{"value":{"text":"Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525644$16B59AFE-1F7E-43CE-8416-3F652D7BA7B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c41c80d1c69778dc94c816586222da4cb5b85d74","datavalue":{"value":"1151.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525644$1990820F-AF63-4925-92F6-6F91D0943532","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67ce8477b946cfe85f54540d019fb7150d591b7e","datavalue":{"value":"10.1007/978-3-540-74407-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525644$37031448-5876-48A6-8EA3-AACF9BAD7C7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525644$667FCB3E-8484-425A-8AD4-0332021569D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525644$9B7615A4-90A8-404E-B30C-392730ABD9C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525644$74723491-2F5D-43FF-9F0C-7B7FC2D44EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525644$6BED30F0-8020-4CAE-A431-154CBED2535A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525644$8CBC86DD-EC76-4515-A5C2-606700CB583B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"586691901464630d426d71d38caaa5e598dd3251","datavalue":{"value":"5344931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525644$6BFFC851-AF1D-4DB7-ACAD-891DF07DE698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525644$B08221D4-9469-4C66-A85E-AF45D65A776F","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":"Q3525644$7A4F8A4B-73DC-49F6-9A1F-DF701C75BDCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de5eda5b4daf16e9019cd2d8425c3e099574b581","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525644$688D2067-73A4-44F5-BE22-70982D9C021C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e5a6f60c7e8e7d3a39dabad14047a745b484d67","datavalue":{"value":"W70320512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525644$02AF8100-0A70-4E2A-8856-07C9886F6B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c372af39a26ac6a90db42578e5f1e6f719300f90","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919f7ed49a20cc30bf65a272b05d086750868953","datavalue":{"value":{"amount":"+0.89581305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$4BF5DE49-80E0-47E1-A973-7F67539A2134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e671e823e3a6989aa37480b0c1bb47a4d7f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919f7ed49a20cc30bf65a272b05d086750868953","datavalue":{"value":{"amount":"+0.89581305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$DE86D5A9-08F8-4BC7-A39C-7C26678D045B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21b8976f7d07721f1dba01d374eb4e69627a563","datavalue":{"value":{"entity-type":"item","numeric-id":5429323,"id":"Q5429323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd1bea91c22928dfa8a6c62ab3ec91267535511","datavalue":{"value":{"amount":"+0.870875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$3A5908FD-7952-4E54-B979-9F7C03157561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a9775a467c2129bb861a55934c99be7e294fe5","datavalue":{"value":{"amount":"+0.8628286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$686BA62A-1759-45B5-B714-9B2C0701906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f053beef2992a6eb6c8a6e7c69aa91d73e3bef7a","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a9775a467c2129bb861a55934c99be7e294fe5","datavalue":{"value":{"amount":"+0.8628286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$5C8E4CC3-0425-4A04-905A-A6976A3EF7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e8493bb5fbce19318d47f6516bb746b51a1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1671142,"id":"Q1671142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a46fc7792ee7f874b9b8b4f537160fffd6c8494","datavalue":{"value":{"amount":"+0.86239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$00A3CF6D-C103-4C1A-8A90-AF35A6F32334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9499cf13a51899fc8d01676c2f96505b874b1491","datavalue":{"value":{"entity-type":"item","numeric-id":5056000,"id":"Q5056000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34efa835ce23f1e524b74772e081a1784215cbc4","datavalue":{"value":{"amount":"+0.8618932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$14FC2AA7-87DF-4253-9305-460F58E0A784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee5855c264a242b41c9aca4f8fd9ebcd139f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":5962972,"id":"Q5962972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3afb322ad680d4c60b0b49450929afe6971f15","datavalue":{"value":{"amount":"+0.8611854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$493364A8-ACA6-4C56-A084-EA06DE702951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e337ebd5a00e77b2c508119657e9a8f9f0bae7","datavalue":{"value":{"entity-type":"item","numeric-id":3522072,"id":"Q3522072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7c88ec77bf451b785873d1bf50b860b9c0db9b","datavalue":{"value":{"amount":"+0.8547132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525644$AA2F2272-F02B-4EDC-A52B-4FA27E648F2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Precise_Fixpoint-Based_Analysis_of_Programs_with_Thread-Creation_and_Procedures"}}}}}