{"entities":{"Q2486401":{"pageid":2497144,"ns":120,"title":"Item:Q2486401","lastrevid":72739392,"modified":"2026-04-14T07:19:16Z","type":"item","id":"Q2486401","labels":{"en":{"language":"en","value":"Notions of bisimulation and congruence formats for SOS with data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193055"}},"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":"Q2486401$D37142EA-44D6-47B2-B92C-40E5249F981F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"058a5649e64403fee96110153bfc80bbd7a7be2b","datavalue":{"value":{"text":"Notions of bisimulation and congruence formats for SOS with data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486401$08C835C7-9B40-4E49-8C4D-4AC698627366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"788df50383698c66301a872c5efd0c986b2d8931","datavalue":{"value":"1082.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$B9B6922E-F2FD-4F19-98F2-04BCCB275849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$B29A0B17-D348-4A37-A361-6ECC8ADCDAED","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":"Q2486401$8BD0145B-E3B1-40CC-A9C0-67F7C602E362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90b8e08a65c3f6b60302137bec886dcfcd8ff418","datavalue":{"value":{"time":"+2005-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2486401$39C05D24-35BA-4D17-90B3-9AC6949DE052","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$E62BD8BE-691E-4CA2-B0D6-EBA5A44BA08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$6A6F8673-93A5-4B94-ACB0-8231F6ECF035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a153be5138fbf39ee83b207bfad8ac49b231b42","datavalue":{"value":"2193055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$2648D3EF-357D-4AC6-B088-7F276B453D04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486401$03E37B2C-140A-4D06-9D18-E810CF501481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af23e4b28d45e8f686f4d946257dc754f34ef602","datavalue":{"value":"Structural operational sematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486401$BF4FA668-CABA-443C-BFB0-F376D7CB210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486401$68CE3100-61E3-47C5-9B0D-DDCA15227086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2592d1c5d529255aa98dde84e15a8a127fc5f8e","datavalue":{"value":"Congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486401$30B5BCFE-DE67-404B-944F-C19996F34FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28f643041b16d2a45c39d121b4fd9b97961ccef","datavalue":{"value":"SOS formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486401$F3AAFA04-6B21-4E99-B35B-B17876F4010E","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":"Q2486401$F411EF49-991E-4685-8467-7905F101BD4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"785ce65a740831a2c69f9bba27f1ad2cfd02f70e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486401$DA227500-390E-4A08-B2BA-E18D8F46B231","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"697681b470db2ff0be3aae5fa7d6885b13ccb17e","datavalue":{"value":"W2044965190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$05A6C92C-27AF-43AC-9554-21C284FB4F63","rank":"normal"}],"P223":[{"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":"Q2486401$1628DC36-C0C4-4A97-A7EB-D9479A0D41A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$4B52DDBA-6352-4EDB-92B0-6BE94417C001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07ba5158540876fffe29cd55d9288de7d3815f","datavalue":{"value":{"entity-type":"item","numeric-id":1878716,"id":"Q1878716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$CB877D60-1284-4FED-BDBB-07EC708391B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$5961DF1F-3BB4-44F4-BE36-BD713F75FFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c773d5ccbf71afa9b886a642149c404394a31d64","datavalue":{"value":{"entity-type":"item","numeric-id":1781998,"id":"Q1781998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$C4ECF101-82CB-4344-82D8-78BA732B481A","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":"Q2486401$4BA5EB4C-1A33-4643-B9DF-EAF601644C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6474388d0228cc5e8f2fe428633d439480105e9","datavalue":{"value":{"entity-type":"item","numeric-id":706498,"id":"Q706498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$1A0115E1-C4EA-4560-8EBD-183DA23C15C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70fcb4bdf553942a74a81e373a3d5b780bdcb4","datavalue":{"value":{"entity-type":"item","numeric-id":4223016,"id":"Q4223016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$3B47068F-A46A-477A-87BC-51AC00627F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92cc8c41db14907aec86e8a210b84a23526434b","datavalue":{"value":{"entity-type":"item","numeric-id":5262960,"id":"Q5262960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$0E75589E-F1F4-4D18-A6AF-E8CB3306B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f570f44167224f6d8edb808ca179d578e674cebc","datavalue":{"value":{"entity-type":"item","numeric-id":1763160,"id":"Q1763160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$4572BFE9-9F10-4BC0-A6D1-D4CAEA592997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0759fc85373bb23ed9bfa8dbe3c6f4db309f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4373409,"id":"Q4373409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$210A8BDB-529D-4086-95CA-90E21532A707","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":"Q2486401$D4D46E8A-B9BA-4B08-AFB8-066A7BE2664A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b44b002ed8a20bacd894985c87a73238ec2196","datavalue":{"value":{"entity-type":"item","numeric-id":1285654,"id":"Q1285654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$EEB0ABAB-D046-45A6-BA40-72011E30A715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$90007709-48D0-443A-8C52-40701CA3B01D","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":"Q2486401$7C4C1106-1156-4B40-83F3-C7DE1E50E317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0942ee95974c142ca870a8b6319eb989c0118cb","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$4F2377FD-BF6D-41AA-9CB9-659D515F2A6E","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":"Q2486401$7B731425-D910-4159-9C31-90B45A894C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949d3eeacf603520999ad4bcd89e07a2a1eff9b","datavalue":{"value":{"entity-type":"item","numeric-id":5931555,"id":"Q5931555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$C08B4649-E8F8-4A9A-9BB7-8666477E64F3","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":"Q2486401$A3B1526F-703C-4FF7-ADF9-45A813FEEA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$B219DB55-A2CE-4460-8460-618E0A70286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$10A1E13E-D63B-4B2A-A2EC-FF3E73028B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$B06251D2-D555-4E3D-A4F5-ABAF2EBD4865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1c7b5df8cf83140e6c720e7fe0a8d06a6e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":3148335,"id":"Q3148335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$763CE92E-9803-4422-BE8E-29341DDF18AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2fef7a5f3f2451e4133a48823217736cb7d413","datavalue":{"value":{"entity-type":"item","numeric-id":1854331,"id":"Q1854331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$BF2103C4-A271-455B-8A4D-58C3634512DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$11FDC035-7C2B-44BD-89A3-0149B6704FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$D3042FD4-92DC-4A51-B7F5-3424C6B6AF00","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":"Q2486401$A429E6E8-F948-4B28-B5B1-8B60765EBB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486401$A05467C3-7375-43B3-8DF5-D2906AC59928","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"336128d337b14ab685401a67830133e6e13564fe","datavalue":{"value":"Q57745774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$9B492B30-A809-4F6F-B850-F62132C4446C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c53ebe4e77ad15612c008997c129f1c833355bd6","datavalue":{"value":"journals/iandc/MousaviRG05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$2A595F0B-ECD7-4E77-BE10-C587D2622CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12f57b0756d34cdd3546c3575095b4c08347b773","datavalue":{"value":"10.1016/J.IC.2005.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486401$7F20D5EA-1CD7-46A2-BBDB-9A95C80286DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b9c297484f9462eac407e0d44d566b7d57e394","datavalue":{"value":{"amount":"+0.8004578948020935","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":"Q2486401$3C9A995B-FC75-4339-8736-C6D750FEDABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc651faf0f1848327d21161e2613fdee77d119f0","datavalue":{"value":{"entity-type":"item","numeric-id":4536607,"id":"Q4536607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ef3b9dd5762b1d0f1dd41f85ebcd3e7f59ece2","datavalue":{"value":{"amount":"+0.8001232147216797","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":"Q2486401$1C7904C3-0608-45CD-AC0D-7CF471247658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7b1bb33deff1ee6e6b03ff2f0cbb063657f548","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61db13bc1d2a454364d1d2f40733fa5ee767410","datavalue":{"value":{"amount":"+0.7754101753234863","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":"Q2486401$88E1977A-F8BB-4DE4-8944-D79188804074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5c915451936990a23a750cd6ff3d101356a126","datavalue":{"value":{"entity-type":"item","numeric-id":2810690,"id":"Q2810690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af523fda4040d791df50bf0952ac58f5c328822","datavalue":{"value":{"amount":"+0.7703397870063782","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":"Q2486401$5CF8F5F9-684C-445E-AA7A-055E25EC7F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1539b8d0dfedefd5d6d0bc4f528c4655dfd0ffc9","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c39b6ebeb87d2b7918773598c88cc1b66b9243f","datavalue":{"value":{"amount":"+0.7688815593719482","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":"Q2486401$F8775B29-8B8A-4AB2-8B10-7AC1CF42DE15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notions of bisimulation and congruence formats for SOS with data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Notions_of_bisimulation_and_congruence_formats_for_SOS_with_data"}}}}}