{"entities":{"Q4635611":{"pageid":6665192,"ns":120,"title":"Item:Q4635611","lastrevid":97929356,"modified":"2026-06-05T15:50:02Z","type":"item","id":"Q4635611","labels":{"en":{"language":"en","value":"Weak MSO: automata and expressiveness modulo bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863085"}},"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":"Q4635611$C5DA9D33-81C7-4DA8-B0E7-530563AED367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126b078c4444b931be2641881f598abb2b2acf5c","datavalue":{"value":{"text":"Weak MSO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635611$C44177F2-E7DC-49D3-AB43-62C46B4E10D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d8849b608748c8703bd13103580220de748e44c","datavalue":{"value":"1401.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$3435507D-7DB6-4FB8-8AEA-6BDEF134E469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb79d545e0a668643da186c2a3b000eb035d0a58","datavalue":{"value":"10.1145/2603088.2603101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$0A5BEF8D-F9DC-4AA0-B6AA-84A2B463D61B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd88ceba5292e7abf782f33d903980d096982277","datavalue":{"value":{"entity-type":"item","numeric-id":2144616,"id":"Q2144616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635611$6B83163C-E411-4326-89FE-C5BD6173320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df27bf3abfd8b673a0afd763bb7c85c5dc3b47d","datavalue":{"value":{"entity-type":"item","numeric-id":1015479,"id":"Q1015479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635611$078F8256-B364-4352-B6B7-E5751C5C387F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc922476b8762c0edeaa5934d7af7453851be77","datavalue":{"value":{"entity-type":"item","numeric-id":308155,"id":"Q308155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635611$7D4841BE-A431-4B94-AF11-376BC039EA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635611$B59F4FD0-A94E-497B-8A38-F17D6C5CEB3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635611$9C911F69-6513-4F9F-B6A2-114224385973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635611$88184732-3348-46A0-A097-BF9E727AD751","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94958c1e2f946a714cafe186cdb8b984735f58a5","datavalue":{"value":"https://arxiv.org/abs/1401.4374","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635611$55CDD599-B468-4693-8AC5-89EA3E2E4B21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$BD2445CA-CD8C-4915-B31C-2230C3D384A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$F066CDBE-43CE-4F85-8AEC-F452C12989C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$824E39AB-108F-4DC7-A15D-841F0E36357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$E0BB6F51-FADD-4054-A8B8-9337BA80D7D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cee0482b39b00273af43fb7437f9906b543ff86","datavalue":{"value":"6863085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$5BE57B0A-8594-4D12-8DA4-FF0F46BF0E19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99678af934de1ebfaf15ce4d85ab6039b6f8e245","datavalue":{"value":"Janin-Walukiewicz theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$C5954169-DD68-46E6-A99B-D6C470C959EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b09a43cffc99ad7869edc7f9b0236fd66aafde","datavalue":{"value":"MSO-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$2BE676F7-873C-47C3-85F2-014ECD6DFD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbbfe233d8626ca27993c3769cee41c13b923e00","datavalue":{"value":"WMSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$8CEA8C40-CD5D-4BCA-8B08-555AE96C9B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$94996581-1163-436A-ADD0-90A45398DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$8718E35E-B3A6-4062-A865-A370A42DF57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e09af8415d2bebabd3a00ab4d8c02b50db9d68","datavalue":{"value":"characterisation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$C5969078-0C5E-4BAA-8DE7-9D76C0D8508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$6BFC28EA-4034-4EE8-A0F5-7B5ADFA5C3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1851198cc503f0984e29dba5bb08481966fe3d","datavalue":{"value":"weak monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635611$D38BD1E0-A36D-4381-9A78-2E009137E97A","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":"Q4635611$EAED4161-2CB0-436F-82DE-C735E436B14D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f009c8cb1f561398b139b7d62d6d441321f8db3","datavalue":{"value":"W1984739310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635611$D8D3F833-BAD3-4FAD-99B4-88FA2A138212","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820e70d404e4a515b10ee55eb13b7b48df6d220","datavalue":{"value":{"entity-type":"item","numeric-id":5121266,"id":"Q5121266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe69a969e5076791536fa1aaf9f8e08a79ea980a","datavalue":{"value":{"amount":"+0.8616563677787781","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":"Q4635611$BE69C206-236C-40E4-8FBF-8961AA36AA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa874c3ad8eb2535b8246c1f367015735521f8d","datavalue":{"value":{"amount":"+0.8539336919784546","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":"Q4635611$49C848DA-253E-4393-8CF4-05E3F832B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa874c3ad8eb2535b8246c1f367015735521f8d","datavalue":{"value":{"amount":"+0.8539336919784546","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":"Q4635611$7509DADC-196C-4BE2-85EB-B15E7ECA46D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd668a72999afe950907b2084dfc4639b76a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5271085,"id":"Q5271085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004d68a43e41ddfaeb50b30d29ea560713ad9128","datavalue":{"value":{"amount":"+0.8371864557266235","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":"Q4635611$06E8D2A3-C638-4A88-A363-4500AC33CC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da496fed819f9fa6e2d2d2f23e59e2ddc8a9c56e","datavalue":{"value":{"amount":"+0.817093551158905","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":"Q4635611$12E615DE-33EF-4E02-89D4-BF570A8D50A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak MSO: automata and expressiveness modulo bisimilarity","badges":[]}}}}}