{"entities":{"Q2811340":{"pageid":2822078,"ns":120,"title":"Item:Q2811340","lastrevid":83333792,"modified":"2026-05-07T07:15:45Z","type":"item","id":"Q2811340","labels":{"en":{"language":"en","value":"Verification of parameterized communicating automata via split-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591821"}},"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":"Q2811340$28481A8F-BC88-43E0-8396-DF2A7089F391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aa11d16daece0af48a3421680b2ff08f23b653d","datavalue":{"value":{"text":"Verification of Parameterized Communicating Automata via Split-Width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811340$2010E745-4610-4464-88B5-97D706FEC51C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4182538cbab66f2326123b0d6cb7ffffe482eec","datavalue":{"value":"1475.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$BFB71651-8361-48E1-85AE-B74721ED37E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f1177e8556d51e1548b9b5b683b4062911bfe20","datavalue":{"value":"10.1007/978-3-662-49630-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$2FA4F6EA-0DC1-4942-ABAE-8D10AD9D94E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d44b325f158cd7c4eed27a4f49c09b063e7c27","datavalue":{"value":{"entity-type":"item","numeric-id":2164218,"id":"Q2164218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$8FBDF683-6821-42FB-A9F8-82A4F433CF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$50C66E0C-700B-4CA1-85CE-23B6ACF9AD19","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":"Q2811340$531CF357-4671-455C-93F9-2C35CC3EC104","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811340$51D89E0F-1B04-47A6-BC2B-09EE0D81CBA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$AB094248-E3CF-41B9-A021-BC268500AFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$7F03453F-C9A3-4D8F-A897-664CEB509FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$A2BFA809-7419-44C2-8BDD-099717A76556","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5849aa1dd4145a48e65b1b3dbfcbd17eb91ace12","datavalue":{"value":"6591821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$7C88B14A-407F-4BA3-8846-48C0F40D39E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43d871ff7433d44402db52babfb9468ef2f3a42","datavalue":{"value":"parameterized distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811340$1045BEE7-1169-4CCD-A336-79B8F09E11E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811340$47941E98-4D6C-4829-BA64-6BF71BA11910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664d72fcd81e040c617959955b7b0c2f0c3f9efa","datavalue":{"value":"split-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811340$B2737B28-CEF6-4051-BAD1-F47DA995D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811340$350CC6C9-A31D-41A0-B90D-29E45AFBF85A","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":"Q2811340$7939A692-BD10-4719-A419-9887A8B0F037","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"844973147ee487e68f09ddfbd2ebefcd27159fde","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49630-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811340$F0E82B94-B007-403C-8E43-DD67AD4486A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f9d79f5fb9057b44cd270a92208eab5228f9a13","datavalue":{"value":"W2464539450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811340$24E6DB00-1BE7-4F53-A7B5-782A77A3B44D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81f86a995323782717473ac2fcc37f7aab293","datavalue":{"value":{"entity-type":"item","numeric-id":3457774,"id":"Q3457774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$5A6402A7-9B35-47BB-BDFD-6DEB45CEAC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4bc1e19c37922a639da1a9ec5564fb5110b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$388A1DA0-1FF7-4BD8-B77A-81803DE1D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8018e4b2238d1fb6a944b40d6c56807562f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$764AF3E3-41D6-42C5-9D4B-5C1CF2734E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e9adfc56b0a8df830d070883648fba0ff42b0","datavalue":{"value":{"entity-type":"item","numeric-id":4635601,"id":"Q4635601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$672C3DB2-E908-4F8E-BBEE-946789117D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16ee60a64ac19bf1da5f24a6f02e4fe4d26add9","datavalue":{"value":{"entity-type":"item","numeric-id":2978552,"id":"Q2978552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$403EC3B5-C39A-4420-B87B-605DEEC42C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f28405c6b8c146fc09c9edbb6dd67622e4c16e3","datavalue":{"value":{"entity-type":"item","numeric-id":3447694,"id":"Q3447694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$1314358C-5BA3-4E30-B2DC-FD27E2DC68FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$AB5821D7-EFAD-4CBF-AB3D-247B1C2C9958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$F1869CDB-061D-4C3F-9E58-80E1D9250F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c83bf274f93d861a5c0c6834d01ddb129bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$572BC0D6-073B-4CCA-833F-0094CD78A64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$6E4A1ED6-F603-42D2-9855-47EDDA51372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2eaaed127f92f45fa3ab8862f487c4abd56b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$994681EE-79E4-4DA8-84FE-0DC44EEFD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$21A9ACC0-7819-4CF4-9E48-B242F3C3DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811340$33C19AE3-D1FD-4DC7-BE57-9453685CBCC8","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":"Q2811340$7A14F2C3-A1E1-468A-8335-437F7C8EAC83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f29e69f4b10a17702e694be597d0e140aa964b5","datavalue":{"value":{"entity-type":"item","numeric-id":3447694,"id":"Q3447694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ec66a03489ab2924e92cd9e992ed6f25f5035f","datavalue":{"value":{"amount":"+0.8593403100967407","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":"Q2811340$495DC738-DE81-424A-AB77-EDFE6B171052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2085f59fbc5cbe64dcf4c5224dcdd34288733f","datavalue":{"value":{"entity-type":"item","numeric-id":3457774,"id":"Q3457774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e7e36a016f56af2379c829213d6e8a9884fa94","datavalue":{"value":{"amount":"+0.8199644684791565","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":"Q2811340$08901010-A36E-4B95-B6F2-E0DFB07F4808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e970356126d19a9ab19e29b43d570aad57b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2978552,"id":"Q2978552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4fea94b15d72910ae25fb2a9fd3763bed02b65","datavalue":{"value":{"amount":"+0.8099147081375122","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":"Q2811340$E6D87387-CBAC-485E-A01C-DC4677E53688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c88a17d0862750a946f4bc39b0e94ae51858d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4635601,"id":"Q4635601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cd2c93c2450151f6385106ae4add9723e2c7e4","datavalue":{"value":{"amount":"+0.7866985201835632","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":"Q2811340$B4C2973D-F738-4A8C-A1C4-7710D54B5485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3153dc0c5d9d705ab477259c5095a8bcaf5c50e3","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9976cf3509178834a360a4cf70a93dd8a09c8870","datavalue":{"value":{"amount":"+0.7455111742019653","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":"Q2811340$A8D126DD-0574-4D18-A85A-C4D7CBEFC738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of parameterized communicating automata via split-width","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_parameterized_communicating_automata_via_split-width"}}}}}