{"entities":{"Q6967342":{"pageid":21307116,"ns":120,"title":"Item:Q6967342","lastrevid":84054281,"modified":"2026-05-08T22:52:20Z","type":"item","id":"Q6967342","labels":{"en":{"language":"en","value":"Safety analysis of parameterised networks with non-blocking rendez-vous"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056624"}},"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":"Q6967342$11E29350-8F32-455B-88CD-B686B0F416BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7cb92fc6d9b900e9eb48bbef084f8d8c2e11a83","datavalue":{"value":{"text":"Safety analysis of parameterised networks with non-blocking rendez-vous","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967342$BAF17FB8-57A7-4228-989F-29AC03D29ABD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d2861b753f91d615c7a78c9a3667a72b03b2148","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967342$8670DB64-C014-4068-8FC7-88946D51234A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda3ac1d6a4c41d6dc5153a02ade3717208b1e31","datavalue":{"value":{"entity-type":"item","numeric-id":6181922,"id":"Q6181922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$546B5FC2-5809-4954-A6CF-33CF01CFE91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$DD23B209-C9C2-41D4-AC06-417B0DF6B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e44eb185b6f1ec36cedc6917cf0a1983459852","datavalue":{"value":{"entity-type":"item","numeric-id":458385,"id":"Q458385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$C5AF1A60-5709-44B9-B35F-2C773BE26A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967342$81C6236C-D8A1-448D-BC35-07001D40059A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967342$580AF75C-B252-4259-96E8-3B0C84D5DC5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d726c7266ee60681140d6675d025817e528eaf0f","datavalue":{"value":"8056624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967342$B22D747F-3091-4248-82B8-41E13163B7A0","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":"Q6967342$D95164E1-DBF1-414E-8094-EF3620DB1C79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9444b8224495bc3a0f450a750954c9373bb547ea","datavalue":{"value":"parameterised verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967342$F1BAB730-BE48-4CBA-9E3B-ACD447B56D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967342$E9EB1FD0-E65A-4685-A309-4947F8926F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967342$1D858854-8E22-4786-896B-0FE535B1B16A","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":"Q6967342$FCC3F037-77C0-4F14-8D31-83469CAEA097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$CF8CBDAF-B70B-4EAB-ADF3-C2C27A0848A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7edc60a680e335ffecfa095f0c7663a8f5751b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2233393,"id":"Q2233393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$027E8C86-32C0-4D82-8FB2-FB0D7FCB124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$026462C3-8102-4701-BEBA-998D7C61603A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a58771e6abafe9728c545d980c92e6b739e0acd","datavalue":{"value":{"entity-type":"item","numeric-id":2957507,"id":"Q2957507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$90F08F23-9762-48D8-9AD9-F153D15D1E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4acdf78a80d7238462a36b2fe634f7e23479fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":6829948,"id":"Q6829948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$622F6053-FEEC-4BDC-9387-E6664833350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$E6E9E408-7455-491E-BBA6-E319C9D2AB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d99f6827cef19b3fe0f6c547f29f0cd3def9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$6832E90E-3CFA-41DD-9F41-1B41519EEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$BEF6CC00-C145-459E-ABE4-397287A382CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$568B660E-4881-40A3-B956-CFA1F13378D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3e31b2774ca3b283b956390d1f18c78dd87fac","datavalue":{"value":{"entity-type":"item","numeric-id":6967342,"id":"Q6967342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$F42E1A0B-B385-4FAC-9D5F-AAD664DED644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5dd44a61d0ec34dde250bcec42a2591cadbea03","datavalue":{"value":{"entity-type":"item","numeric-id":5089313,"id":"Q5089313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$136D7543-EE6E-462F-9F07-40E3490EB815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$2C1ED0D2-A10C-4AA2-8997-81CD9C8E0B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$4DCEF999-4EF2-48C2-A4AD-CF1A7083F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$A5D5F84F-B91F-436D-8692-2DE7405A8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7110826d5bd5cf529f789858a1cacd3f9be40f0","datavalue":{"value":{"entity-type":"item","numeric-id":2847413,"id":"Q2847413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967342$049541FB-DC46-4756-97A2-05159F785FE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety analysis of parameterised networks with non-blocking rendez-vous","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_analysis_of_parameterised_networks_with_non-blocking_rendez-vous"}}}}}