{"entities":{"Q2819794":{"pageid":2830532,"ns":120,"title":"Item:Q2819794","lastrevid":58018365,"modified":"2026-04-03T11:37:32Z","type":"item","id":"Q2819794","labels":{"en":{"language":"en","value":"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631293"}},"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":"Q2819794$B1D1F678-A24D-4619-9468-F441CB36D899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"957aa69ffc4331142e00c42325781ec18bce7d87","datavalue":{"value":"1346.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$0DC6B83C-E879-4C85-831E-2F3251CE8EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d838cabdedb0563195941095740fae9015232b11","datavalue":{"value":"10.1145/2676726.2676979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$D5F8D51C-EEDD-497A-B89C-E3B2478EBCFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819794$4ADE85C8-A7A2-4498-ADF9-A1D4928522D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b94a8c94a31fc791699de5d74ddaeb227da9e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1702914,"id":"Q1702914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819794$F252C002-5E67-4C65-B2FD-D521FD3F5D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f06d0352f5ea084c8951e25e77de537e948b7ba7","datavalue":{"value":{"entity-type":"item","numeric-id":650875,"id":"Q650875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819794$F7977E25-E2D7-4963-8956-96B2F217DC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f76f942aa6e949e8653f18e0faa495f5bdce1d82","datavalue":{"value":{"entity-type":"item","numeric-id":2819793,"id":"Q2819793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819794$768831FC-69BC-4548-B126-00CFAA96A244","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819794$1176EC6B-094B-4C9D-93F3-6E71CAB45CAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819794$75D613EA-131E-4DDE-897B-C20A70264EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8d3916142d225e229deb9277aaf6edfae88bfeb","datavalue":{"value":"https://arxiv.org/abs/1410.7724","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819794$C4E2CC69-C3C2-4039-AD6E-DC1CA61D0844","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$C814E1FD-4702-4920-908E-88887D8C3F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$A6F0322F-8E16-417B-87B8-3C3B5DF175D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$BC0B8FA7-2118-4609-8088-A2E8C2D11849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"189f4d7c5fa4d687a8f5813e8b5dfc2fede52fed","datavalue":{"value":"6631293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$A84D6C34-8428-4392-9929-CC71764E2C9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b05d23aabb0bbb835afa01f9626fb101d91cac9","datavalue":{"value":"constant treewidth graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819794$96712EBD-8E95-4B11-93DD-5CB0E0A13A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819794$063CD9EF-7A98-4FCA-8837-4099C7992F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec3e7b916b83fe7497baa58db1aa00e4126d057","datavalue":{"value":"interprocedural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819794$A8171785-24C0-405B-9860-180678AF073D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73706e2a33e07977ebb3b16dba8785b351a9216","datavalue":{"value":"reachability and shortest path","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819794$41CE21C3-9ABC-4A1F-A976-2BA3C654ACC4","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":"Q2819794$7CE416A6-16B3-4372-AF25-9EF53836800B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c6cbd0c8e0c89f04787b048d9cbf4f818463822","datavalue":{"value":"W2074131210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819794$4954BDA4-F68C-49BA-8BC4-E6D27C68015B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea354fac60e2d18fe5ade9ef97a9b6ab3fd0d00","datavalue":{"value":{"text":"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819794$8E2855B0-7216-4B6B-BB98-54EE9C698B38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb7b5cda3913eb942d4651f57a8ca7f2db0c4f6","datavalue":{"value":{"entity-type":"item","numeric-id":2988644,"id":"Q2988644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e93c7b0028b23bdc15d82b4bd028587c8ef465","datavalue":{"value":{"amount":"+0.8515752553939819","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":"Q2819794$7742BFFA-8984-425F-8A8F-9B428B9124EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966bc92ebc4c31085a397362c079e521e47c3e06","datavalue":{"value":{"entity-type":"item","numeric-id":2828317,"id":"Q2828317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4c9704df914f6ad9e928174074f0693021e7c3","datavalue":{"value":{"amount":"+0.8241630792617798","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":"Q2819794$4D411E30-39A1-472F-90CC-A10372D9D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29eb64f5dc5487e462322916b7e8d41d0cb95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d095f11ee0a064c55d680c7fb0355a32a03485e","datavalue":{"value":{"amount":"+0.7486931085586548","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":"Q2819794$E1C311A4-4B26-4E04-B4EF-A92504FE2ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef6b6ac71b7c0f6b80b700cc23b0757dcda7721","datavalue":{"value":{"entity-type":"item","numeric-id":2058390,"id":"Q2058390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d095f11ee0a064c55d680c7fb0355a32a03485e","datavalue":{"value":{"amount":"+0.7486931085586548","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":"Q2819794$32E456D8-F3C9-4FA6-B8F6-2E916359C83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01ba5f638b2c55dbd7fe610c0bc87e08fa96cd0","datavalue":{"value":{"entity-type":"item","numeric-id":3189835,"id":"Q3189835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ecbafd0522fd23984e5b60c4dd3ed3271547662","datavalue":{"value":{"amount":"+0.7334371209144592","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":"Q2819794$846CD24B-142F-462A-B26F-0DBA3897F4A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819794"}}}}}