{"entities":{"Q5962025":{"pageid":8138827,"ns":120,"title":"Item:Q5962025","lastrevid":58641573,"modified":"2026-04-06T03:30:49Z","type":"item","id":"Q5962025","labels":{"en":{"language":"en","value":"Model checking for a class of weighted automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5786409"}},"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":"Q5962025$65384D22-BDEB-44DE-913B-C7923A4882D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a64f8ea70cdb72470722a175863ca91e5fc877fe","datavalue":{"value":{"text":"Model checking for a class of weighted automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5962025$DC6EB274-AAEE-4CDE-9AF5-C71C8B4C5104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"261fa9d7f54942b8735ef40d43c4cc9154a7f6a8","datavalue":{"value":"1206.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962025$153F7879-AE90-4E8B-97A1-CC1BE1AA96AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a10f8ca607a66cb57d88af99fb30af04ba9e14","datavalue":{"value":{"entity-type":"item","numeric-id":243731,"id":"Q243731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$2D11D527-0A9C-4913-8808-21CD84216BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc554af82aeace6ef028cd07372e98335f8e16fa","datavalue":{"value":{"entity-type":"item","numeric-id":243732,"id":"Q243732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$672492ED-A93F-4CE6-A017-45A0E8FCA7BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$DA83376A-0F66-4CA1-B140-1A7A6828294A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baf45dbcb13e63028464b24262c188c8428a543a","datavalue":{"value":{"time":"+2010-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5962025$5006A2D1-8F52-40BD-86A3-EB383A7D3BBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25fb55304dc5b3fcfc65daddfe894fe30ebb85e4","datavalue":{"value":"https://arxiv.org/abs/cs/0304021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5962025$F05F78BC-0615-4435-8A78-96D47DA0E147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962025$FA6BEFAD-68BF-46BE-9192-34DAC90F82CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962025$34443C01-34F9-4B25-9DFE-F2FFA5B691AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"259e49e23fbb286696922bb6b249c2e0b86daaa5","datavalue":{"value":"5786409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962025$BFC9DF4E-F8C0-4872-910B-38683F4FED32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962025$0CC963FD-D52E-4BCD-B2FF-0E872EAA2CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962025$4446F22D-2141-444C-8DAB-A586EC11E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962025$EFAF6942-A2D8-41AD-A9B0-386F30B71F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962025$39A562EA-87DB-48F9-84D9-CC6FBB78ED14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bc6cf7cb0d99578f61211b7458aa57bd877351f","datavalue":{"value":"valued computational tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962025$C76E04DB-6E2A-4C60-84F3-C5C4FD6BC1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962025$315F6628-2216-4C72-A043-62AAA0FD31E7","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":"Q5962025$37EA38AF-07DE-48A1-AD40-92655BDC62A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77cd9e747bb731438b103f9e206404888edc63e1","datavalue":{"value":"W2095917530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962025$FD33F272-0A7A-4F66-A397-C7299C6BCB0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$6CB91E11-B91D-4CB9-A40C-8AEF6A8A679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$042D1738-718F-4F91-A256-F3EE1F5F479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$AD78D647-3ED8-449B-A57B-6D5E5D6FBE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$28210EFA-9799-4A5E-9AE1-448709F64C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad65e701842fa893f35861995195ba122b01f29","datavalue":{"value":{"entity-type":"item","numeric-id":1127817,"id":"Q1127817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$96AE96F1-FA39-4483-BD17-AE85179CEC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c4c709161a40b5f688b793e293fc06444cf1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2851314,"id":"Q2851314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$32C64B4F-27B6-4EA1-B97F-D3838CC7DBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1cca5805b0cd78664cf35a1eb9a2408c930a5","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$DD10D232-6B79-45E2-A565-9DA3AE3506F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc1b1a1c98e65cc58245ed746f971f3cdab2e73","datavalue":{"value":{"entity-type":"item","numeric-id":4952904,"id":"Q4952904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$6514EFFC-45F1-4C38-9D61-192FE4651502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$BE870569-C147-4E78-A3E6-F3F7E0747A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a26a90f9291d6b9b8041cf50dfb00b652c5b49","datavalue":{"value":{"entity-type":"item","numeric-id":4798042,"id":"Q4798042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$64E67D41-6C4F-4E92-B8ED-D847B7BF9D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3cdd0c42514260191fba985ec6319f6b7d7e932","datavalue":{"value":{"entity-type":"item","numeric-id":4449536,"id":"Q4449536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$ADEED808-6CFD-4B9D-AEDD-7654993810D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$323B8003-3EB3-421C-A7C7-D8C06378393B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$3C37E988-7FB7-4FF1-AE86-0A0B22EE88DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088276084c81f212e9f3187f7feba864fd040cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5940962,"id":"Q5940962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$870BADB7-E031-4FEC-A346-753281D74968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2839c1b09b89d3dab4edc740e274b7fcb6bae27","datavalue":{"value":{"entity-type":"item","numeric-id":4875977,"id":"Q4875977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$BB7FF304-DBA9-4E65-903F-67883FE01293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$6D41228C-F965-436F-BC57-B8EDF50DF12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$D45C8794-8D9A-45E1-BBBB-68631952A0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$7D8FAE51-2356-41B9-BB6A-77F579A3BBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$F12348E2-70BC-42DE-BBDD-90C934C33908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1cac3d64e1a21d80cbd72fab20dc6a501dd158","datavalue":{"value":{"entity-type":"item","numeric-id":2766855,"id":"Q2766855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$FC14C5DE-E610-4601-90FD-F069EC8A0D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$C678F4A9-0021-4FF7-BED7-3660DAEE46C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e618a52c48fb3ae52686ab2daa244f86be27715","datavalue":{"value":{"entity-type":"item","numeric-id":1106566,"id":"Q1106566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$9167D341-E1CB-46B2-815B-FB6E0C096EB5","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":"Q5962025$EF0AD6A7-9C15-4988-AA0C-92181B7BDEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$8DC92068-91CD-4C21-B339-F910F4198DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a235074156493779c1c25991becd1505519b2","datavalue":{"value":{"entity-type":"item","numeric-id":4807826,"id":"Q4807826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$F17C86CF-8BA8-4B88-8F31-DE957EF8B7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962025$7B29BA69-A5D8-4BB2-9546-C94D8602782C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8432ead53866ffe6a497c50d5e2d871e1bf62600","datavalue":{"value":"10.1007/S10626-008-0057-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962025$B7246FB8-5D15-4117-AB22-B2B96BD73C74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa90602de353a772a5d244c5485d5cea145d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29029f134fade48644c10b5221499da3b0b87a6c","datavalue":{"value":{"amount":"+0.8613970875740051","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":"Q5962025$F1D16F71-CC24-4574-9349-F1ABC50BDA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ae2c025adb24e8d52a645b18f32c27c0c24ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2447757,"id":"Q2447757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac386601a58e05a0628778fc206896087cf412b9","datavalue":{"value":{"amount":"+0.8042640686035156","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":"Q5962025$49DE84E2-B0EE-4DCB-9D66-B1935842A2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb819c8f68f641587161e5264bf1042a256e9a","datavalue":{"value":{"entity-type":"item","numeric-id":537908,"id":"Q537908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fc210e3406a0951f4bd7ad78e44dd0eb0bbd1f","datavalue":{"value":{"amount":"+0.8007829189300537","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":"Q5962025$D4B4A70E-DD08-4E79-B0CA-FAFB39F35914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb81bd3420e15a8479793c82045bbaa4406d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":2492187,"id":"Q2492187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62360ed3ff9f1d7f4ffa4cd7a84bafc34112706e","datavalue":{"value":{"amount":"+0.7984848022460938","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":"Q5962025$7563E073-CDE4-4353-950D-27FE0B662E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdce5d984e872430f9c6659f5905068eaf146b1","datavalue":{"value":{"entity-type":"item","numeric-id":3457780,"id":"Q3457780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47702c1a45dbf4a08f0c9700384a338f1624e14","datavalue":{"value":{"amount":"+0.7889268398284912","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":"Q5962025$A2288FC7-AE55-426C-8660-45F8EC5E9C3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5962025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5962025"}}}}}