{"entities":{"Q6859911":{"pageid":20656099,"ns":120,"title":"Item:Q6859911","lastrevid":84252422,"modified":"2026-05-14T05:39:36Z","type":"item","id":"Q6859911","labels":{"en":{"language":"en","value":"Branching bisimilarity for processes with time-outs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158334"}},"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":"Q6859911$7FC0C2AB-0C25-4CD1-A8FC-B2B325F2E157","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6064612f412051d6b6bbc1bcb2a6a99dd7c2a37","datavalue":{"value":{"text":"Branching bisimilarity for processes with time-outs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859911$DC03B843-D773-4D33-AF04-F1B9AC6DA2C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2bcf0e5f90bbca540fe9ce9873c71c88432ac56","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859911$1B57161F-E1D1-442E-8C02-4A9BCECD996A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3e646fd72fa24c2c7403e32098a6d54197af44","datavalue":{"value":{"entity-type":"item","numeric-id":6623015,"id":"Q6623015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$B948B91E-1BF0-4391-8080-4CE38D7FACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$738B7785-8FE2-4366-B370-91544E0D8C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-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":"Q6859911$1FD01335-177E-4150-AF98-38F583706979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859911$3AA05822-261F-420F-ACEE-1F7BDBFFCEEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca76a30efc06d37baf4c3af60c336fdbde0c00e2","datavalue":{"value":"8158334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859911$BCC9E7BB-A0EA-4C7C-8903-09AFCC1D75C0","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":"Q6859911$5311BA4D-AC74-470B-BB4A-D59283D72888","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859911$8796383F-CC4A-4BEF-91BD-5DFF5ADB23AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"979db9603752fb3ccc2d6e95b344ced6204730dd","datavalue":{"value":"time-outs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859911$7F1E8DA4-A94F-4701-A12D-0D0D174C8D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f34fdafe40c66edfe5abd6784afdc2bfe321d3","datavalue":{"value":"branching bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859911$96A93ED9-25A5-415E-99C8-94B29F60FCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f729041ec5578bd66f0b98559c41916c5c206c","datavalue":{"value":"modal characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859911$1A13AE4F-BF91-4D9B-897F-8983344D9F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859911$40C9CC93-177F-497F-B7EB-53E584EF9834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859911$4E1F589C-2E55-4502-B762-9687B74BCD74","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":"Q6859911$95668CAB-07A7-4D94-A429-8AF3FB963F28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$DDAA21EF-FA3B-4681-8AE8-A2CA4EFF0C82","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":"Q6859911$61DAEF31-1D08-4550-A361-3F085D9F6D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$38A97D77-5A5D-48DD-AA21-2039687A22C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327263919aa555338c22c3161dbf4ddc1f5c43f","datavalue":{"value":{"entity-type":"item","numeric-id":2272990,"id":"Q2272990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$BE312521-4A44-44AC-9D27-6BAF7B7D5D44","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":"Q6859911$87787F43-5DCA-4B53-BE0E-FDB99D2504B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fb8fbdb9e6fc452aef376c4fb069fd21cbfa61","datavalue":{"value":{"entity-type":"item","numeric-id":5144689,"id":"Q5144689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$8DFEE7DF-C855-4619-A558-874661AEC30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf75943b569b7f078dfee078583ce1ffedb62a","datavalue":{"value":{"entity-type":"item","numeric-id":4989406,"id":"Q4989406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$59B3943A-AB6C-47E6-8FD8-2E4927756FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d672073ef872c6d81a40e4b50aa086fd9cff6","datavalue":{"value":{"entity-type":"item","numeric-id":6053409,"id":"Q6053409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$CA81701A-EBDA-4B08-836B-3773328908A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6cfa2fb2040523f0c791ceecf55de618ae689d","datavalue":{"value":{"entity-type":"item","numeric-id":2687033,"id":"Q2687033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$E6131FE6-671A-48C3-8406-605DBF7A4F49","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":"Q6859911$41875152-E109-44F7-9C51-6EBF7ECDD6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f16179dcc68fb16c71fabd40f0adad6e5c9502","datavalue":{"value":{"entity-type":"item","numeric-id":5145655,"id":"Q5145655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$6ECD1B49-DA87-4945-A3DE-BDB3CFD14F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$B087D43B-E3B2-4740-8AB6-082B0611F149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7792e72500e1bf23de8fb31ab05c05aa2bdd5705","datavalue":{"value":{"entity-type":"item","numeric-id":5089302,"id":"Q5089302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$C87218AF-62C9-41BA-AB07-F6C3485DF389","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":"Q6859911$AFEE927D-7116-4AE7-B264-8E11B7F62224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$61B4752D-BA40-48F6-839F-851623AD9850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5d32ba537e7846b23d39dfb1f2ef19a23a744b","datavalue":{"value":{"entity-type":"item","numeric-id":6859911,"id":"Q6859911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859911$C51DC316-FB52-4A00-B1E7-C3237E917E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching bisimilarity for processes with time-outs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_bisimilarity_for_processes_with_time-outs"}}}}}