{"entities":{"Q6154577":{"pageid":13288957,"ns":120,"title":"Item:Q6154577","lastrevid":93934310,"modified":"2026-06-05T05:28:50Z","type":"item","id":"Q6154577","labels":{"en":{"language":"en","value":"Verifying asynchronous interactions via communicating session automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805528"}},"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":"Q6154577$F9FC50C1-158D-4855-A7B9-72F473EBCF29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddc80e306f586df90c3be7099678d0e0ecc2afa9","datavalue":{"value":{"text":"Verifying asynchronous interactions via communicating session automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154577$870E425C-56A5-404D-977B-57EB32B8C6E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"937d981068bb7688bf16e7b84ad1b1d18fbdf381","datavalue":{"value":"10.1007/978-3-030-25540-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154577$9B098BFB-CA2C-4EF7-B746-8AA27B8C086D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1d7c23f310292dca075efa6e262853e0ebc547","datavalue":{"value":{"entity-type":"item","numeric-id":832187,"id":"Q832187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154577$C68D2D5B-328E-4724-8C62-B3FCFF7FFBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154577$EF5B7C40-F5C0-4BCD-81A8-456AC6C9E09F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154577$EBE0189A-CF01-478E-BAF7-9F6671278509","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154577$F2F10DA5-4B4C-4D5B-83F7-DD1E689E1E30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9a6e005cf360d4561789bf086274ae64a5b5b50","datavalue":{"value":"https://arxiv.org/abs/1901.09606","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154577$48570F69-75BB-4D4F-9761-3C53746F75DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154577$A0F87DAC-9FC2-4427-B87A-974033BE24E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154577$AED08995-A759-46EB-BB5A-08A4FB7FA005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154577$E3CB2D5F-1953-4E8C-8369-DD217513234B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d4ad5759c1161bd88daef1e2fd69d4904de32c3","datavalue":{"value":"7805528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154577$4B00807F-437E-4148-9F31-5AD5CC47D94C","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":"Q6154577$60A669FD-D240-41A9-A86E-4AC3565FBC49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2c37268daf43361fdf5e9a5ad89df8c2dcb9d7e","datavalue":{"value":"W2965154247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154577$1DC14C64-BF53-4BC8-B3F1-74CE781E2032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0992ad15b4ccfe7ccc068a8b4f0e5cf0ed4c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0379a3e70a8f64439ff318973433487c4ef82ec3","datavalue":{"value":{"amount":"+0.7831504940986633","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":"Q6154577$48F9BF9C-7DFB-43FB-9BC0-F3978B35EA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6736020e18ea9a02e907fd58a86ebc9050799","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc83fdbc0b4f5fd0071007b7f0b33290099573b","datavalue":{"value":{"amount":"+0.7790197134017944","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":"Q6154577$D0D5F881-9527-4063-B1B1-ADEECF5A1B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2ceffdd8dfc7b60766f43325ed951c7a6dfd20","datavalue":{"value":{"entity-type":"item","numeric-id":2279123,"id":"Q2279123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccf58ca4017f113936b835da46e4a474cdab1b3","datavalue":{"value":{"amount":"+0.7486249804496765","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":"Q6154577$4A6EE2FC-285B-4270-ADF3-D825F2B62E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2722f0c887569c815683030daf9df74076f5ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":1650866,"id":"Q1650866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28ed513698168b512dfb767d1397b871e298d55","datavalue":{"value":{"amount":"+0.7375367283821106","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":"Q6154577$6D002834-F509-44A1-9019-D8D0ECFF5FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47e09bc7768fe99ae4a6bc231c634d27411a4d4","datavalue":{"value":{"amount":"+0.7347013354301453","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":"Q6154577$EACFB603-5C42-4D29-8564-259E76BEA242","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154577$749E2DDE-ECD4-4724-A1C3-67162B5014C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying asynchronous interactions via communicating session automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_asynchronous_interactions_via_communicating_session_automata"}}}}}