{"entities":{"Q6854426":{"pageid":20623198,"ns":120,"title":"Item:Q6854426","lastrevid":84263024,"modified":"2026-05-14T08:59:43Z","type":"item","id":"Q6854426","labels":{"en":{"language":"en","value":"Conditional bisimilarity for reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163122"}},"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":"Q6854426$DAB6E83B-4AA4-48CA-91FC-1F77625364E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3295d91cb48a017f961d756fde54c6d889fa6848","datavalue":{"value":{"text":"Conditional bisimilarity for reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854426$128C7063-BFA3-4508-BB18-02003C014719","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a195bb634fa934e7635af0cac2888b30542445","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854426$682929CE-EE2A-4C56-A4D8-E2B9EDF35FA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"575dad6f64e7157dbc308603e964d5d259060646","datavalue":{"value":{"entity-type":"item","numeric-id":2892758,"id":"Q2892758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$47F52013-2E90-4240-B300-DE8792975C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$8790A755-B537-44D1-88C1-95FA8EC836C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4826d699884a0bc6d2655cc852cbf1a7a780d35d","datavalue":{"value":{"entity-type":"item","numeric-id":1797780,"id":"Q1797780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$A813E780-966C-4A61-ABFC-70BC23F1CFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3a9bad9bc62051861acfd56187415287c59fdc","datavalue":{"value":{"entity-type":"item","numeric-id":6854425,"id":"Q6854425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$387FBF5C-9F80-433A-9F1B-19DE95563B10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854426$8BB6D07E-8131-4E2D-8131-628A85A34A56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854426$DFEE1978-0539-4932-9863-878D56897077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854426$340EEBAA-2929-44F1-918B-7D4BFEC8DFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854426$C617383A-0FCB-4709-80F3-7BD8B95C8210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7432ca37a327d51124af89a4c27b72043fe0a21","datavalue":{"value":"8163122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854426$C48AA360-AAF9-4E50-99F2-DD86ABFE844B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$A61FCEFA-B367-41AA-8661-6FB8AB5DA858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa78fb6ccc7e0c0aaef9e1bdb64f03d46ca1e949","datavalue":{"value":"conditional bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854426$D1010648-6E3E-4F84-B539-C41C0ED63D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854426$3544A345-C473-4DB0-9FA4-2964B0B4ABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d645f589220722a23cc432465458971f8e3cf443","datavalue":{"value":"up-to context","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854426$F8CBBAAA-8270-44FF-9B02-F934CC2EA6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854426$2832B571-B438-4FF6-9848-D8F760A013D6","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":"Q6854426$C08428F8-E061-4EFC-9F14-0EA92F3BBEF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$10F5496C-E3AE-4F10-8F84-28AD3A331049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab35f4a7d55ba33e39746dca3e29f44516746a","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$3DF5C68B-B76F-4ADF-AF79-1266BD4C6DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488ae82fd5efc323dbbefe7e9e83e42be1b7a49e","datavalue":{"value":{"entity-type":"item","numeric-id":2911624,"id":"Q2911624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$7B8F3C28-C038-45D6-82B1-FAA77638688E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f2bffc3ac1cf4bbbc7bfad8abe5d9371f2b980","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$8392C7FF-81E5-449D-899C-225D2815D821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d76d59e66979e6ef88aee9dd5b85b00517f76c","datavalue":{"value":{"entity-type":"item","numeric-id":4890712,"id":"Q4890712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$B4D3D930-75A2-4FF4-80CE-4B7B76A3C4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe8b98097136d65813da62e5a484a5f7126589e","datavalue":{"value":{"entity-type":"item","numeric-id":2762625,"id":"Q2762625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$24AEBDCC-5F87-4D46-BD4B-6F8DADA4D8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$B2B022D3-4084-4DE9-892E-676120AF6C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$09B2939B-5EEC-40CA-8A52-B00441589B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3d493d5bbc9853db52cdcc391586e0b278ce16","datavalue":{"value":{"entity-type":"item","numeric-id":2892783,"id":"Q2892783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$3D6643A4-65A4-4D6B-A3D0-41F3BD45F820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d44a96b69f43a066b31ffbf3bfea6bfe941566b","datavalue":{"value":{"entity-type":"item","numeric-id":6854426,"id":"Q6854426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$440C0B20-000A-427B-92A5-299D0087C7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bd840aa47f08fba46c2247463f7f9361081896","datavalue":{"value":{"entity-type":"item","numeric-id":2942911,"id":"Q2942911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$B4585C61-C5C2-4021-9EA1-3173EE0596A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b0fff040e8abdd791ffbcc9c1bf14e03848eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5492811,"id":"Q5492811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$EF065DEB-2785-429F-9D05-59F2515E9732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$B4007BD6-2E5F-4430-9E59-43543D5CAAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$AE99D9FF-094D-4217-B156-7A8AEF138ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$C2E2A658-132B-43C2-92BC-73827A1D4E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$F85DA700-46EC-4CB2-87D9-11D8ADB9ACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fca122bde891b2a813bd5470597f757d4da95e","datavalue":{"value":{"entity-type":"item","numeric-id":3396010,"id":"Q3396010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854426$D1E4B4EF-253B-4659-89A5-AC948210D22C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional bisimilarity for reactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_bisimilarity_for_reactive_systems"}}}}}