{"entities":{"Q5164166":{"pageid":7193737,"ns":120,"title":"Item:Q5164166","lastrevid":100680842,"modified":"2026-06-05T22:47:12Z","type":"item","id":"Q5164166","labels":{"en":{"language":"en","value":"An \\(O(m \\log n)\\) algorithm for branching bisimilarity on labelled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7423365"}},"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":"Q5164166$68B00B38-7D7E-46CC-AD85-52AED4902462","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c432680bda6fff800d432bdce36e8a9e1f22b29","datavalue":{"value":{"text":"An O(m\u00a0log\u00a0n) algorithm for branching bisimilarity on labelled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5164166$186646BC-EB4E-45E6-B194-74970AD70E69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"117d26db7812124dd36bdaf1a7c727951a49129f","datavalue":{"value":"1483.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164166$E84E5236-DCAA-4FA1-A500-46653400F2AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c45188fa1ec172476d85d0fea94a1dd1a7fa43b","datavalue":{"value":"10.1007/978-3-030-45237-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164166$DF6F039B-D9E9-4577-AF6F-57CBBED0A052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$45FAF6D9-DEF9-4F96-8A3C-9AF7A7D415D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$453C2E0F-1773-496C-8675-5C741E40F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab6a5defd203445259095e179813f3407c4dac2c","datavalue":{"value":{"entity-type":"item","numeric-id":1656551,"id":"Q1656551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$6590CF00-DCC7-4737-B6CF-482454E35CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$D358D7D8-63AE-43F6-AF8D-1D1A15070C6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$03F95DCC-D105-4E2D-91FF-6A5B14F2E0A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41df14f190dd9eb0cc664848f84d930123fd453","datavalue":{"value":{"time":"+2021-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5164166$DDB06ED9-AA5F-4953-8022-84506FB644D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164166$499229DB-10F4-4F23-8DCB-6D2EF498A94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164166$D28BA708-CA9A-444D-A82C-F984A14536D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc703cb89be7f6de9b40fec3ac6635829b4c5e0a","datavalue":{"value":"7423365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164166$8CB46F8A-AA7F-4090-90A0-5CA865FA37D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f34fdafe40c66edfe5abd6784afdc2bfe321d3","datavalue":{"value":"branching bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164166$20BAD68D-5E02-49B4-B6C8-355FF4FAD9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164166$3AD8191B-AC32-4918-B37D-44906368233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164166$966F8D8C-DDFF-4C5A-B672-CE4812FF2DAD","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":"Q5164166$5D6AD26C-83B9-413F-A818-A27882922657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aaf5de58f95bc4ef19c6e65184a21f98c562833","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45237-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164166$5ACF15B9-EA3F-48BD-B87B-F2CB47948103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e05a4642806dc43fb7b1b490caac574a0287002c","datavalue":{"value":"W2980227841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164166$F7DA9EBB-E8B2-4883-8E0D-0FB4D08BD55D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$48560B82-9BCC-474A-885C-009043DBA1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75638f54fb885706b6d43cd2fa25af60af8fb919","datavalue":{"value":{"entity-type":"item","numeric-id":3636842,"id":"Q3636842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$204576CC-52BB-4CBE-911F-1A35FC7134F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e87d504b012ad717bd662a99ac7a85bb3817577","datavalue":{"value":{"entity-type":"item","numeric-id":4910757,"id":"Q4910757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$98DE8C7E-76FE-44CA-87AC-DBC92666D492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$8AD9536A-5FC5-4A88-805E-5A385CF2A2A3","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":"Q5164166$0C596D56-F6EB-40FD-86E3-CF31C9DFC301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$24A7183A-7CEE-4260-AB57-B53504188267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$EBD46B3F-A451-4C42-B31A-26BABC6847DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e93344a21277b28944706c25258b287065a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2272927,"id":"Q2272927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$72EF3529-7700-454C-A140-14BA53B56C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$2858EC6E-B305-4865-82D6-675110EE42EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$71765759-C5C5-4644-A3FD-B0550E2F65E6","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":"Q5164166$BBFCC086-6711-4E9A-A444-78F291A370A3","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":"Q5164166$6337267A-4B61-4210-9BA1-B4553C92BFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b274d4515b920a6eb9a634af0501d4e3fb5526","datavalue":{"value":{"entity-type":"item","numeric-id":2845494,"id":"Q2845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$4F6DBCAF-E631-4419-B12F-80AC50A13700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b962d1c4f9752c374d0b16355a358735a90595ba","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf5d553a076c8925278146b44e3301dca76d873","datavalue":{"value":{"amount":"+0.8465879559516907","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":"Q5164166$65384E8D-4FD3-475F-A88A-5068AF70CDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2c7ef8f11192cd0b8e8b0a5ba6a18cc310cdef","datavalue":{"value":{"entity-type":"item","numeric-id":3636842,"id":"Q3636842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0249d3e94f05b3d2680b0d17600df09522393f07","datavalue":{"value":{"amount":"+0.8395662307739258","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":"Q5164166$EF21357F-0849-49B1-BF4B-679CDC01EF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ebdefa85f13f5485e26a67373d2c603fe88d5f","datavalue":{"value":{"entity-type":"item","numeric-id":3084988,"id":"Q3084988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f4c7a4bc9ee795f321e1a9a385177ad8fdea2e","datavalue":{"value":{"amount":"+0.8377560377120972","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":"Q5164166$1BC2E5BA-CFD4-4340-A735-A8B057C62E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf38d7b51724da2f1f33398fc365c174affb9ad","datavalue":{"value":{"amount":"+0.8364553451538086","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":"Q5164166$93AD808E-2B8E-46EF-8D89-752DD7573D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482e9892e7b207aa67cab3e915df2c2de90dfbf1","datavalue":{"value":{"entity-type":"item","numeric-id":2272927,"id":"Q2272927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedf24c923c59cf5704f8077deff3f58f2269eb2","datavalue":{"value":{"amount":"+0.8362911939620972","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":"Q5164166$B3AAC8DA-5277-4A60-A6F9-551D40B54273","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164166$0381D83B-51F9-4ED6-91A6-51F22C5BF87E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An \\(O(m \\log n)\\) algorithm for branching bisimilarity on labelled transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_%5C(O(m_%5Clog_n)%5C)_algorithm_for_branching_bisimilarity_on_labelled_transition_systems"}}}}}