{"entities":{"Q5404475":{"pageid":7434049,"ns":120,"title":"Item:Q5404475","lastrevid":75596638,"modified":"2026-04-19T21:00:55Z","type":"item","id":"Q5404475","labels":{"en":{"language":"en","value":"Exact and approximate determinization of discounted-sum automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272598"}},"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":"Q5404475$4B5D60EC-C25E-44E5-BC2C-7816653DDADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ccf1a519333c7b0445574a57928621eded5d78","datavalue":{"value":{"text":"Exact and Approximate Determinization of Discounted-Sum Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404475$9B30D5B2-3AB4-4633-A823-FA8A24940185","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e82219d50c025f80202405b42279d9533a7fad06","datavalue":{"value":"1325.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404475$7AA8FF84-251F-4743-AA54-1E2B02B4C1FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e82512c9b13d3152430ab40154547ac096052586","datavalue":{"value":"10.2168/LMCS-10(1:10)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404475$2A4FDF06-A090-485F-B71D-598E2777CB3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404475$CCC86BD0-99C9-49B8-A0E0-3E077F680209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404475$0C86B58D-4F59-44D0-8F5C-ADC89DC79653","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404475$6C8475E7-866A-4E20-9B8F-AAC94538E478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404475$A82E290E-4616-4D8F-800F-17E400675D8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"186a980e1f0fc71463b1ddc36d0abee94154d439","datavalue":{"value":"https://arxiv.org/abs/1401.3957","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404475$0C106BE8-4F77-4E9C-B2E5-D1255C1B1E55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404475$16274E77-E7F4-452B-B50E-D7CAE3B26A04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a3b7bef9d1c34750f31da8a0cd713fe717e08b5","datavalue":{"value":"6272598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404475$36918654-08BC-426A-9BBC-384E0670D908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47a41d58a3803f842adf751401d676e2a9a76a2","datavalue":{"value":"discounted-sum automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404475$BE04FE25-EC4B-4796-8D7C-21C05345D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404475$A01D6E6C-5D73-4A42-B670-CE2E1E7AAB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404475$E9F2F607-E84F-4104-9788-59C6AE191B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404475$EFF5931D-0EEC-48AE-893E-D20D2603EECA","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":"Q5404475$4592A9D4-E3A8-4A4B-84F9-71A4A2C092C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b50f4d06cb6be0f61c1083ec84c2373f99589e4f","datavalue":{"value":"W1981329699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404475$AFA121C9-52B5-4FBC-9D61-DF140EC0442C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d0e0a2c13236f6d5b2670a9fa4ab3cedccb22","datavalue":{"value":{"entity-type":"item","numeric-id":2915675,"id":"Q2915675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7128be323562dfd512e0bfc975954f3217d80d","datavalue":{"value":{"amount":"+0.971811294555664","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":"Q5404475$EFA58D8A-9E9B-4932-9462-147DEE97ABC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170ccff714dec14d9f89a15cb03c274fc8511e53","datavalue":{"value":{"entity-type":"item","numeric-id":2957513,"id":"Q2957513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82a1455c744b335d6eafd54dd1d2bcc3cd081ab","datavalue":{"value":{"amount":"+0.8875216245651245","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":"Q5404475$83BF9CE7-A27F-4E65-BF28-8B2D8ABA6C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947c7699810353d85656b3ffe476c0649a9413ee","datavalue":{"value":{"entity-type":"item","numeric-id":963467,"id":"Q963467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed92248456951b6304c104a57e70454ad36e5533","datavalue":{"value":{"amount":"+0.7934228777885437","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":"Q5404475$C2BD1314-F6E4-4B99-B5BA-3C0CC12817F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea13578d28e746e7ca69953c7e04a8ee4ed39838","datavalue":{"value":{"entity-type":"item","numeric-id":3184677,"id":"Q3184677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5840ab3bfb0df0b22f73c71285d1a4978035cfd0","datavalue":{"value":{"amount":"+0.785907506942749","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":"Q5404475$29FBF891-46BD-4380-8FD9-DBA123E33E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8980dda51cde31301577706127feae7131c88","datavalue":{"value":{"entity-type":"item","numeric-id":385026,"id":"Q385026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb8f02f1f89288e6ca7101bee4a6b8ea8639c2a","datavalue":{"value":{"amount":"+0.7804476618766785","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":"Q5404475$0D1BBE14-4B11-4742-8CA1-B54A8FE4D390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact and approximate determinization of discounted-sum automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_and_approximate_determinization_of_discounted-sum_automata"}}}}}