{"entities":{"Q3601869":{"pageid":5631775,"ns":120,"title":"Item:Q3601869","lastrevid":88503395,"modified":"2026-06-04T14:41:58Z","type":"item","id":"Q3601869","labels":{"en":{"language":"en","value":"Is timed branching bisimilarity a congruence indeed?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5506904"}},"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":"Q3601869$FA3086E5-C8FD-42B6-B80E-2EA821EA6761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a6782dd032e9960aa74f5364c27ce7c3fffa216","datavalue":{"value":"1154.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601869$7903266E-184F-4AD8-B93C-04D6B4B346CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601869$936318F5-9817-4932-A798-EF71B3B99C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601869$8D97E483-D808-4AD5-A06F-5F1E9B8348ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601869$8089FC13-3762-466B-9154-783A676A7227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3601869$C5AAE989-FCD5-4F47-A37A-44BC73E467F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601869$92F0E3C2-B300-4495-ACBB-81B0F839A962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d29d4c1e587b6819c6e411a439edfdcabf71e38f","datavalue":{"value":"5506904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601869$BDB68011-8924-48FE-8DD1-2A54142A38CD","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":"Q3601869$26A48C6F-DBF7-4902-AEBD-BE29F6C3CE26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2019bdbb181920de9abaae66bda18d46e82a1e1","datavalue":{"value":{"entity-type":"item","numeric-id":5897967,"id":"Q5897967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04b9efc4091f44dea0094414b66e83405b4aeaf","datavalue":{"value":{"amount":"+0.9602192044258118","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":"Q3601869$FF2930E2-9438-4A0F-8249-1FFC6510A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc3c9621ebfe014b24c829749a3985e07b0f898","datavalue":{"value":{"amount":"+0.8042789697647095","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":"Q3601869$C8375FB7-523E-4A4C-8393-2CB5F2ACC9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba213052ef9e175f0f661107db20078216007d96","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980c0e86de9a34264f0af388fefc9a84f8a6d2cc","datavalue":{"value":{"amount":"+0.7952072620391846","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":"Q3601869$1CF3D96A-C75E-4F54-AE1F-00380AC6A9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5863e5d22c26cc7fce774f7507e09366e1f984","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c948a29c2afce47afdf3c3fd980d31acf5279de8","datavalue":{"value":{"amount":"+0.7727569341659546","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":"Q3601869$BA2109C0-C674-413A-B5B9-1B6C692AA57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0375af7929f0f6c253fafcdc962da3829882bf49","datavalue":{"value":{"entity-type":"item","numeric-id":5192929,"id":"Q5192929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565bd2bf8cea40a20ea6a63a617f8892b1813478","datavalue":{"value":{"amount":"+0.7719025611877441","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":"Q3601869$0DEEA0A7-B901-492F-BBFD-8502316DA08E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is timed branching bisimilarity a congruence indeed?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_timed_branching_bisimilarity_a_congruence_indeed%3F"}}}}}