{"entities":{"Q529062":{"pageid":530829,"ns":120,"title":"Item:Q529062","lastrevid":62516658,"modified":"2026-04-11T06:37:51Z","type":"item","id":"Q529062","labels":{"en":{"language":"en","value":"Profinite techniques for probabilistic automata and the Markov monoid algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720064"}},"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":"Q529062$A1247298-0EF8-46DB-9E2F-02F16794B165","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f88c5f9d320a7d595e3319f62ed7ba1e23e5fc71","datavalue":{"value":{"text":"Profinite techniques for probabilistic automata and the Markov monoid algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q529062$B639BBE9-8950-412C-96A2-D351F5612DD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1ed3ed30d560f485f9d6a373693b1e8f5f61de","datavalue":{"value":"1370.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529062$719CD15B-B9BA-44AF-9875-D7B3545080E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$2BDF5972-B6C6-4D27-B829-617E97FAB8B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$83B7108C-4305-400C-9DB4-0082BD586B64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-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":"Q529062$2ABC8C16-0C97-448E-BBCE-B15732B79AB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"974548270344e79bd24587fdecca7ebdeb099609","datavalue":{"value":"https://arxiv.org/abs/1501.02997","type":"string"},"datatype":"url"},"type":"statement","id":"Q529062$38176C75-0E65-45E2-B3A9-769F5D65660C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e8e17af09d5dd1c547106f39c1921cd6cdb3f1a","datavalue":{"value":"http://wrap.warwick.ac.uk/87907/7/WRAP-profinite-techniques-probabilistic-automata-Fijalkow-2017.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q529062$79FA032D-5F44-4AC9-A60D-183E118357FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529062$7461CB0E-84DF-4C73-AF41-079637EF609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529062$F2C9E70E-0A4F-4477-B9FE-53DC2D79AFB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e15177f85c0c30f21996663c1a036a81b81b6b2","datavalue":{"value":"6720064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529062$74C5B28F-6E9C-4D8F-A797-64D39D19586A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q529062$490DFAB5-2D94-4C7D-92EE-8A5D0AA189E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48e3270475c43a5477128a601ec1930638aa577b","datavalue":{"value":"profinite theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q529062$D04A69A3-5187-477C-BD41-4D944BC5D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q529062$38FE2071-C2ED-474A-8B42-8128FA9EE597","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":"Q529062$F2021EC0-3199-4B51-8FB1-21B951C3C292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab0d6bb4e8c8f7bbc2c6446b056b7043bfb35b19","datavalue":{"value":"W2605631145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529062$5630A4C5-2FAA-478B-8FE4-199D651D180F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc37b30bdae789bb35af7d70ef9b2601d7d24e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3365833,"id":"Q3365833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$68EF417A-3599-42B1-B6A4-B828E2E1BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d098610b739c4a52f36c800c282a7834520f89da","datavalue":{"value":{"entity-type":"item","numeric-id":2986795,"id":"Q2986795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$6FF346B6-623F-4309-AA5E-B63473C81213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb1013d719d5e4e469b2c69b2caafe8129f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4601886,"id":"Q4601886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$E1BCD72B-A30A-48AF-A183-F70CE0E4EE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7c8ba09cbbc9340c9ebe415163dbcd06240439","datavalue":{"value":{"entity-type":"item","numeric-id":2941760,"id":"Q2941760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$52DB8705-3CAE-4F20-9D01-2D9EBB454CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edf7ea9bdd463d92d12e0fd8f3d07befdd40614","datavalue":{"value":{"entity-type":"item","numeric-id":2986806,"id":"Q2986806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$2190BEA1-CA2B-4B88-8579-BE9D8CE3FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376d7735efac504c7de038c26f5ae247ce31243c","datavalue":{"value":{"entity-type":"item","numeric-id":3587435,"id":"Q3587435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$18B85FD2-C113-47B2-9CE5-BF4685A7222E","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":"Q529062$1C07708C-2DB9-4399-92D7-886B4279967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912720a13d28229f567e09e063b6af9d00dd4cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4595047,"id":"Q4595047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$5E2C0D68-4BF0-40DB-AE9F-F946D017C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$D488E3FA-99BB-4840-A657-45E088C4503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8d51c64c305dc13a071f10c06a678b3a5db07c","datavalue":{"value":{"entity-type":"item","numeric-id":5389964,"id":"Q5389964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$7CB2D986-B1BD-4DB3-B41B-502E7A18CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$1D6F2CC2-1A01-4130-BC2F-C0D01CF5DB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679be7eace415d2381a8c57d313bb8d3e90a04ad","datavalue":{"value":{"entity-type":"item","numeric-id":3167027,"id":"Q3167027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q529062$F9DDA124-7FAB-45AA-A55B-53EBE6968CFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3202995ab6e8f528bd8aa6cdd997cb4b4e2f47ff","datavalue":{"value":"10.1016/J.TCS.2017.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q529062$74FEC39D-170C-482D-8B27-411F5E5CFB00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a66d32da4934c4eeac741922fbd19d0796750d","datavalue":{"value":{"entity-type":"item","numeric-id":4601886,"id":"Q4601886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df7688c69daa04f0914cea725ebf262d2d32837","datavalue":{"value":{"amount":"+0.974359691143036","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":"Q529062$8FDD4CEF-6BAE-4E22-B314-D1C7DC88777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37db8b494b01092aa7718677746574f2d299634a","datavalue":{"value":{"entity-type":"item","numeric-id":4967235,"id":"Q4967235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63fb5092f5a69c40a1d209189c555e8186387fe","datavalue":{"value":{"amount":"+0.8714408278465271","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":"Q529062$47363F33-6A55-4CB0-BC90-9538CF874EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813eacd84859d47075b6bc2e1eba8ce7cd81de0b","datavalue":{"value":{"entity-type":"item","numeric-id":2986806,"id":"Q2986806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a274b0133ea046cc2b3908e24550fe2b13f688eb","datavalue":{"value":{"amount":"+0.8233970999717712","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":"Q529062$C33FAAD5-D36C-47C4-8AC8-F73C670CFAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b75f2b8f92843520046e23b416eeeb1a39e48","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc995d3b5ccc63386477e6ccc53f89b2c783de69","datavalue":{"value":{"amount":"+0.8162847757339478","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":"Q529062$690B560D-733C-48B2-BBA8-314E92D5C8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab1187691ce8c5289800852c821890f51f3ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":2941760,"id":"Q2941760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f578f2857a707930430ce66cc09ae529bd202c81","datavalue":{"value":{"amount":"+0.8114124536514282","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":"Q529062$B102F974-F022-4474-A8A3-A0516E25F963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Profinite techniques for probabilistic automata and the Markov monoid algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Profinite_techniques_for_probabilistic_automata_and_the_Markov_monoid_algorithm"}}}}}