{"entities":{"Q432146":{"pageid":433913,"ns":120,"title":"Item:Q432146","lastrevid":61872423,"modified":"2026-04-11T02:14:03Z","type":"item","id":"Q432146","labels":{"en":{"language":"en","value":"Symbolic predictive analysis for concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052555"}},"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":"Q432146$CB995EF8-B72D-4B19-A6D2-52DAEBE732D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d951fea06a3dc947a610bba0561973122e677914","datavalue":{"value":{"text":"Symbolic predictive analysis for concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432146$1F0C3DC5-1E76-4ED0-8722-EA707F0478A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c05119b4416b8d0fe0cde00c08956e7542d7d77","datavalue":{"value":"1242.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$A3C363F1-D094-4F0D-A63C-AFE42E9A1A2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$B3DDA7FD-32EA-41C2-8FD2-C7AAC138CC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62337f3a2af832ac4c67ec6ba42a7f4e5ed482cf","datavalue":{"value":{"entity-type":"item","numeric-id":432142,"id":"Q432142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$28BA1F0D-9C55-4329-A138-C96BA1300DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"553848991d30114d4b3e2438cfad715d9b678e5b","datavalue":{"value":{"entity-type":"item","numeric-id":432143,"id":"Q432143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$040E32FA-0762-47C6-942F-930B09C3FB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$96E7A7D1-5B77-499E-BE7A-D7EB9FF656C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3495207d1965356b5c09ec509a7ee4275d91cd14","datavalue":{"value":{"entity-type":"item","numeric-id":947793,"id":"Q947793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$316C4041-BBE5-4224-AC26-E5077BBF371E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$CCCD94C5-964D-444B-9E05-16BDAC8552A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-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":"Q432146$5241BB75-DD65-45DB-AA5D-9F9D7BA5D74B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$322AE738-3AC9-4C70-95F0-372FCCEB93AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$CE9DDB85-BA29-455A-AFF7-3495A9080331","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ec061c0c9fb6eb03bbe5907d57eb5078bb41b5b","datavalue":{"value":"6052555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$0047F735-1AAA-490E-A2AF-A787185EA398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"432633eb2aea0fa37e326f2fc59f3c3190713731","datavalue":{"value":"concurrent trace program","type":"string"},"datatype":"string"},"type":"statement","id":"Q432146$B09B24C6-A03A-4956-B962-2B5543B57EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34e6bf8a3cce1bf3702ce3245d7fc0d75654879","datavalue":{"value":"predictive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q432146$6C22B168-A10E-458C-B9E4-86302217137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"611831c4a1360adf62f6f2c588de5fd040a46073","datavalue":{"value":"happens-before","type":"string"},"datatype":"string"},"type":"statement","id":"Q432146$904DA89E-A739-460B-A5EF-E3892EA73635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c431bef90127f7979d92bcf559ccf121404e2737","datavalue":{"value":"context bounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q432146$15B25F72-5E51-437D-9486-959054793D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q432146$5FF024A5-ED19-4503-BA62-01501DFF9BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q432146$67D7132F-9983-463C-9586-54117F3241EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc8c34c0f7ae9a5349491b0d878e2f38fd20164f","datavalue":{"value":{"entity-type":"item","numeric-id":34874,"id":"Q34874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$16BB869B-B0C0-4C2C-9DDD-4977ACE9443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"876cdc198015d132fabee7f7976964e4a2f99640","datavalue":{"value":{"entity-type":"item","numeric-id":21862,"id":"Q21862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$325680E1-B4B8-45B0-B90B-F201BE8167C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6066ce70c508b423307b218f8e8aef0d7c165f7c","datavalue":{"value":{"entity-type":"item","numeric-id":34873,"id":"Q34873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$EA51E98D-A549-4772-8C90-47938FEB0370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5194a7eb60f5e6437701ecbe00fb4a5b80ed4426","datavalue":{"value":{"entity-type":"item","numeric-id":24731,"id":"Q24731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$F78A8AFE-5DF2-4E77-9F4E-70645E07525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$FF735DA0-6841-40BD-9878-2516A3346660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$08953C96-9653-4501-A26E-D57526BE0F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$7E498133-A678-40B0-801B-A46D2B643D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0264c458824c0394336bb6cc942a0d1696a3763","datavalue":{"value":{"entity-type":"item","numeric-id":20920,"id":"Q20920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$DCEE1504-547C-425A-A1B4-7DFF432B64C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a3b2bc7a1628fa1eabda220afee61eefbe04040","datavalue":{"value":{"entity-type":"item","numeric-id":20921,"id":"Q20921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$9A79FA5D-40BB-47E4-9D46-7ACB16810EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$975EFF86-18AD-4A32-9069-E969CCF929D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$495A431C-D279-4E56-A85C-60D6ADA0B0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$B3036EA8-6138-4483-B632-BCE56FDEAC45","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":"Q432146$B6C4F3A2-3AF1-423C-9B78-4A4C36665BAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4056a6886bee2792117c4e4fa88ab5ffeedb0209","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0179-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q432146$8105DC97-29AB-43DF-A2DC-5D458C5F4720","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ad257f7faa387b8600b3bf998ffa410407f5bc1","datavalue":{"value":"W2033651910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$CAC9B359-E2E7-42C0-AFFE-87452DFD3CC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$CF980A19-65CD-40B8-8FD7-CF9C10439F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13878242cb414787213921c84e0049b993a33e62","datavalue":{"value":{"entity-type":"item","numeric-id":5429325,"id":"Q5429325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$9DD75423-DD2A-466D-AE14-6DB7D89358B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d1e52740d07bc7658b96da29f820f4483b0622","datavalue":{"value":{"entity-type":"item","numeric-id":924672,"id":"Q924672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$513AF863-1D44-4D84-8128-C628599897FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$E68314E0-90C1-4D6B-99BC-530320A97C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5779235fd1f4faf6255b0e1727f8e56ebe1fec2","datavalue":{"value":{"entity-type":"item","numeric-id":5756744,"id":"Q5756744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$E7E6D6F5-5E85-4E4D-A2AC-3C0A5E267712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09079fa5d022197877ebd11afb370e2609ae7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3512481,"id":"Q3512481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$4342CE96-2140-4F01-84A5-EC3967708569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e436cd142d60b17a9973e774c6bbcc13b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":3617757,"id":"Q3617757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$3A4B9BBA-CA44-42B6-A3DE-3D9FDF7494DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0400b121b0b1c8ab01251e452fdb8a719cae9a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3636865,"id":"Q3636865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$F304F24E-A583-4752-B073-21FA06EF8E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11cfaf3c08b2363e6f56df2b74e6694032484e5","datavalue":{"value":{"entity-type":"item","numeric-id":2845505,"id":"Q2845505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$492A8374-ECC7-47E1-8188-FFB0B4ADE672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$12E0A027-DD2C-4F21-9EDA-16C458F2025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d773ffec384938731886023d2b0ed43ecc1c5af","datavalue":{"value":{"entity-type":"item","numeric-id":4799673,"id":"Q4799673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$D686BC6F-8ED6-4110-A75B-209FF0A1927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff19301cef3199bbb3301c86eaca8dbdf8ec1bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5716571,"id":"Q5716571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$9CF4C00E-7E63-41EA-89AF-CE1D919FE2D0","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":"Q432146$765F8BC0-71F5-442F-A396-DA64DFECE2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa77b3485d49d26a209dc95589433f4b19d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$B0B39CBD-A214-46B9-9EB5-7EAF3A903C45","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":"Q432146$C8711A3A-9339-4B0A-AAD7-7E5088F8EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$AA02804A-B163-4F45-92C5-EE98CD8EECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4f151d758563db82252d89520c2ad328b8c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$0314F094-F959-4875-B78D-ED8E16FA336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$13C13FFD-987E-4405-AFFA-3A84D141FB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$DD26002B-B0F2-4ABD-8E21-716A71EECD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d68f8b6be6a927a15cac2b3eb7a5f9779d8d079","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$665F3A8D-AEA3-40DA-9D9F-ACFC041EC5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e333e127c8b89f18f215b21fc2702976b682fb70","datavalue":{"value":{"entity-type":"item","numeric-id":3617716,"id":"Q3617716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$8A666F02-29BB-4AB8-AB2F-675C7570F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a82c4acb7b431bfdea97ba7ff19b53bfd7bb15","datavalue":{"value":{"entity-type":"item","numeric-id":5387848,"id":"Q5387848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$F3A41DC2-D2A0-4D56-AFAD-88135E523AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a1d28221cd7f44309c5138a7240e37eb5a3453","datavalue":{"value":{"entity-type":"item","numeric-id":432146,"id":"Q432146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$81C156B4-E12E-4FF9-A879-4D7A20F5134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ce8d03e45008968e4095b1b5887ef26b7916f4","datavalue":{"value":{"entity-type":"item","numeric-id":3557086,"id":"Q3557086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$5CF0F0E9-CF8D-491F-BAAE-25106EA5A4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3d054750aebb5104eb2aed5a48cac3b9376dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3540069,"id":"Q3540069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$AD49B508-1949-4C13-92E1-6D6588C73890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432146$C07D25FD-3FEB-47CC-87ED-09B7EA1D9A10","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1283d8ea4046b0bb5d97464f15c794256cabe2a4","datavalue":{"value":"Q131121014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$74DA4BBF-9E37-4680-9CA7-F30C44E09343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c727d40c63e008b7d0833188502dccdbdc50b4b","datavalue":{"value":"10.1007/S00165-011-0179-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432146$56F8C7E1-042E-429B-98B6-B91853AF9844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8410a731140e0c1d260ac9ee47fd4c24e4e917","datavalue":{"value":{"entity-type":"item","numeric-id":4989030,"id":"Q4989030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3ee1a7a1db5e01d8b0989df21bfe649b3baa95","datavalue":{"value":{"amount":"+0.8214327096939087","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":"Q432146$EBBAE1C1-D84C-407B-AF8A-B6F871B9DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a2dd897ea7bd1625242a371b13954e009984d0","datavalue":{"value":{"entity-type":"item","numeric-id":3557086,"id":"Q3557086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc121a13a1313478112d56e903c7c1e4975b06b0","datavalue":{"value":{"amount":"+0.8047590851783752","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":"Q432146$8B1AFA86-B48B-444D-B58F-52B0DDCE32E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"defa31da0c692bbe3085159d72ef2bc100e365f3","datavalue":{"value":{"entity-type":"item","numeric-id":5308393,"id":"Q5308393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40952af06ff7df0325832fcf7eb018e3f5a96355","datavalue":{"value":{"amount":"+0.7484462857246399","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":"Q432146$0FAEE058-0559-4833-B21A-38E692C81FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf451d6c4e4ddce88f9441ba23791d1b6b0d373","datavalue":{"value":{"entity-type":"item","numeric-id":3617757,"id":"Q3617757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77ddfe9dffeb35847430833c9e15f800eb2224c","datavalue":{"value":{"amount":"+0.7298171520233154","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":"Q432146$5C002183-908B-4333-9243-7DD375045940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5631880233381d2c0969dc48027c0e2a4c4ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21b233175afcabe29bf820869613bae8b3e3ac1","datavalue":{"value":{"amount":"+0.7056388854980469","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":"Q432146$E0ED74AF-C8E8-4BD0-B129-48B0EA063D09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic predictive analysis for concurrent programs","badges":[]}}}}}