{"entities":{"Q5089308":{"pageid":7118884,"ns":120,"title":"Item:Q5089308","lastrevid":100171640,"modified":"2026-06-05T21:32:55Z","type":"item","id":"Q5089308","labels":{"en":{"language":"en","value":"The big-O problem for labelled Markov chains and weighted automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559497"}},"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":"Q5089308$8B8CF5DA-4080-4F8F-9F74-B5B16E3B0E57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$F571E091-8CE5-4040-8BCC-B1DB4A5EEEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$5D357BEE-439B-4C64-8E60-0D5DBE61E947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20f5b4127431a252123fabe9a9dd1834e29c1af","datavalue":{"value":{"entity-type":"item","numeric-id":832261,"id":"Q832261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$C381DB31-5F2C-4CE2-B7C0-6480971C014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc30e36f07191a4ecd36454fc0cca4e25306420","datavalue":{"value":{"entity-type":"item","numeric-id":1683926,"id":"Q1683926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$74C5DC4D-AC44-415E-8DAC-FC047D791591","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089308$401737E0-83EF-47FE-9D54-7BC41E6F6B65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089308$5BED0156-D662-4207-AD87-AF5B7292C6FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"418fdb143717ef2ea61ec0f50b2a0b0771eaa863","datavalue":{"value":"7559497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089308$1B2C21CA-1CBF-46C3-AC0F-D3AB606E59C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089308$83427AF1-565E-41EF-B64B-A095A3BF812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f7fcc5f3a8e5e6a4011fdd1e0bba76a9f86047","datavalue":{"value":"labelled Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089308$0ED3EDF7-62C9-4C2D-9327-7B59347032BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089308$F80E6FEA-65B6-4772-8D66-C1639668AEAB","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":"Q5089308$AD04097E-B20E-406E-934D-1BF0EE660ADC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44e620d4281594a6e00f10dd20654fb9a9ab174","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$C7E20EA5-202E-4550-ADA3-F2255C4EC4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$F293AA97-6FA8-40FE-B2E3-7740315F0FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$88232379-80B0-4F55-869C-0C122C173EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d0172b29586786a75738d1cffdfc2a0666bf9e","datavalue":{"value":{"entity-type":"item","numeric-id":4635617,"id":"Q4635617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$E9A49782-3643-4B65-9C9D-ED5A26404F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e3e2fc869cc30bd2762d4d462d33921bcfe8e3","datavalue":{"value":{"entity-type":"item","numeric-id":5875371,"id":"Q5875371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$9F807AD7-6C91-413D-8EA0-C89DCBEC7285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd01bbf7ac64b8bf27e24be386f3ae72f8af850","datavalue":{"value":{"entity-type":"item","numeric-id":4598241,"id":"Q4598241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$B0DE1FBE-03C6-4CF1-9CF9-2A7753BE5F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$900393CF-DE0F-419E-95B0-3547310741CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b1d5419cddaf1ae02d87e6dde21a078c5dc97d","datavalue":{"value":{"entity-type":"item","numeric-id":5002806,"id":"Q5002806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$A814A9A2-F18E-42A8-B1E2-248B59BC4739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ab1725ca7222c1bc65b4c38cdca79c82a13ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5898359,"id":"Q5898359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$F7AAD2FD-8D3E-4E80-AD1C-E29B1EF236F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024cfa7265e85ec2049a3587402f496ddf77807d","datavalue":{"value":{"entity-type":"item","numeric-id":3963947,"id":"Q3963947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$BFEF759C-3228-47AF-B360-E45DEE6E14EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6cd82a1d78efe0e8663662c5bdbe2ef5b80d95","datavalue":{"value":{"entity-type":"item","numeric-id":3586406,"id":"Q3586406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$3A51AF2B-59E6-4D3B-A6EE-96359F330024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b75484c7028f815d660a12c0f4961432ff9fa02","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$291CEC95-AA60-48DA-909B-C76ACAB8D9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$5FCB3009-42D3-4274-8525-9118BFD09F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$BE33EF6E-B7B8-4133-8E97-8BC8AF438D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388a01e13473028a5ca30742411493f89ef8aed9","datavalue":{"value":{"entity-type":"item","numeric-id":2409014,"id":"Q2409014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$7BF2FEF6-0C29-40E5-9EDA-E7B896713837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f982de9aa953b61f8e431828bc2cc6397cb83d1","datavalue":{"value":{"entity-type":"item","numeric-id":5002817,"id":"Q5002817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$B5818C7F-D44D-4D16-B28A-6CBF34001F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238d10c38a61a0b3be1008a22db3706a9b3b324d","datavalue":{"value":{"entity-type":"item","numeric-id":4913771,"id":"Q4913771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$EFD36986-1FBA-40AB-A32F-96046E9D414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f4d37d53db2925f92864a11c01a61286cd723c","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$F89C3F5A-7972-470A-90D0-589A3C4546CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518e2d557489c28fc832c69c855db40072c817d6","datavalue":{"value":{"entity-type":"item","numeric-id":5520004,"id":"Q5520004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$F9824D21-6217-4AD6-BB26-2F21A7E31DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$9660E003-4C0C-44F8-A4B4-52D0D0D72DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31c85313e9a7e301088c6247d0432e2402d4a6b","datavalue":{"value":{"entity-type":"item","numeric-id":5875688,"id":"Q5875688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$12E61CA8-5593-4C8B-92CA-5D45F2B5AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5267dc4ebb5a8760f31faab9e9bf6b0a203059b1","datavalue":{"value":{"entity-type":"item","numeric-id":5089308,"id":"Q5089308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$E55FEDD2-6B21-4C06-9BA4-499299B5EC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$53E1FD3B-3703-4154-9677-9BB0B3FBAA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$A8659655-25F8-45B1-AB7A-330EA96F7D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3de0577ab2f08d1dd7b0b7b111a79f105721978","datavalue":{"value":{"entity-type":"item","numeric-id":1088754,"id":"Q1088754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$E2410477-F0C1-408A-BF4D-DE68B312D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$450739F0-CEF8-477F-A9D8-5AD2E384CE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36fbcbf1f53641fd42a98914a73e5d9f5100de8","datavalue":{"value":{"entity-type":"item","numeric-id":5326196,"id":"Q5326196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$60F00F30-2A9A-41A1-AFD0-DBBFF9694EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$59436E4D-38D4-4F10-9F95-C3C46E91E991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5718dd49930491916235d0432e4851489c7fabe","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$589694BA-73F1-4C72-BFE8-F5A174A74A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adeb3ab2fa0a8f5e1199c627d68aa001ae9b1be","datavalue":{"value":{"entity-type":"item","numeric-id":1351166,"id":"Q1351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$7F9F1EE5-6F9A-493D-B0C4-F879AC71E519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d7d0ada9bcf7804454a01654da313bb6aaf1ba","datavalue":{"value":{"entity-type":"item","numeric-id":4488162,"id":"Q4488162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089308$581A8130-2BB8-4B1D-B029-06654FFAA7D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b60cf737b43a6301a6b253209c0a7c3f8ebde7e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089308$A189FB0C-0F53-4AB3-B6D0-724581FB88BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592bd98db79fa3f4a1a91109a556517537b73863","datavalue":{"value":{"entity-type":"item","numeric-id":5094125,"id":"Q5094125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1745fc1cc0f6c57fe3072f94b85f50738b715bac","datavalue":{"value":{"amount":"+0.9841874241828918","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":"Q5089308$9F83300F-511E-42AC-A1AA-06485DDD7E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5369dc0b20d8578efa731bb07909455a28f89","datavalue":{"value":{"entity-type":"item","numeric-id":2946351,"id":"Q2946351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669513c6572c52be1e3fe028bfbda172ea7e500e","datavalue":{"value":{"amount":"+0.7350243330001831","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":"Q5089308$3E475DF2-D358-4D81-8DB0-71555C2A457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8855357efe20f6a597f8ea8f3f7e695138dc059","datavalue":{"value":{"entity-type":"item","numeric-id":2009651,"id":"Q2009651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd05b59836eebff2e4c6a22d3a459fa7f1ffe3fe","datavalue":{"value":{"amount":"+0.7258796691894531","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":"Q5089308$49FF9506-C7B6-4159-B237-5DCADD9AC0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0e6329ae00a442a2a8b77b842d5dbf0aba463a","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308808f66410912265f260710d0579c3aa081456","datavalue":{"value":{"amount":"+0.7246300578117371","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":"Q5089308$3C176F2A-C748-4980-9A49-53B612C9D1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48444162ac690d81384fea227a24a7c273c6b41","datavalue":{"value":{"entity-type":"item","numeric-id":5009422,"id":"Q5009422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f504064246b87dc91e8ac95dff50cca73b338d","datavalue":{"value":{"amount":"+0.7179551720619202","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":"Q5089308$F07EED87-CDF8-4D66-AF9A-8B403C647D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The big-O problem for labelled Markov chains and weighted automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_big-O_problem_for_labelled_Markov_chains_and_weighted_automata"}}}}}