{"entities":{"Q2350492":{"pageid":2361235,"ns":120,"title":"Item:Q2350492","lastrevid":78855548,"modified":"2026-05-06T12:35:38Z","type":"item","id":"Q2350492","labels":{"en":{"language":"en","value":"Compositional verification of asynchronous concurrent systems using CADP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449989"}},"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":"Q2350492$747038AF-D136-4BDD-B312-1D74B4DF9543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4131e3eee0adcc1cbc671fb91064d1adb7eecc57","datavalue":{"value":{"text":"Compositional verification of asynchronous concurrent systems using CADP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350492$BF607D18-2854-47F1-BAAD-9EF6828061BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25992a9b368055ba717878988d5dd4498998c8f6","datavalue":{"value":"1410.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350492$B8303BAB-A074-44E8-BE2C-3F9AA9E6BE15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccd04a7daa317f08c60e9ebec591f148c2e473c","datavalue":{"value":{"entity-type":"item","numeric-id":225071,"id":"Q225071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$E45EB978-2D8B-472C-BA92-C2E53183A3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$FC5732BD-CE16-41AE-BC70-07F2BA059F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$3A57C8DC-056D-4BAA-80A2-E99836972C59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$CE7E7C3F-D55E-4FE2-91CB-89916D3AE1BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354c0581a3debbff4659a60277ac3936b006a9c4","datavalue":{"value":{"time":"+2015-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350492$F512CC0C-C3F5-4BC5-A166-42782DC9A5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350492$B0E0F19F-6CE3-4622-ABCB-0D63119D671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350492$3A57170F-8CFF-4AE3-B024-5E0AFA45DCCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3ab4a4d87cce1e5f602151c7912e501557fe9bd","datavalue":{"value":"6449989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350492$0BEDFD7A-7C14-4113-976D-30A961C2CFF5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$E3F279FF-3E45-489C-889E-78A10F2A3C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$2E4F9F1D-B9A1-47B8-9BE3-0A7819F6EB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c2bbc1888f3e72bf1a3c3f77c3aa1e54863d5ef","datavalue":{"value":{"entity-type":"item","numeric-id":32236,"id":"Q32236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$6793356B-798D-42C7-915B-5B55DE31F372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$2AE4FB71-8D2B-4D05-92BD-612F02B9F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15f42f34bb8034b7153a71ee2b21150989bbe06d","datavalue":{"value":{"entity-type":"item","numeric-id":19719,"id":"Q19719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$708C3D23-0CD7-4731-A5C1-59C402529040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd75bdf0976a0e4ed41326843ac8e5ceb2869b","datavalue":{"value":{"entity-type":"item","numeric-id":22161,"id":"Q22161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$B967FE95-0F41-4909-81DA-84D7BAA686C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f19c6afe93f9c0525f95308556e599d9a0e1c190","datavalue":{"value":{"entity-type":"item","numeric-id":24315,"id":"Q24315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$1E077B87-134B-4C89-B811-D20052D43B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$FBE47DA7-DC70-4B02-B7DE-216751A15A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$C109C184-9436-43E7-A5DD-F9D90BB70FA3","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":"Q2350492$5D6E6DC1-54B0-4E3F-9EE6-F08B2987D208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e3dfe2a2985839cc0e25be0ed0a7a986ee0f01b","datavalue":{"value":"https://doi.org/10.1007/s00236-015-0226-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350492$02B23464-F8A4-4CF2-A0A6-E226803E0BB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe5eae46194cbce31d0776ed34fa53b7f49f92c5","datavalue":{"value":"W1968049993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350492$C458B62F-8019-4751-920D-6134FF7A43AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$C5DAEDD3-26E6-4E3D-B616-221BCA576875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$8F7F0C69-D24D-42C9-A926-1590628F907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$A1FDF246-DDF0-433F-8F31-3150FF954A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6dc4bd8a2c5111c75aa9b44eb5cb3800d3e909","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$1ABEB52B-95CB-474A-BE1D-50FEAF1EF538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$8208D829-F6E5-4948-BC91-FCA126580ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c657f64cb04d23c3481d9e8fcddc3fcde2626cf","datavalue":{"value":{"entity-type":"item","numeric-id":685107,"id":"Q685107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$D2C857AE-66E4-4476-94C8-32D5666C8615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$041A4430-7E34-4DDB-8C16-B07589C5C277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$4A5A611E-7F43-485C-A86C-5DCCF9EAB6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$73CC16E8-6E81-4C40-A63F-21D05BD6F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153bb26789701bea3a6125ad5ad617745b4c3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1970206,"id":"Q1970206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$96368637-AB38-46BA-B313-3AE403D2DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$4976DDA0-08C7-4FFB-99B7-EFF71B483C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3be5157d0362d1497ca846832bf97e0f56e9da9","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$AC855A71-12AC-44C7-B79A-1B3964AF6211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$8CD9A155-AA51-41C9-A9D7-FFC6B8596C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b23a7076154f4bc52b8f85396a2401b824378e","datavalue":{"value":{"entity-type":"item","numeric-id":1001805,"id":"Q1001805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$0E46F915-59A0-4667-82A6-D1DFDD026A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$5CF6896A-74F2-49AC-A19D-AF897629360F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$4D6D60FA-E8DB-4E55-BC33-3A0E2A6CB6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$B604DE1A-B01A-4CA7-99C7-4247C4F481AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$7AEE58E8-3DAC-45DA-B66A-0AE9C8CFF4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$EFD0C76C-8912-4099-80C6-F46A6262E64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5090c31cc5981c749643ccb3ce33836775870eb","datavalue":{"value":{"entity-type":"item","numeric-id":2754097,"id":"Q2754097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$F9232FD0-881F-4E8B-B7B4-8906C1BF36D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$3DF7D85E-3252-4303-98DF-FC68C694BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$148CF9F2-7EF3-498A-854F-75717010A19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$44CDC348-3305-4D8B-92C8-943DEA25A161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$593ACB9A-40DA-495F-826B-46F266143AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$BC735668-B9CA-4488-9830-B222F1676798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c36383496e7d483bbf8207867dbc32c25e98d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1856171,"id":"Q1856171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$BE411597-B681-4D95-81B0-9DF9D344C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$827BF6DB-4DAE-459A-945A-57E57996E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9999f41194175939c9534bacf5a48b78837038e","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$64C15AB8-5BE5-494B-9E03-AF0F4E568C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$2B6CE536-05B8-4D8A-BEEF-91DFB1302299","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":"Q2350492$F6F69439-F51E-4BC4-BE9B-D6371952817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$E3879253-FBBC-4936-82DE-BD481A468EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b079574d6510604340e7a2a98410a380271116","datavalue":{"value":{"entity-type":"item","numeric-id":4942013,"id":"Q4942013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$9D787F37-A9E3-43A4-A1B1-5E0028927051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$4A7E8309-3095-4618-BEE8-C8B30BDA45B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$17F09558-25AA-4C21-A695-797A75BA3862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$080D9758-DD80-4C57-809E-E43631EAC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$95477A13-D98F-4C92-BAF7-8B18B36B1C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$5FAAA125-9F42-4283-B194-1A9ADF6F8A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085e2cb1cf959a386c0e3efb6f5a165fe9a8ee2c","datavalue":{"value":{"entity-type":"item","numeric-id":2894558,"id":"Q2894558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$91710273-8461-4DA8-B73A-9C505B028982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$4F180FD8-8D73-465A-9928-E66FE6DDFD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$184C2469-2360-4E67-8FEB-7CEF21A0AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd65aee83981e7c0284b830a2a3909673325bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$E0666EF6-36D4-4226-B369-ED5F7BAC9857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cbcfa06e6d1ec9c617eca8a78724a5d0815557","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$E83697D2-DA8A-4BAE-B444-E9068A2DA12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3399f5121e7c8f51f0135a441ec6aeb62d5737","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$FA7BB1E9-F26F-4958-B83E-EE05AC3388C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd3cf856c157dc9d6c0c225e273562ecb744454","datavalue":{"value":{"entity-type":"item","numeric-id":4472262,"id":"Q4472262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$A6F9C519-B9A8-478A-AFC7-2733F12999DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50664fcb1d5b66d305c3f34663e52b89ecb2aa51","datavalue":{"value":{"entity-type":"item","numeric-id":3613065,"id":"Q3613065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$F625C90F-AB4D-4880-9AA5-490A0038CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28257496a7583d01d2a262287db5cb5036680b3","datavalue":{"value":{"entity-type":"item","numeric-id":2894270,"id":"Q2894270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$BEB8835E-AAC6-48DA-9673-03DA634DDB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06ccdb99d77d5bcce8031a351ac511d2d075fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2851668,"id":"Q2851668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$DF016D22-774D-4341-A34D-8F30F1B71941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ff380f37571521af8509f3ca374fbabd9ec205","datavalue":{"value":{"entity-type":"item","numeric-id":613134,"id":"Q613134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$9A7CF478-F29F-4120-AFBD-EA57220423BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$A72C5C3D-D398-4BF4-B50B-8A136602ED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$F472AA05-0837-407E-90AD-17D59FBB3503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$D757E26E-BE67-44C7-BA3B-042BBF17DDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$FEAA7988-1177-42B9-985C-A5EB28668132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a9ff85488e4141698f1e4fc413c11477c143d1","datavalue":{"value":{"entity-type":"item","numeric-id":1102258,"id":"Q1102258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$7692B96E-3665-4CE3-9070-0C4CB49B96AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$FF51E913-C721-47FB-9F2E-A386251D311A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48002226a1cb38c03e7106f718a28a86e13a345","datavalue":{"value":{"entity-type":"item","numeric-id":4518897,"id":"Q4518897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$C92E7350-1FAE-47B4-9832-8BDB874B195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$F784F6C0-80F0-44C6-AEB6-47696D46ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$A81E72D3-70CC-44DF-B6AE-EA0CA47BEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$ACC19AEF-FB57-471F-9267-C36F6854A027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$D228895A-379B-4FA5-97C5-5B87BA2A7AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a24b2524d8d6d47e95766596d33abecc3ac5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$0557ED89-0D75-4647-A517-84665322D138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8fff6d2653f5e55d025371ea7a7334e5537a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$EDA65481-4572-4022-8F56-67E04ED494BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$F6AD6F66-FA96-47E2-9F8D-BCF7CC5CA88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$5F527624-7904-49E6-82C6-DC72DBEAC9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$5EB4327A-6B73-4C58-9A4F-D34A43295A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c786d461f98da98e5dbb968503617efead30e890","datavalue":{"value":{"entity-type":"item","numeric-id":4364391,"id":"Q4364391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$D8D42E86-3695-4992-97B8-01C551CF76D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$3FFDEBFA-E734-4E1F-B2AD-EEB000827887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$90BEFA8C-98D3-428B-B315-34A2A3990080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$F3D43ECA-D6D0-4711-B97E-CD1CDCF43B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$9AF46770-4112-4A81-AAB2-8F8D6723F8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350492$883B3D30-668F-4B5C-9825-F7AD58345ECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69946b7033147e6d8d746a314a81cb10e8397112","datavalue":{"value":"10.1007/S00236-015-0226-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350492$454D1EC3-3AAD-428E-99B9-84A1A4F3EE4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05a96e7770c73a39d17464df9a315aa5df5be47","datavalue":{"value":{"entity-type":"item","numeric-id":5716749,"id":"Q5716749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702262686c7e63093fd74c7a8d44054de32d1733","datavalue":{"value":{"amount":"+0.770503044128418","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":"Q2350492$30136DD1-B364-4438-BD01-80ACC061A004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1722afbb8e68bdfd3c3c4ecbf574ac961c6fdae5","datavalue":{"value":{"amount":"+0.7667016983032227","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":"Q2350492$52577AD0-5A61-445D-95CE-00629FEFC3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d96709bd831f8d5777e24748ad0103245ae62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5929098,"id":"Q5929098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1b95f68498a67e94a18e355f13bd17a002fafb","datavalue":{"value":{"amount":"+0.7594372630119324","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":"Q2350492$5AD8E61A-41D7-47BF-A354-41C32C5C0106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216f3f00aa4e0ebfd3f4f4b8377806c3be5b7e53","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66929a2565dd550f957d92acf5bccc5a61b1051f","datavalue":{"value":{"amount":"+0.7590420246124268","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":"Q2350492$AE5270A9-84FA-4E52-950F-BBECE241A19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd8dcf5967273fb60329a2298af49471aabe18","datavalue":{"value":{"entity-type":"item","numeric-id":2277847,"id":"Q2277847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152b03a0251383b1d02399e9d6b7edb9d9bcebf6","datavalue":{"value":{"amount":"+0.7544293403625488","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":"Q2350492$F85BC94F-22DE-4060-AA46-C25CCD40B003","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification of asynchronous concurrent systems using CADP","badges":[]}}}}}