{"entities":{"Q5111432":{"pageid":7141006,"ns":120,"title":"Item:Q5111432","lastrevid":58422969,"modified":"2026-04-05T03:59:14Z","type":"item","id":"Q5111432","labels":{"en":{"language":"en","value":"Asynchronous distributed automata: a characterization of the modal \\(\\mu\\)-fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204552"}},"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":"Q5111432$BE1C5196-05F3-4D0F-8520-55CB305974A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aecc705b1a433bd65e04ae28095835e50f8e8985","datavalue":{"value":"1442.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111432$F020EE04-4E5F-4076-8837-3C41E6705DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"329e6d6e59cc9fbb4ec9988eec522166aa8f2a84","datavalue":{"value":{"entity-type":"item","numeric-id":1656681,"id":"Q1656681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111432$E9500F4E-45E8-4846-99FB-69509A23BA54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111432$C70699F0-8205-4D01-A467-00646ECCDDFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ceb67ca9190d8aaa01d6f008a5cff78061255a2","datavalue":{"value":"https://arxiv.org/abs/1611.08554","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111432$2629F9BF-464A-402D-88AC-1B83E87F8371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111432$5D592902-DD27-431F-A4FA-81A5A0A0043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111432$B191D5C7-18E7-4F1B-8401-D1EE13BDF4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111432$B17FDE62-56DD-4E13-AB3D-F1531F9DC9BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65a1d534c162a70c6779d62183ffd68e7286c761","datavalue":{"value":"7204552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111432$5576A37C-2ABB-4D19-8ED7-67418E450818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111432$F41330F8-CD49-4395-83AC-D293EC7BB969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111432$749B32E5-B588-49C7-A385-3D1321E4B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111432$850095BE-4858-4A57-B056-06FA0BAE90D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111432$5C2577F3-D89C-4BA6-9D02-FAF9ABC3AD78","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":"Q5111432$6D4FD0FD-235F-4DC1-8DCE-EF44EEA058AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2824cec630603070a0ab43503fc7f0a2f77c061f","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111432$1461F8B6-3516-406A-8C70-7FA1EF63D786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9473a43b8b700df76f9ae5fb04b2808d979bfa05","datavalue":{"value":{"entity-type":"item","numeric-id":2958538,"id":"Q2958538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afde2694164e7ba905e0bfc346ce30b102de41a","datavalue":{"value":{"amount":"+0.7911363840103149","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":"Q5111432$9D5A567A-4FCE-4D70-B501-CF524EF84B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6caa01bf796109f6023b1635433bb6af6496ab","datavalue":{"value":{"entity-type":"item","numeric-id":5492957,"id":"Q5492957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7cf73132c2362634c538b5905382d33a3b5128","datavalue":{"value":{"amount":"+0.7840887904167175","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":"Q5111432$AE7749F7-3365-444F-9F17-1A09341D1982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba80f367f0f59d63718596d15308ac566351c3c","datavalue":{"value":{"entity-type":"item","numeric-id":4499211,"id":"Q4499211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c99cd165b87f32fe13945c659bfc5670a6010d","datavalue":{"value":{"amount":"+0.7668898105621338","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":"Q5111432$EA8385C5-0D10-4AEE-9EEB-67EE27DCF875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bb924d356739e4aa590b4d56de6fda6707a713","datavalue":{"value":{"entity-type":"item","numeric-id":4635803,"id":"Q4635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da62f17c7f8092bcf63eedf0c59af26b631a3d0","datavalue":{"value":{"amount":"+0.7603971362113953","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":"Q5111432$003F4F67-26A9-41B5-AC89-5AEA16CEF0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fcbf3e2de45ce6b35164c3748dc01f196147d8","datavalue":{"value":{"entity-type":"item","numeric-id":3184669,"id":"Q3184669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374c1a2b22d5c20de8a042c51a9697ac78ee4fb0","datavalue":{"value":{"amount":"+0.7531598806381226","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":"Q5111432$F3C1B1FF-3495-4AEE-A632-98DF96C1E6C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111432"}}}}}