{"entities":{"Q1975965":{"pageid":1986707,"ns":120,"title":"Item:Q1975965","lastrevid":46923606,"modified":"2025-12-25T20:59:18Z","type":"item","id":"Q1975965","labels":{"en":{"language":"en","value":"Rooted branching bisimulation as a congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1441896"}},"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":"Q1975965$88ED3003-E33D-4501-A069-214C1567A3A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34748766bb3cc57cbe63d7ca5e124813be4bfe98","datavalue":{"value":{"text":"Rooted branching bisimulation as a congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1975965$D3FD34D0-E67A-496A-9E1C-8072DF2F1EDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e2bf915df809b7936b2d6f7328f4b07496b2c6c","datavalue":{"value":"0955.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975965$1DBFA3AB-3814-4B04-8E89-293C406B8691","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$3553D055-CFA8-40EA-AA82-E6DD9E951DA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff549de5c6ce5b4225ab7822aed4075af58e4092","datavalue":{"value":{"time":"+2000-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1975965$E03E731F-AFEF-4909-AC73-92D17AD9EAFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975965$58BCA0CD-1D44-4D32-B879-E15B58A1B888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f53ed66e5dd65a7c832eb34941af5d3a37660cd8","datavalue":{"value":"1441896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975965$8EAF0881-6077-4A98-BC22-FAFEFC431B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1975965$F3AC03E7-85E8-4FB9-9F6D-1DB6933B5A2D","rank":"normal"}],"P16":[{"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":"Q1975965$65FAF922-945E-4C41-AE35-2DBB3B04AC14","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":"Q1975965$8AB93679-54F3-48CD-BADE-FA2D4826A5C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"699e2994e04a4e2ce02c0ebf0b11c8379db361d5","datavalue":{"value":"https://doi.org/10.1006/jcss.1999.1663","type":"string"},"datatype":"url"},"type":"statement","id":"Q1975965$386AB50C-65C1-4B3B-A399-5A90860C8E4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6bbac2806fe8d7be72599a032a794f71354f51b","datavalue":{"value":"W2050078030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975965$79C23AED-AB45-486A-9C51-52852CD8E7EC","rank":"normal"}],"P223":[{"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":"Q1975965$D23B9E05-E813-4147-BCBC-B65BF7207185","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":"Q1975965$3956901B-FF88-408B-899C-CD596ED8BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188f97c082fce1ef94d55797d1aec36a692b0216","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$206EB24F-E48A-489B-8CB5-3737A717D0ED","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":"Q1975965$D6DDD728-C4C7-4741-9FB8-229EF579B082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$0CA3B445-33EE-4121-A2E7-F2978BDD30F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$570BB92E-F7B2-499D-807E-07F6CF877439","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":"Q1975965$2C652E70-80DD-4A04-BE4A-79AB97619B3F","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":"Q1975965$1EF6822F-CBBF-49EB-9F34-8FCE4135332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$CCFE702B-D79A-4596-BAAF-6B6F702BAF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d031ff1988baf242cc7cace82f28f35f8c05ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1575654,"id":"Q1575654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$B4C3D2F2-8435-408A-99AF-C97FE6532BD4","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":"Q1975965$AECDB7BF-09B5-46DA-BA6C-B2072D3A18BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$4F8A457F-96A2-421B-93ED-EB6B77505B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$7DD81FC3-C3ED-4E17-BBB8-CD991075DD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$45696166-5AF0-4ABB-8ADA-C75C00314053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1341c730f9bc9e8bcb4f15d4ad9d8d15798a9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4299862,"id":"Q4299862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$616F92BF-6B94-44B4-8464-D0F0C3E53184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$96275C7D-C56A-4207-A545-454DC83D7A07","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":"Q1975965$35E4AEF7-7C73-46C9-94EC-544AD358E2EA","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":"Q1975965$008C43C8-2E20-4C9B-9405-84F5FDB89B31","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":"Q1975965$F96B5D6C-E47E-41EC-B2A7-06B87BCAD8C3","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":"Q1975965$EA49AB03-A42E-439F-8656-F23A1191D004","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":"Q1975965$3160DB86-F281-499F-A8C2-3DEB50FD598A","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":"Q1975965$00971EFF-FD19-4852-A4E3-2A953B0732EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdfb9650a779da65f9c443c794331f7a80af7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1276259,"id":"Q1276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$FD1FC0C3-409E-4EA3-9E15-8DD803AD9E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$384069E1-6ABD-4623-BE4D-53B6B87C7255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$62D19C98-B799-44B4-9995-3FEE00279FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$8DF682AE-C4AF-4CAD-A041-3903E134A2B8","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":"Q1975965$87A0A702-B2EF-4257-BED0-924002F9F9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1975965$8FE8C601-12B2-4540-8510-5A0C989A6B87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282e3af094736317d9264967ab7560592d80db1e","datavalue":{"value":"10.1006/JCSS.1999.1663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1975965$42B0EB29-F20C-450E-A95D-65FED1F0BDC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9456117d5fb1c54c4e6e47def83e67660c084bd","datavalue":{"value":{"entity-type":"item","numeric-id":5259297,"id":"Q5259297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1709edc1b27cc9b2c559242718ed1925788c08","datavalue":{"value":{"amount":"+0.8320865035057068","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":"Q1975965$F4208EEB-A19F-4CA5-93B4-3C868999848C","rank":"normal"},{"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":"d353d57a63e7c70f659aaeafc031d953af9f3e46","datavalue":{"value":{"amount":"+0.805706799030304","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":"Q1975965$09A89CA4-7AF5-4247-B5BA-AD3606631E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadca66d5e1009001903063ae09191965bce4e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5395109,"id":"Q5395109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74caae56ef9b5f24a77cd045731516cc520b02e","datavalue":{"value":{"amount":"+0.7892617583274841","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":"Q1975965$42F84965-0D10-4193-BA66-E5DFDE5B0F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43a14dbdadc39895a935fc6cecfaa8d27099ccd","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6257b586b59e2f3841556aab815eeaaf2ea52cb4","datavalue":{"value":{"amount":"+0.785789966583252","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":"Q1975965$0E4B4426-8A3E-4D13-A55A-242DECB4F5F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1975965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1975965"}}}}}