{"entities":{"Q2007735":{"pageid":2018477,"ns":120,"title":"Item:Q2007735","lastrevid":71216145,"modified":"2026-04-13T20:35:38Z","type":"item","id":"Q2007735","labels":{"en":{"language":"en","value":"Probabilistic divide \\& congruence: branching bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135129"}},"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":"Q2007735$0FF0A633-F39D-4F70-8D29-59DE84264257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43856540fb9982d50aeb40c961ceb61c0b73d72","datavalue":{"value":{"text":"Probabilistic divide \\& congruence: branching bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007735$00D10D0B-BE0D-4D8E-BEC8-DA119DADCA08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5790a88e5e3e1366af14560629b448db7ced2845","datavalue":{"value":"1436.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007735$1C1DF1B1-1A7A-4083-9CCE-294A3B46D0E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$8780E38B-31EF-4C35-AF0F-9BC2E2ABD8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$5929AC51-FA7C-47F7-8BFE-FE42085CD6F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$EC253675-0ECD-4270-8A96-3DAFE70051D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007735$B7DAA5F7-D245-4411-9E01-C5D29AC69EBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007735$DCE2C36C-B3AE-4000-99DB-A1514457FC43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4d5bfd53c989d7499f8c40c2133b7f6964d7855","datavalue":{"value":"7135129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007735$25DB67B7-4E6C-4C75-8736-6F5E9A701EA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8531273b707400db5002931577f083de3a064ede","datavalue":{"value":"modal decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007735$6DC039BF-AC5A-4A80-A918-B204A87BDE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e39fff26162c7ac2616ee13a6ad656e70190bdf","datavalue":{"value":"nondeterministic probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007735$B69D4C6E-5814-498C-BA07-8D1817B24314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007735$411E08E3-C211-4124-926F-B89A51D5D650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e981b1e4581137abb3c811fe3ceb9459163ce433","datavalue":{"value":"congruence formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007735$E7ACD9FB-140E-4B87-897D-48B851651280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"531654b53f1de9b4acd3732ac79de2d75a3fe84a","datavalue":{"value":"probabilistic branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007735$DA629EFA-1553-4395-AA75-F2662827CB2D","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":"Q2007735$38C2D974-838A-494D-BB5D-6AAFEC945914","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a5e478be7bc7b331677c17571b925cf7d3dd743","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.09.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007735$B2574D7D-2B05-47FE-8BF1-4FE6C12C3554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a641298a98dbf8a71166c6181f3be0c99441c6a","datavalue":{"value":"W2975938706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007735$ED8E9F3D-D810-4768-8496-7B213D7E0F37","rank":"normal"}],"P223":[{"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":"Q2007735$7507ECFA-4CB5-4F18-BE4D-9B8E24FA4339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a8c3b891d69381d6dcd5f3c5faa720f230de04","datavalue":{"value":{"entity-type":"item","numeric-id":2767184,"id":"Q2767184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$CB64D19F-A4A2-4DEE-A22A-4A5BFACB4F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f3c53b14eaf3687275c164a42522b17ee362f","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$B569C96E-143E-45B7-838F-9079A0910CC4","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":"Q2007735$3E0DF9EF-68FE-4BED-B0A2-986A71403084","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":"Q2007735$23460149-C4ED-4A83-A09B-03583FF2E7D6","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":"Q2007735$F55033EE-71EB-4F73-A3F2-0403ADB03C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$92FDD0F4-0693-4347-9321-397C12B1A981","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":"Q2007735$EDDC73D0-3091-4C43-9D90-E0D1D75C7F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558629c0e6e663c9fdc1db1979d026dc6f0c43dc","datavalue":{"value":{"entity-type":"item","numeric-id":4608689,"id":"Q4608689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$93AD3F60-5DDE-4726-807F-1C73B2D0F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae283677d3ca5ffa8c82662f1af1c4b7bfb2a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4580323,"id":"Q4580323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$EBC624DD-18D0-41A8-8095-2573BC26ADC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec57e6f962040d48d62e4966185d143ee30a15c","datavalue":{"value":{"entity-type":"item","numeric-id":2272986,"id":"Q2272986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$D6EC3A82-F6F9-438B-8B4D-1E22B02B2881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4e31ea40f22061b200b5f9a54195f222d0843","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$3E3BC036-D1B5-4C22-A19D-D39AF48AB997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d363277630c06d865ba978c3bed0c757298f0f","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$7F90B19F-A4F3-4DFE-AD68-D4F02F40E626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43d97d8401127eb4b06dd2ef13ac89c0c8dd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$92D40A1F-B50B-4784-AF23-622EA2437D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$235E6F17-F53A-40BE-8D5E-74431531E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261dc7f2a2684d047eb00d226c6d60257b6a334b","datavalue":{"value":{"entity-type":"item","numeric-id":5497245,"id":"Q5497245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$E27183C0-7D56-4E93-8CE9-491026B3B015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babf0900b770636829cb2dc1b89281a382a7ae69","datavalue":{"value":{"entity-type":"item","numeric-id":2870293,"id":"Q2870293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$872766C2-AE48-44A9-82C5-4D5F4E83C8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48613c77d62a14fb032775f4b6795645924510eb","datavalue":{"value":{"entity-type":"item","numeric-id":4933311,"id":"Q4933311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$4F2482D2-8C3B-41D8-B920-910324574BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$9373EFA9-B4A2-44D9-8A97-EDB3C7BC68F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5366e0a3555e45e70d48ef5996f2d7fb2e79e87","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$F333501D-A7C0-4266-B580-1D56638ED4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$54A763ED-2625-4DD5-973E-8F36E7441739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$82BE4AAC-336E-476F-B281-84EB57DEB827","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":"Q2007735$4A23E50F-E296-49F7-A1CD-C37D463CD505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca770a1ed21cc33b4bd345b5c0dd103ab930f741","datavalue":{"value":{"entity-type":"item","numeric-id":4635941,"id":"Q4635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$F19FC073-0AD3-4496-9A63-80169AC71EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290ed2ab05052197c573ed5b3917c60ff20f2d51","datavalue":{"value":{"entity-type":"item","numeric-id":1680509,"id":"Q1680509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$C9D15AFB-07B5-4A92-832D-3F51372F265A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a1da6e4b81b202f9646c94d28ab71a7dc5e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5111193,"id":"Q5111193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$1252CA7B-970E-4280-9B86-6B29C8A2ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3eef55a41207f7292d18140d6bea74d64a8dab6","datavalue":{"value":{"entity-type":"item","numeric-id":5111628,"id":"Q5111628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$82531B5D-FF23-4C5E-8412-2ED5EA38DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$16D5877C-A588-4692-BD86-B2A50C787AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2940e7dc2b3f84a4e2761d75eb5f9b11fe5840","datavalue":{"value":{"entity-type":"item","numeric-id":418189,"id":"Q418189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$CE27658E-47A4-44E2-BAB6-21D8E654786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49ce1337a4d1606e89be2c26995b66a83555870","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$ADFEC7BD-FAB4-4133-BD4A-7FC405D0CEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfed5d037b42244ad5cb6ac4b7bb960b703bcb4a","datavalue":{"value":{"entity-type":"item","numeric-id":2912692,"id":"Q2912692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$550EF702-C683-4A07-B9E2-2559DFE71C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44bfa4f14cb3c2f188606a926586fcf6964ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2974795,"id":"Q2974795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$075CE83E-86C1-45E3-B22C-1A34D730FE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc8dad04a9280c5f141bf1b45bab95607454013","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$A25A43FA-257F-4B08-A845-1DCE0FAAD5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165514b88b415b2459d83f9e321627f7512e01a1","datavalue":{"value":{"entity-type":"item","numeric-id":4995155,"id":"Q4995155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$1028AC6C-51DA-439F-A86A-7304815E5B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d5ccc96a4335be9e1842f9422a94c6cc24c57d","datavalue":{"value":{"entity-type":"item","numeric-id":5357701,"id":"Q5357701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$3AF083D4-EB24-4633-A617-E6549FCD6369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484a042842a30321233ea31fce6294dab1f0e004","datavalue":{"value":{"entity-type":"item","numeric-id":1678172,"id":"Q1678172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$DE88C588-AEF2-4208-A73A-45E3C323E102","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":"Q2007735$FB5038E7-62DB-418B-85C3-C7D0E4C751E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b9663f98ebea6a0f02394d36a1fc6b5806948","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$882F0130-09E9-4BB7-9128-96B748A0912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$B43E1180-F006-404F-837D-7796BBD2705B","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":"Q2007735$B4376AAB-2CBC-4CDE-AB59-3FB5F0272021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4da4ae533b595929b129ff3d65f420b352d35d","datavalue":{"value":{"entity-type":"item","numeric-id":2361344,"id":"Q2361344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$B7262347-0642-4F19-BE65-2430DA6972D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$D4447BC7-C5ED-4D97-B299-1005B5DD689F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$A3BDCE6C-BCE3-4945-ACFC-8B28EFFD92FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$AF34C64A-57B3-4706-855E-BE303E6D488F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$2FB82BAC-6F1C-463B-9186-AA0D45A0C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd6776873d7f7df9d5bf5ba5031eb9dfef6d9d8","datavalue":{"value":{"entity-type":"item","numeric-id":5111289,"id":"Q5111289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$84C249A8-9983-4E96-A435-2ECF33795032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25c3a754d4ba3631bc79a111d6fb32f5805b16e","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$733E53EE-30DB-401D-B585-AF260A07701F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$3706F5F5-F032-4F1D-8D2C-AACA3F048EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$DACC3E70-8A8C-41A9-A7AC-9586D5454EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f3d8856b5145b7787f6b7821e877d71b65007","datavalue":{"value":{"entity-type":"item","numeric-id":4608588,"id":"Q4608588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$A2F86316-03D0-4F71-8600-D4ABED10C48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3cb8f5806bf7f2bad3b68fc4f27fa09834aa01d","datavalue":{"value":{"entity-type":"item","numeric-id":3519383,"id":"Q3519383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$1AECDEF6-2DE7-4803-9365-B442DC09D558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8776980c22cea0e2c363986232fa0f1431bb65a","datavalue":{"value":{"entity-type":"item","numeric-id":4910418,"id":"Q4910418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$3DAD4DD1-D596-49D6-8B2D-1ADFD0180871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$4338D225-C5E9-4AF0-B23D-EECA2A41415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$099CBDE0-FC95-4D00-8724-293A0D3D8F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$9C2931BB-AD72-4715-925E-876C9B99EA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1aa4578e8410a1ce8610e5daaba122563b22e4","datavalue":{"value":{"entity-type":"item","numeric-id":4743724,"id":"Q4743724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$B033670D-81D3-4E1A-8017-F486FB38DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$662302EF-0023-427B-B457-33A96C423EDA","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":"Q2007735$CB984246-F04F-4BCF-A260-C9FD90C7A901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007735$C8FAB497-BB49-48D7-8FE1-0C00E53B3A72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ada1ae619bd1a628f8e1402c093e8b36d7a192","datavalue":{"value":"10.1016/J.TCS.2019.09.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007735$7068F9AA-AED1-44B1-A0BA-0155D21C69C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b28fe29aa432ecbb3e21271d47a34e651efaa3f","datavalue":{"value":{"entity-type":"item","numeric-id":3591399,"id":"Q3591399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc988a7cbb2e6641153bdd4b86f5584fc9262ab","datavalue":{"value":{"amount":"+0.8362521529197693","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":"Q2007735$653A993F-7FD0-4177-B916-DD98349243ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1272a35feb3ca11354021eb41a3fd3215338d7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4580323,"id":"Q4580323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b038ffff4eec0bfe904e84e5ea30ed5572d9cc79","datavalue":{"value":{"amount":"+0.8336635828018188","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":"Q2007735$89BD5561-1EBD-475C-A5D0-CE948001AC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d190cd8a51fc348fd15c84f7f1b0720d0680f2","datavalue":{"value":{"entity-type":"item","numeric-id":4608689,"id":"Q4608689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87997b0925fb802c4b0b683a3573d7cffe83a04f","datavalue":{"value":{"amount":"+0.8332194685935974","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":"Q2007735$58C0A88B-0382-4DDB-BB67-13BA0E49EB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9105517b5dc0ae2aa514c298e4da2d12ff07f","datavalue":{"value":{"entity-type":"item","numeric-id":418189,"id":"Q418189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1945db61f9c2bfc4e7efee0a03bfef99a2c13c0","datavalue":{"value":{"amount":"+0.8224835991859436","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":"Q2007735$A858037F-602A-4315-AB93-A2D2FE85C885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c62cb76a8298b713a03a19641d221517b1e003","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b390342efc93524044fb6a0b70c61bf44670c347","datavalue":{"value":{"amount":"+0.8192577958106995","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":"Q2007735$9920BD55-EF70-4DD8-B443-C6D9216AD0A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic divide \\& congruence: branching bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_divide_%5C%26_congruence:_branching_bisimilarity"}}}}}