{"entities":{"Q2253187":{"pageid":2263930,"ns":120,"title":"Item:Q2253187","lastrevid":78365900,"modified":"2026-05-06T11:25:20Z","type":"item","id":"Q2253187","labels":{"en":{"language":"en","value":"Rabin's theorem in the concurrency setting: a conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320763"}},"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":"Q2253187$085F62C4-B6F4-4A60-8536-F534D11F4D33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7053d7163967cfa0b9c275b46ebd44a0c428612","datavalue":{"value":{"text":"Rabin's theorem in the concurrency setting: a conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2253187$EF8C6215-DE67-4D16-A8CB-A0E0520BF064","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38a3afe5a759b4a18fd6b7bfa10d800e31c04d1","datavalue":{"value":"1308.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$A67C9AF2-CA92-47B8-9764-101D9190B1CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$41AF2BA9-9373-4843-9A6F-0C16DA33E031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6230ef9d4b83b0e88153405817b4f8862216ee7c","datavalue":{"value":{"entity-type":"item","numeric-id":418806,"id":"Q418806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$F79BB651-1AEA-4978-81CE-8195095DCFF7","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":"Q2253187$536C3791-D753-4D98-97BC-EAAA9DADC1B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"909f0e97826a0ccd657ee0d4eb1dd9e227371f27","datavalue":{"value":{"time":"+2014-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2253187$F3E3A68C-8853-4696-86A5-CF9DC7D10185","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abc48ca2821085288ccbde85c73dcb90a38665e1","datavalue":{"value":"Rabin's theorem says that the monadic second-order theory of the infinite binary tree is decidable. A simple consequence is that for every finite state transition system, the monadic second-order theory of its computation tree is decidable. In concurrency theory, 1-safe Petri nets generalize finite state transition systems and labelled event structures are counterparts to computation trees. Unlike the sequential case, not every 1-safe Petri net, i.e., its event structure unfolding, has a decidable monadic second-order theory.   This paper presents, as a conjecture, a characterisation of those 1-safe Petri nets that have a decidable monadic second-order theory and provides a number of arguments supporting this conjecture. The characterisation is based on a property of event structures coined grid-freeness, and the papers proves decidability of this property. It is shown that grid-freeness is a necessary condition for the decidability question mentioned above, whereas the sufficiency is left open.   Finally, the paper shows that the claim of the conjecture implies decidability of several distributed controller synthesis problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253187$F7DE438C-2D79-46AF-8C47-015E8F27A49C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"278cb718fa512f840b9c5522dfe38ff5e946abf8","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$F4D2CDD3-2F27-47EA-8D44-4662C6A52F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$D4062CD9-75BA-4B77-8555-BB48E9581B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$D73F6DAF-B3B6-4B6C-A340-4EA4EBD4BED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$4A2EF975-49EC-4D25-8AF4-EAA6276C0872","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e450a3c4ac9ba7126b9fc48d2402bfab5009d59","datavalue":{"value":"6320763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$A7602EAA-9BE1-4B83-8F6F-7C3A5DA27763","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f9b89d2b43896c85f65f43ac6db2b2a6a9872f","datavalue":{"value":"Rabin's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253187$08F3293E-62C6-4649-B923-0F209430A82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253187$11452289-4194-4912-9CC5-3524D217A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673aeda341f19080a380d05aa18b53ce781fb6de","datavalue":{"value":"event structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253187$3284E20E-E4F2-4BD3-8F22-6661F8253FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253187$8DB67543-3FC1-4890-83FA-A8FA24171D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdda9dba992340704dd6458cfaa4e61f12bdcbe","datavalue":{"value":"grid-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253187$AD4CE70C-9831-41C9-BB17-1E1B54497DC8","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":"Q2253187$937B7DF1-616E-44F3-91A5-2442B143B03C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d85cd6cb1e2eddfe6c351d5c65a14aa63f6e4b71","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.03.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2253187$2334CE92-E4E5-40E2-AB66-681F9ED398F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0013e8c636e041da725f088b958ffb1086915f0a","datavalue":{"value":"W2087269456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$D67B33E2-5F35-4AFD-BD92-E79B892AD72D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"65a3c88f9bd900d33bdbf2ee4d0ec0c001c50b00","datavalue":{"value":"Q123024380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$F8F85638-5316-4810-8C01-2470E19C183B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$F9E3F9EB-4A14-4AAC-9AD4-CA265FAA82AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$82DB1426-EC2C-4CE2-9EA3-71C9435B5838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$3F098C0D-4046-4A37-9512-6D8F68AD478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$2E5B6D77-42D4-46E6-A605-636B1F424217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$4B86DF40-ABBD-4753-90E4-E72690374776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$2AC9820B-E0EB-4357-9AD0-FE9BBA4729B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$ED951E1F-5B39-4EE9-A752-D4126EC23317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$FF397A28-22A8-4CDE-9E90-D1652AD7A356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d994db7c4e27dfd9c5271d26b11f2863b4eccb","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$DF2CFCA8-7A52-4CD8-8E46-27298C539B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1276268d489fa1ff9eafc75133507ef53648e","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$3A4F5A25-63ED-436F-A7A2-31D4719AA605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$24FE9D87-10C9-441C-A242-20DBAA146E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$9DD6A751-72B0-43CE-AD2C-35E130AF4392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$FC32189E-A188-4D6C-9027-01C624DE46F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb71253f8196477b0453f2fa6bc4b2fde8bb481c","datavalue":{"value":{"entity-type":"item","numeric-id":3776635,"id":"Q3776635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$7F82E463-3A18-4B4B-A73A-F95A13792C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$83B47A13-D385-4D2E-8155-81AB6DB6A908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7dffbbdf90a391dac0a2f8f00672291ae8293f","datavalue":{"value":{"entity-type":"item","numeric-id":5431297,"id":"Q5431297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$6B5B7BE7-A88D-4B1D-86FF-7B27F3F8550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e454f7f7762b0f429fb7dfc59addc06cbbeff5","datavalue":{"value":{"entity-type":"item","numeric-id":1853615,"id":"Q1853615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$8BDC2032-B412-4503-B7AC-0EB83121A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0f6dd793166a567719b2fb5d958eb883aea03d","datavalue":{"value":{"entity-type":"item","numeric-id":1079583,"id":"Q1079583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$DD214B86-E8DE-46AA-BA58-19A3011858E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9945d56e04cd274a3e2533b7d542fac3be86fd","datavalue":{"value":{"entity-type":"item","numeric-id":3374865,"id":"Q3374865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$5F6EF367-5299-4636-8EE6-4B32F242B8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff5612c16dd14373cb0f87412e3b762b530d55b","datavalue":{"value":{"entity-type":"item","numeric-id":858683,"id":"Q858683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$D796E4F9-BA7C-4EC5-8C0A-036AA16A334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c457e17ee374ac527eb30361b741f119a2b28dd","datavalue":{"value":{"entity-type":"item","numeric-id":2494727,"id":"Q2494727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$67A7E602-E1CC-45BA-89DF-F82165EDFD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31631ff9ea8939062f1d8b1a5ddd515a10e3e4e7","datavalue":{"value":{"entity-type":"item","numeric-id":820150,"id":"Q820150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253187$5E2A814B-4384-4836-A880-F3E40FD8920E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e558f08eeadc5a28c32c444a92a252e59891a34d","datavalue":{"value":"10.1016/J.TCS.2014.03.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253187$85410013-C61E-465F-9B97-BF586D7C4427","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87591a6908b79eb7c23cd1c1f0c83fb8b845a1b7","datavalue":{"value":{"amount":"+0.7511438131332397","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":"Q2253187$E9DD14FB-2C82-4252-805C-D576DA046B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e6e4930892dd208d4b4b172a901450f474a7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4972155,"id":"Q4972155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63016273c301e01a80b856dedc69d9a6c8feded","datavalue":{"value":{"amount":"+0.7373789548873901","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":"Q2253187$7D594EA3-8AC3-4C26-8A9C-307E5A7F0FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3e1ecff4b94df3dc79718c7e6d8b49e22d0fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4738298,"id":"Q4738298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b6fb41fb1fa4ce39dbc79955b0504d2cf9041c","datavalue":{"value":{"amount":"+0.7295017242431641","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":"Q2253187$54DDC767-C015-435B-AB5F-E57F41FB2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e765d0962b89b006cd5b49026b0398d2f1a272","datavalue":{"value":{"entity-type":"item","numeric-id":3748266,"id":"Q3748266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a53fcebe86b277fe702df7c735a3d7b05520e3a","datavalue":{"value":{"amount":"+0.7264121174812317","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":"Q2253187$5910A95F-AF2E-4E8A-8968-365E48413161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b6bb54e5ab501ea27312e77dd27871dc6b0974","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b280274dcc88b2e371c036b61ccd2fbe9f9543c9","datavalue":{"value":{"amount":"+0.7238208651542664","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":"Q2253187$278D1C28-D627-4A23-8DB7-DC6E48F8DD76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rabin's theorem in the concurrency setting: a conjecture","badges":[]}}}}}