{"entities":{"Q2272927":{"pageid":2283670,"ns":120,"title":"Item:Q2272927","lastrevid":71734407,"modified":"2026-04-14T00:12:01Z","type":"item","id":"Q2272927","labels":{"en":{"language":"en","value":"An \\(O(m\\log n)\\) algorithm for stuttering equivalence and branching bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106062"}},"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":"Q2272927$C94F2AD0-BAF7-4B0C-9E81-4C38453CFF22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61a5f57d5dad51a54018a7194d2281952f0d4d91","datavalue":{"value":{"text":"An \\(O(m\\log n)\\) algorithm for stuttering equivalence and branching bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272927$E5F38629-2917-4DA6-B8AF-1AE7637F9C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e9239e5e4beea9ba683b1dbc496e4a4079fc215","datavalue":{"value":"1420.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272927$42940F97-5DE9-4031-8910-ED2DD97123BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21a831318109e36e0f3cc671f56078ed3ce07298","datavalue":{"value":"10.1007/978-3-662-49674-9_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272927$A40A5ADE-F0EB-4F22-A497-92AC4378ADA7","rank":"normal"}],"P16":[{"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":"Q2272927$7C23840A-9A67-4277-8426-F03F1BDBAC8E","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":"Q2272927$D1E75842-2581-4501-8F49-910CE6C415A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272927$66ED1845-2989-41CD-A571-2D813C5D9434","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d383408461c764de1be0e381c45d2a88d2e4e2","datavalue":{"value":"https://arxiv.org/abs/1601.01478","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272927$BA355D24-7F94-40DC-8EE1-0855DCCE317F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272927$2C2CCD62-29BA-4044-B432-23C800948959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272927$6A7F11E1-0E77-49EB-85FA-5D240240A249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcaaaf088cdf727b07f2801f1b9f4a52d26982ac","datavalue":{"value":"7106062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272927$2DC8A9BD-E45D-4DE0-8C49-A7E38EFAF711","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":"Q2272927$862E3AC4-97B5-4E79-81A8-809AD01963B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b14e606b1b6fbf48f8e29f8814c495579c76b32","datavalue":{"value":"W2231202055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272927$F0EB3502-7C2D-4016-9397-D1DC033530F1","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":"e7f1bb634e3b1ec32f8d36dfa06446ebb8415c77","datavalue":{"value":{"amount":"+0.9843239784240724","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":"Q2272927$C3022577-6C49-4837-9249-D55A4275C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e416d6ee2c5d1b8716df6cf6bfe4e1e84dffba0d","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1a83fda2219e13a0507804807c00e5da4f7f19","datavalue":{"value":{"amount":"+0.8906084299087524","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":"Q2272927$641E7ACF-2C6F-4B2D-B271-8C27E28ABC76","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":"d5677e3638c49a8fcb1c41a93489022e18f9b97c","datavalue":{"value":{"amount":"+0.8901839852333069","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":"Q2272927$4440A564-9064-496F-9929-BD510CF52D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9da80b34dc55776198b36dab2de7a0d369dd0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"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":"Q2272927$674E2DDA-CEDE-435D-9820-157D356FB6AB","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":"de2f6ef278af4543ca594f47f92aff737eaac9c7","datavalue":{"value":{"amount":"+0.7929647564888","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":"Q2272927$1AFDBD32-88AB-4CD4-BFFF-F09AD7BAB8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An \\(O(m\\log n)\\) algorithm for stuttering equivalence and branching bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_%5C(O(m%5Clog_n)%5C)_algorithm_for_stuttering_equivalence_and_branching_bisimulation"}}}}}