{"entities":{"Q5146511":{"pageid":7176082,"ns":120,"title":"Item:Q5146511","lastrevid":91781159,"modified":"2026-06-05T00:03:15Z","type":"item","id":"Q5146511","labels":{"en":{"language":"en","value":"Probabilistic automata over infinite words: expressiveness, efficiency, and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301294"}},"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":"Q5146511$E2D75B13-CD30-4ADC-9E86-9A961F2427D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30141348df050d7f4570e10d295acb43b22f2f43","datavalue":{"value":"1456.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146511$9982F61B-6FAB-47DA-8FDE-81BCFF978DCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146511$100EE777-EE2A-4545-B2E1-59700F117B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0917ecc0ee421e6b16ad9bf93dfa95fb6019942","datavalue":{"value":{"entity-type":"item","numeric-id":715045,"id":"Q715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146511$7466C32C-86A1-4442-B2F9-11493623FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146511$50F5C8A5-86E4-49C2-A786-13A843878A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146511$90C77EEE-9FB9-4433-AF8C-D36C131CDFDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23029e0068b54cff4179f2fd4e2a6f44da12c1a6","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCFS2009.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146511$12E94D2D-A68D-45A0-B2FC-866D3A60B992","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146511$4BA46DB5-C428-4507-B839-5CA7C774083F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5413756a4f4a79516df14b1ae0a996ad86a07957","datavalue":{"value":"7301294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146511$15DB984C-EBE0-4DC7-8169-0A5FA5953AF7","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":"Q5146511$961CDD8A-E4EA-4241-8039-7663CFB8DE03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412a7dd767299ba647fb8efa763d2894c1e26b29","datavalue":{"value":{"entity-type":"item","numeric-id":5395674,"id":"Q5395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380a2efccd499f8c822fdb261d5266ffef5c90fb","datavalue":{"value":{"amount":"+0.9341570138931274","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":"Q5146511$0F607CB5-0F68-4289-B9C5-DE0AC56F68EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7c10c6769e3e708636f0e81992d7a7c8613afa","datavalue":{"value":{"entity-type":"item","numeric-id":3599062,"id":"Q3599062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94cc7196b63b6c81be49d45475e9c9d974400231","datavalue":{"value":{"amount":"+0.9312687516212464","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":"Q5146511$03672039-BF27-4F09-9DE0-BE1F98386F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6b5ca5e79a79f1a420542ba62f63f7c50bba8f","datavalue":{"value":{"entity-type":"item","numeric-id":4931278,"id":"Q4931278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1165e96b5cd2eb7176bb01dde3385e080627637","datavalue":{"value":{"amount":"+0.8815085291862488","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":"Q5146511$84167A98-A738-4CF0-853D-C2E6E155EBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b1063164453303155d4ffc7852f6d8e299fdd7","datavalue":{"value":{"entity-type":"item","numeric-id":2986795,"id":"Q2986795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134afc860dd65ea81aac10c899e6aac1234e069c","datavalue":{"value":{"amount":"+0.8675232529640198","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":"Q5146511$ECEEF889-4DF9-4FBC-A164-E2649542298F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d89b77ed4578192a573ae0803820ce00d4c809","datavalue":{"value":{"entity-type":"item","numeric-id":3184662,"id":"Q3184662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2451298697d98e4176fe15d30d304f2290c3ff48","datavalue":{"value":{"amount":"+0.8541843891143799","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":"Q5146511$B3BCE9B4-C526-480B-98EE-5D999F5CFCDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic automata over infinite words: expressiveness, efficiency, and decidability","badges":[]}}}}}