{"entities":{"Q5367059":{"pageid":7396633,"ns":120,"title":"Item:Q5367059","lastrevid":96058106,"modified":"2026-06-05T10:19:09Z","type":"item","id":"Q5367059","labels":{"en":{"language":"en","value":"Fair simulation for nondeterministic and probabilistic B\u00fcchi automata: a coalgebraic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790157"}},"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":"Q5367059$E358FA68-4A18-4EFA-AE43-6B2F82D988B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45c3592410d671e21f112c3da0e54ff30577797a","datavalue":{"value":"1459.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367059$79EC486D-C303-46D9-A7D5-063CB0757D72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49b1f03ac94617332f2d7ebf65ea36b7a994ada7","datavalue":{"value":"10.23638/LMCS-13(3:20)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367059$1D6E6D65-0462-4DB0-BD5D-629AA1EC0C5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"400653cd5902e3fb87732c5c5f26fe441314ea48","datavalue":{"value":{"entity-type":"item","numeric-id":729814,"id":"Q729814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367059$7C198560-6DDD-4797-A418-F1314149E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367059$19D13E43-2259-4ABC-9608-439CF5F2BB55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367059$1FFF3788-F665-41E2-9884-3029855032AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c69d5de10b1e7b81d84f9724e31e46993912d0e","datavalue":{"value":"https://arxiv.org/abs/1606.04680","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367059$77C1A0FE-D371-4035-B567-09A860C1B40E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367059$E815D057-669A-454E-BF0C-0D1FCCBA0CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367059$42EF3C65-6D69-433A-81ED-568A9C3C14DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"912204df31efe14e40d4c8468014be48321c3e91","datavalue":{"value":"6790157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367059$623D78AF-8632-486C-B6A3-89D4E676D854","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367059$D5E3671D-671F-4A9E-9F79-28659869203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8166bd2962de9f6984c336053bc99e3c7944bda1","datavalue":{"value":"fair simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367059$9797B131-F38E-4B48-A7B7-8F86DAEB8CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367059$78641C61-F417-4D8D-9126-9C164ECA55A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367059$E37CA0ED-D997-4173-A8E6-B3CC20520E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367059$1666B81C-8F56-42A7-B922-21642322520E","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":"Q5367059$124563DA-074C-4401-B85E-4E6046A0AF4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80cb29986abea70bcc2f4bf6444b090500df0fa","datavalue":{"value":{"entity-type":"item","numeric-id":528184,"id":"Q528184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178593dd84808d6badfe5ff69785e2abfe168070","datavalue":{"value":{"amount":"+0.8097266554832458","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":"Q5367059$D74DAFAC-64AC-450E-B973-CC8213ECC196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690ffec619bc485cff190cb49cad6b1ea60bff1c","datavalue":{"value":{"entity-type":"item","numeric-id":4804928,"id":"Q4804928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9848b4d238f8011446742c5004921fc30fa29288","datavalue":{"value":{"amount":"+0.8043968677520752","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":"Q5367059$DE05C077-6191-4E91-9820-020247DE873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b70ba0b210afefdebe674ef3a2cd6e464804409","datavalue":{"value":{"entity-type":"item","numeric-id":3584948,"id":"Q3584948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1779672fabd4fb7d14a5d418f8449ecfeae6f8e1","datavalue":{"value":{"amount":"+0.8043967485427856","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":"Q5367059$4F6F5187-93BF-42DA-9A23-208A686ABCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c68c2b63041ceba85e4b88519e0cc173312e91a","datavalue":{"value":{"entity-type":"item","numeric-id":5317190,"id":"Q5317190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409d71ad7d8b1baf99a47fbf34c6c43fb4ec44d1","datavalue":{"value":{"amount":"+0.7952402234077454","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":"Q5367059$2B76F993-E398-4272-ABC6-A135C3ABF438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8b76ff60f6d67b257e3d3b5aa4af110f095090","datavalue":{"value":{"entity-type":"item","numeric-id":4535058,"id":"Q4535058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9f178dc130a152e646917f9d20ffc9dad9d221","datavalue":{"value":{"amount":"+0.793249785900116","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":"Q5367059$1BF10D10-89EE-4073-BF9F-9E153D858434","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fair simulation for nondeterministic and probabilistic B\u00fcchi automata: a coalgebraic perspective","badges":[]}}}}}