{"entities":{"Q5087789":{"pageid":7117365,"ns":120,"title":"Item:Q5087789","lastrevid":58428744,"modified":"2026-04-05T04:33:44Z","type":"item","id":"Q5087789","labels":{"en":{"language":"en","value":"Congruences for stochastic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7552286"}},"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":"Q5087789$CE55420C-A341-4DA7-B7C5-0DF08CEB0EA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"450ce14ee68a9e5132006e45551e2131de7faead","datavalue":{"value":"1490.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087789$5EB39036-EB86-41EF-A460-DF97F62DD9F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77a89573470dd63971e805789751d2b1f1e1f6f1","datavalue":{"value":"10.13137/2464-8728/33313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087789$1369B9AA-74BC-4662-8EEF-1F5AF8D854F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$545FD03B-E522-4E27-9A7E-92525C263B61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5087789$32B8A9C7-85E8-405A-BCA5-DAC47EDBCDD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdb6ac9658c8ad666082aef69e267a33a692537b","datavalue":{"value":"https://arxiv.org/abs/2011.06954","type":"string"},"datatype":"url"},"type":"statement","id":"Q5087789$01B3C703-4667-4D00-A133-53AAE6327045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087789$20943C69-C8E4-4148-902F-2AF1A8BA4495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087789$4CDB31E9-48A0-4586-8A1E-DD4028BAE8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087789$73727B20-68B9-42C7-8751-DF25E89B2E80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d762a2e8965182d2410c92d1e33645dd65ace7","datavalue":{"value":"7552286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5087789$447D92D0-3576-451D-9ED2-3AE3703D0B96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a44e8223a098f05bc8780618a4e1843f0010066","datavalue":{"value":"stochastic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5087789$41565A82-012F-477B-BEA4-D9F65D775787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe04da31ad9809b8f30dafd7101bf8acb1972d63","datavalue":{"value":"Giry functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5087789$A55E00C1-74EA-4AF9-9E9D-0115545EDEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5087789$A0F4F672-BFFD-4EF5-963F-186A8B15BD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eefc55d19757133a6d7014afa3f41525412be29","datavalue":{"value":"factoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5087789$7802FA48-459C-4CA0-8016-3A717A181B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca99166a5a4537a9ada74f5c58519e17ce301b8","datavalue":{"value":"stepwise reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5087789$83DEF95F-E672-4A32-A02B-C67C8FE085F2","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":"Q5087789$66E92010-9DA9-4E4C-8038-130ABE24D60A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b115bd9b1d4c9a037ee6371cfb0d610c9d41b37","datavalue":{"value":{"entity-type":"item","numeric-id":3415147,"id":"Q3415147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$34B5D694-7EB8-40A4-BF3D-AD3994220AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$A888319F-4FDC-434A-B252-E924FE30A841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2f87b2dea020767661ee419a8078016e10d53b","datavalue":{"value":{"entity-type":"item","numeric-id":5633934,"id":"Q5633934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$AD697CBF-C7A1-407C-BAD0-0F9BD12DE348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ed2c415d0d36f8da401e56c47b4841fe4a0c55","datavalue":{"value":{"entity-type":"item","numeric-id":1158760,"id":"Q1158760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$F43E07D1-48F4-4EC9-8E48-A53FC9B01C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a289feb7940af722a1a5e23174f2fa7c2e2cef25","datavalue":{"value":{"entity-type":"item","numeric-id":2372202,"id":"Q2372202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$2F215CF0-8AEF-4588-8436-0331B4FC6DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4a6986a8f6be10677784017c508923e08e34ae","datavalue":{"value":{"entity-type":"item","numeric-id":406467,"id":"Q406467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$4E74C6BF-471E-4B74-908C-0844719B36DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b900410e91f23fef7bb5e8316045ca7cf4c19a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3457680,"id":"Q3457680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$CB2CB0E5-9875-469C-BA0B-DF13DE7B1BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066f9fe7a54531c998693336627ace132be8122e","datavalue":{"value":{"entity-type":"item","numeric-id":3005987,"id":"Q3005987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$D13305D3-E6CE-49A8-AEEA-62E8D33D6C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf8fd1a6847b29ba6bf40d0e16506df1bb2316e","datavalue":{"value":{"entity-type":"item","numeric-id":5343895,"id":"Q5343895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$F97A4228-46A9-4467-AC05-DEC868E2BF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$993797A6-B5C9-422C-935B-27C43862F6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83de9cc9bab5dc0826a6a02623c12fec6eff548","datavalue":{"value":{"entity-type":"item","numeric-id":4049296,"id":"Q4049296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$74013503-61F3-4934-8CB3-B87E295319DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09ed1a23a0aec15fdc397537170ff2c07c192ca","datavalue":{"value":{"entity-type":"item","numeric-id":5599901,"id":"Q5599901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$7D963D52-B470-4377-9FEF-EE6C78CA69D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61b7c666ab612130480d5b119c135c2253271e3","datavalue":{"value":{"entity-type":"item","numeric-id":5599448,"id":"Q5599448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$0EA2C813-BE8B-4F00-9C2C-71A3FB6A29E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aab24d6c1e3b5b37faa6b04e82b49b7247025ac","datavalue":{"value":{"entity-type":"item","numeric-id":4044675,"id":"Q4044675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$CA0C43F1-C6A2-40B6-BF78-FCEAEF90C48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$665393C8-510D-48BF-B424-44D9B25EA6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$CAEBE6BF-4640-428B-A46F-1CE936A78AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$994B0074-A589-4098-88F3-25AADB1573EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$EBEF3457-2E26-4222-A645-7B1381BFD030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$422B0C1B-B520-4C2B-ADB7-8995838161AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$CCB1160F-5B15-4374-9BA8-0EE7B512C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fde3601c37d65874040900fcfb0e7fb2f979041","datavalue":{"value":{"entity-type":"item","numeric-id":4396494,"id":"Q4396494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5087789$E4BA1619-249C-43A1-89D0-2A45977FF1AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9fb965feb73f350bce560c89e56df89494ecf92","datavalue":{"value":{"entity-type":"item","numeric-id":3751012,"id":"Q3751012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76075432c8f916d7137df312e67357e72687c0a","datavalue":{"value":{"amount":"+0.7835264205932617","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":"Q5087789$DED999A0-C36C-469F-AB1D-251562459AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a144247d3a83dddeb4baa117a885a6d458073162","datavalue":{"value":{"entity-type":"item","numeric-id":424543,"id":"Q424543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffcc94b1d15397cbe078d89f4dea96bec422284","datavalue":{"value":{"amount":"+0.7745521068572998","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":"Q5087789$D0B376BF-2802-438B-A8E0-AFEA52D12F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b707f72672236e826a24b4c2e2a5eb0636cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2390244,"id":"Q2390244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab32b8f0ea632bc1ce43b7b781d1532c8d7bffb1","datavalue":{"value":{"amount":"+0.7712694406509399","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":"Q5087789$DF823FC8-E3BF-431A-BD84-8AAA08D3421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232be108a55120e606f3e65859dc5008bf26b672","datavalue":{"value":{"entity-type":"item","numeric-id":3725552,"id":"Q3725552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08046a1d298545ec60d73de5cd59aa44a6f5999","datavalue":{"value":{"amount":"+0.7558113932609558","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":"Q5087789$8452BF8C-D870-422C-80F5-7EA4A606943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af999916769f629a8cdbae95ebadd0a86b4a779","datavalue":{"value":{"entity-type":"item","numeric-id":812632,"id":"Q812632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7dc9c8f1a033151fdaad7e0dd453dfaaf4ad8f","datavalue":{"value":{"amount":"+0.7495673298835754","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":"Q5087789$F5DCB704-F798-430B-8185-EA9BB51D6B9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5087789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5087789"}}}}}