{"entities":{"Q2915675":{"pageid":2926395,"ns":120,"title":"Item:Q2915675","lastrevid":51556130,"modified":"2026-01-18T18:44:31Z","type":"item","id":"Q2915675","labels":{"en":{"language":"en","value":"Determinizing discounted-sum automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083532"}},"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":"Q2915675$B65957B8-432A-440A-8936-89D49855F691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ee7931a63cfe0e731353c44a13eee5ab75809fc","datavalue":{"value":"1247.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915675$57082CE7-6907-4E91-AD9A-A56517E14A33","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":"Q2915675$4108052E-DF4A-4DBC-B3B6-7AEC3D557706","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":"Q2915675$D642D9FE-4CD7-4CFA-8ECD-8D3EE690A445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-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":"Q2915675$A9D4D534-7F57-4B12-AC95-563FE367683E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05916f3646d7dd50f8d6506964479e8dd9c282a0","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_242e.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915675$10205121-27D1-4650-92AA-1266CB51E776","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915675$05C492F8-A3C1-4E4A-A668-E52F037D345A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24de4d092f91d346826f715c575b5c3a1a253e86","datavalue":{"value":"6083532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915675$FDA0403D-6B04-4156-A68A-8B5CE25E2FBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47a41d58a3803f842adf751401d676e2a9a76a2","datavalue":{"value":"discounted-sum automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915675$5867E026-8008-4FBB-A7ED-6DD6ED881953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915675$DC5FB00B-2735-48EE-BF73-00790B9F5C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915675$7320260D-E85D-48C9-9983-D4B58FE1D121","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":"Q2915675$18EBDC2E-DF8C-4D63-BC89-B5EF1F265FB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2564730ef5e66c99c0c780cb5c9e81d628d37317","datavalue":{"value":"W2249410330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915675$744C66BA-EE67-455A-82D5-1EA3A3846B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf31477217a9d38a9a9cae03b64747e6bf5d0ce6","datavalue":{"value":{"text":"Determinizing discounted-sum automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915675$EFD3C96A-F733-4621-BA51-00EE838CB91C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc02f4f668614c5b8561e43f474afaa05abad002","datavalue":{"value":"10.4230/LIPICS.CSL.2011.82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915675$F5E2A948-8615-401E-9FEE-2AD3AD864E8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43bc8cc968899a40dc5df53063e5b66f0a9a8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5404475,"id":"Q5404475"},"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":"Q2915675$1DE95369-E792-4DB8-B862-50C1562E8C13","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":"e70ba278cc4e2daee7270c7f4c22dbcf370dbb5b","datavalue":{"value":{"amount":"+0.839016854763031","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":"Q2915675$8EDEAFA4-8E55-4580-B62D-0CB923A3799F","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":"fcf96ff0890b007ab0905ae3fa20cea91afd2102","datavalue":{"value":{"amount":"+0.7919801473617554","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":"Q2915675$6875EE58-95AA-4FD9-BFB4-DC8C1A9CEDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a19f239f126f354525e874031e37da349700cc","datavalue":{"value":{"entity-type":"item","numeric-id":4635852,"id":"Q4635852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd6f99a9a78ab624483052eaba0ad724e67e138","datavalue":{"value":{"amount":"+0.7827606797218323","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":"Q2915675$21FE3452-E4FD-434B-A117-E5CDA169D70F","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":"3ee6cac6d4de2b9c5637c75a632a63979e084488","datavalue":{"value":{"amount":"+0.7785754799842834","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":"Q2915675$884C9984-D779-44BD-A797-25D758869A64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915675"}}}}}