{"entities":{"Q1854563":{"pageid":1865305,"ns":120,"title":"Item:Q1854563","lastrevid":73667253,"modified":"2026-04-14T16:50:53Z","type":"item","id":"Q1854563","labels":{"en":{"language":"en","value":"Ordered SOS process languages for branching and eager bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853288"}},"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":"Q1854563$80254AC8-3FE7-4288-9971-11A4C0608E5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92cab5e1398c5af25016120e98416d16797a21b4","datavalue":{"value":{"text":"Ordered SOS process languages for branching and eager bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854563$DF62B699-5E83-470B-8BE9-2DC610BF1E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d486aa725647cecab843a1fbaa1b57e0bfad9538","datavalue":{"value":"1012.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854563$F2195332-2FA6-4211-B5DE-86300E59691B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f0ca554862f8ea30caa70152e1e5f7c487c44e1","datavalue":{"value":"10.1016/S0890-5401(02)93161-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854563$D47C5227-8745-4D17-B070-2D84D6273965","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$DFEFDDEC-4EEB-460D-9864-3999D9EE89DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$F96E064D-3A88-414D-A350-C80845DFC4A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$986B4D0A-3A1A-4FDD-8AF7-D99765F268C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854563$C30979DE-202E-4458-859E-DCC5D3A6033F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854563$B4AA6539-148E-420D-AD5C-716890430CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854563$499168A1-A856-468D-9864-D9464D07C39A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e735fc51fac55be2d2a05d90ba2b562ddfc6aecc","datavalue":{"value":"1853288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854563$5CF1AF95-0F80-405E-B52B-80999FE7690C","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":"Q1854563$91A0D020-9BC9-485D-AB3E-133ABA5EF9B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$EF7B39BD-07AE-41EC-BFF0-61DC2571A693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$CE12E254-5CF6-4FC4-A91F-5F00AC3180B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$D9823AB7-CAD8-4092-B64A-81D8A61DB2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb3346e0185c1da292aeff371bc111936059633","datavalue":{"value":{"entity-type":"item","numeric-id":2506486,"id":"Q2506486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$9D202BF5-5BA1-41DF-A933-0BA6ADDCFCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60577f3314c849b2d8dc56a4ebbc25b9494a0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375631,"id":"Q4375631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$034E8D23-D900-4F01-A152-20AC6BDC53E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$6B6C0BFC-5122-469A-86FE-142AD2F1BB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61f4d746cc240c7e01e374e1c8b6bcf1fdd307f","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$8BDB3D92-AD25-42AB-9E5C-16C940EB64FE","rank":"normal"},{"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":"Q1854563$7A88477A-24AC-4915-A078-84404BB5EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$269D6359-A70B-40A5-B165-24E77A6F828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$8B69716E-6E68-4B38-86DE-AECB5DAB1934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$3D9325F1-6081-4D5B-91CC-D0811AA663F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727c562227ac60c0ef0775e0a8ba7364cff92b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1314270,"id":"Q1314270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$A74CE0EC-8FC6-4BEC-BF0E-F306929970D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$B09117D0-56BA-43E2-8916-BAEEF99AA13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31aa968ebd337706ec5ce7e4ca615453b6a22c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4874391,"id":"Q4874391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$6D9676EA-CF49-42CA-9BFA-B3FFE5B56ACD","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":"Q1854563$07771C09-E184-409D-A689-40AABEA9D2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$DF8DE6F5-4C7B-4E74-B860-244083723B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$17E4F543-6097-4AE4-B37A-3407F0332924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$0F780668-C572-470B-9BC9-4BADBCC35B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$5E37CF0F-52C6-4630-8AC1-0EC57C71AD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$472A2639-C41F-4962-BA6F-90795B04BC69","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":"Q1854563$EC6073E7-D7B2-4768-89A5-2FB456F03359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$5AAEACA6-356F-4304-B9D2-D9D56E73CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$203D9850-DE70-4D07-8B43-8A1EBC9E13EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$E7381FA6-8AAB-47F8-B3E1-1D232D16C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$9AED724F-B3D7-43FB-B96D-F82F1BFEB1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$DFB76ADB-C982-4ACD-B24D-44D8E63C3BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$0AC8BF96-E149-4F5E-9762-AAA93A8BFC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b6ef7829b1f1653c38a19e4d033bd8c87449f","datavalue":{"value":{"entity-type":"item","numeric-id":1575273,"id":"Q1575273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$7CC39AE8-B29E-4EBD-9369-B70F577363A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c3818eb29d879ad387886680e3a7124c33e01","datavalue":{"value":{"entity-type":"item","numeric-id":4536608,"id":"Q4536608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$C208F03D-112C-4235-9BA0-F14F6980F072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$DECC94DE-921A-45CB-BA64-B39D27CFD5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$1FF3A3B5-BB80-436F-9CF8-2F58B52C335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5bf5927d83ab8103c1013d7aaad1bb82405d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854563$643C5A6B-6DE7-4FDB-8BF7-5272699A4E3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d22511deedc654bd637b97c3a8c4e64d8f67d588","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(02)93161-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854563$EA5DDAD2-7F35-4580-8B29-624719FF092B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6524f4a2f3cd3b31934b7254c1dd7f2c98afa3d","datavalue":{"value":"W2090881074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854563$51F9A2D7-A06A-4503-A80D-50F60E0D71C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bb01035880c8eed1db3fa955425385f4ebf668","datavalue":{"value":{"entity-type":"item","numeric-id":4536608,"id":"Q4536608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd498c76032e3be9e96d9ce6938e53597260895","datavalue":{"value":{"amount":"+0.8746150135993958","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":"Q1854563$932C6E5D-7492-401F-BAE9-83B410C63603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1655a405f30d122c6917e53b6eeb063b6564e3df","datavalue":{"value":{"entity-type":"item","numeric-id":1012119,"id":"Q1012119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a96832550ef6caa0e126f40032dc58449104dc","datavalue":{"value":{"amount":"+0.8335514068603516","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":"Q1854563$1E15CFD0-5458-4F58-8E67-A7576A896320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b2ddb0fb64125bae7289e59de7bf889d69253","datavalue":{"value":{"entity-type":"item","numeric-id":5385997,"id":"Q5385997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c417162facbb09cddeee40ce6207589dc8ad6371","datavalue":{"value":{"amount":"+0.8075361847877502","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":"Q1854563$E9297DA3-98FC-4A6A-89E1-A46654C2BF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54721d8dbdab72eb54d4041ee6b2a68e033cddaa","datavalue":{"value":{"entity-type":"item","numeric-id":1878718,"id":"Q1878718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ace9db9d92da5e9802c80e74576443fe62fccf","datavalue":{"value":{"amount":"+0.806820273399353","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":"Q1854563$8F2BC6F5-42F1-485D-AC3E-A6CCEFB69F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49629b2f9ad7b70d661e2ce8700245e2b2d6b7f3","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d6cf584bfb512b69e118d49fffb1face28078b","datavalue":{"value":{"amount":"+0.7732899188995361","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":"Q1854563$FF080373-75C8-44B4-8F84-9CC3AAB4847F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordered SOS process languages for branching and eager bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordered_SOS_process_languages_for_branching_and_eager_bisimulations"}}}}}