{"entities":{"Q1702915":{"pageid":1713656,"ns":120,"title":"Item:Q1702915","lastrevid":72117051,"modified":"2026-04-14T02:45:19Z","type":"item","id":"Q1702915","labels":{"en":{"language":"en","value":"Faster algorithms for quantitative verification in constant treewidth graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845656"}},"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":"Q1702915$671ADCCC-AAF3-4E34-86DA-7A46DD580B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0069181da2ff9ada52ce1624a12668ff2b221702","datavalue":{"value":{"text":"Faster algorithms for quantitative verification in constant treewidth graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702915$FC8ACEE6-3B09-44AA-94A5-A4717548CEB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283e1411468554307346a01f1e72cfa6e45df0af","datavalue":{"value":"1381.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$11C559E7-6C8C-4344-9357-C94B3C69DCB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ec143a7b6ac339f3c092605a810fec893075c60","datavalue":{"value":"10.1007/978-3-319-21690-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$F7947775-ACDF-4659-86EC-5485DF388B05","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":"Q1702915$CD18C679-AF1F-4CC6-B34A-F5E259B11934","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":"Q1702915$47C108BB-3DEE-432A-9EFB-8697C4940E1D","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":"Q1702915$3035A809-1BA1-4F40-B6F6-5B91AB5F33C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-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":"Q1702915$FF8DE9C3-B09E-4AFB-B532-E3EFA4EA5D09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28b403030e77545c0a246fff97c845aba0cf0c1b","datavalue":{"value":"https://arxiv.org/abs/1504.07384","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702915$32ED8806-5D08-4B75-8376-6680DF50A8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a86ba9cacd22118c8ea13755e839af074271a30d","datavalue":{"value":"https://repository.ist.ac.at/319/1/long.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702915$C7ED1B8C-C767-44AD-BC49-2B4D397EC010","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$99F6BC92-C83C-4001-B3BF-D387587DB75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$A982D8D9-61A2-45CC-8FA2-1B872A3D5204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$FEF43A7B-B8DC-4F81-B282-2286348E8ABB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e9d73b88fc41f6203d0954ab264c4391e38339a","datavalue":{"value":"6845656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$6A82CE89-09CE-4FAE-BEA5-CC8B3AB4588C","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":"Q1702915$F2AFD124-0A02-4305-A6F0-DAE0433C16C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc9fd9d9c9dadb2b97aa92631fe93d3dc70ebf38","datavalue":{"value":"W854382448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702915$58B32F5A-E324-4304-AEC9-9416DC84D087","rank":"normal"}],"P1643":[{"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":"f8ccdc297a06434a02c158247a5fcf98614dbb24","datavalue":{"value":{"amount":"+0.9680932760238647","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":"Q1702915$AB7E0DE7-FD66-4331-9559-DD3905AC81BB","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":"bf4dee2002d6779b9abedaf51c884d7969c84064","datavalue":{"value":{"amount":"+0.7848159670829773","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":"Q1702915$98D48D3C-D75A-4DCA-9883-BC38DD8C4B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7aeba66c0d088b1f9e3046283246640b57cdc9","datavalue":{"value":{"entity-type":"item","numeric-id":6485875,"id":"Q6485875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27f2db35cfde9932751be9233118c7f98a855e8","datavalue":{"value":{"amount":"+0.7720393538475037","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":"Q1702915$14355205-F0AA-4637-A36C-5DAD959AF1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a8cdf71d90fb20d25741a26240108a290c53a6","datavalue":{"value":{"entity-type":"item","numeric-id":537946,"id":"Q537946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799ec6c7892ea84f6d57ef4ef5b162740407c84b","datavalue":{"value":{"amount":"+0.7511768341064453","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":"Q1702915$060071B0-A82A-4AB1-B25C-C847C11E0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adb297a8476a7023109d29250c40dfd954cabba","datavalue":{"value":{"entity-type":"item","numeric-id":5111456,"id":"Q5111456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992fd09c68c3e7bb35f7e8d6d973d1b67e518ae1","datavalue":{"value":{"amount":"+0.7433357238769531","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":"Q1702915$ADDCA4A8-51D7-415B-88EF-C95F44D7F3A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Faster algorithms for quantitative verification in constant treewidth graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Faster_algorithms_for_quantitative_verification_in_constant_treewidth_graphs"}}}}}