{"entities":{"Q5145291":{"pageid":7174862,"ns":120,"title":"Item:Q5145291","lastrevid":58456500,"modified":"2026-04-05T07:29:39Z","type":"item","id":"Q5145291","labels":{"en":{"language":"en","value":"Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298743"}},"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":"Q5145291$5952EBE6-49F7-4A98-836B-847470F376C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca75c314da1a9fa8c30ba23ecb0c914eb917c596","datavalue":{"value":{"text":"Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145291$D7E4CFF8-41D3-4592-8585-EE55D29E3261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d775e9810589c0d9f8f451df1aea2b1571e7f04","datavalue":{"value":"1497.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145291$3021314C-F5D9-49D4-AFD7-EFAFECDEAF91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc123f2b36785fe294bcf350976b14097a3d13ac","datavalue":{"value":"10.1145/3209108.3209191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145291$A7499CC9-14DE-4A18-B235-340C97A1ACC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145291$11E3E0E1-1EFF-4796-B65B-CCC9531466D9","rank":"normal"},{"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":"Q5145291$91E656C8-87E2-48F3-8C1B-BA9250C55A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11678640a6e912a3bd5c6e3abd03521868996d7","datavalue":{"value":{"entity-type":"item","numeric-id":855151,"id":"Q855151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145291$00211D70-BA5E-404B-B688-EDA26453E0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e370b2c4aacedd71c74624dacbee19835d314594","datavalue":{"value":{"entity-type":"item","numeric-id":3297605,"id":"Q3297605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145291$E71778EF-01CA-4CA3-B243-349FB7798495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145291$00B8ECA9-AACA-4BB2-80CF-746BA247A75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145291$DA7B7A61-8A81-4E5B-A566-1ED87B407F70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145291$F1F1F0F6-C4F6-4B01-938F-48A039D149DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145291$6A5ADA82-D92B-4308-97ED-109DA22E95C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"499e39162cdd7fedd3539193e1c25cb404c45e23","datavalue":{"value":"https://arxiv.org/abs/1804.10985","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145291$20BF4040-C0B4-4345-A18A-977C6AC66A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145291$8F0F60C5-703F-471A-B10C-EFF60461AF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145291$0346989B-CAA7-4D50-8E7D-8953A8878955","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"639e206dcb151617a467850b20410ede7ef1a9b2","datavalue":{"value":"7298743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145291$BC6D98BA-29B1-4A20-93C5-D3798B543BA6","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":"Q5145291$295D9D82-618C-4A6F-BBB5-C72AC51DAABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8c72135444483e08eb0dc9a6471645f1715d2cd","datavalue":{"value":"W2962849754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145291$C9403835-6173-48F6-8122-D7C7DB6C141C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b24ae2b2af02462d8b2ed5216dbee0f47c558c4","datavalue":{"value":{"entity-type":"item","numeric-id":6176114,"id":"Q6176114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e6bec1b111d38ee9149c2f8ba6e6859fa53322","datavalue":{"value":{"amount":"+0.84319174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$0D99D087-D95E-456E-9320-C8CA73D91947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f0b753bc26d9490561a2b31d5c7b65b82d3ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3297606,"id":"Q3297606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c73ca1af7326a99bd7f72e17689d601e31eafc0","datavalue":{"value":{"amount":"+0.8425891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$0E88D78F-5F8B-4DD6-91F2-31B93A7DDB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11fd93bb52f2df029526f205072a00e8ef90b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1268251,"id":"Q1268251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edfe2955017194022ddadc4f399b327b07c0586","datavalue":{"value":{"amount":"+0.8364755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$94D339D2-C0E1-46F4-A275-B26BF2828A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a363265f95c48804c806fb37899fe40a869fae6","datavalue":{"value":{"entity-type":"item","numeric-id":5096139,"id":"Q5096139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3885950e12414d643ea5e10791c6f83fe435646f","datavalue":{"value":{"amount":"+0.83503693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$86DD8BF6-B95B-43A3-A0B9-5787420A54F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801242bef424151b1d40f1ef5e9b914d93941c30","datavalue":{"value":{"entity-type":"item","numeric-id":2867080,"id":"Q2867080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b77cf490cc993405a3765bef27dc5cc26c78588","datavalue":{"value":{"amount":"+0.8290351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$4ADF1BE0-F49D-41F2-A17B-D37E82F3574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6dc095eba285c9fdfff2d72f98a8b84c1498cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2361353,"id":"Q2361353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b77cf490cc993405a3765bef27dc5cc26c78588","datavalue":{"value":{"amount":"+0.8290351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$2084B679-385E-4700-B979-973D5382699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f87ca807868de30a05ca9305fc0fb02a796a163e","datavalue":{"value":{"entity-type":"item","numeric-id":1678175,"id":"Q1678175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab83b8234348a7f03ab3d53c8c47fb025ce25357","datavalue":{"value":{"amount":"+0.8254725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$23FB36EF-805A-4ADE-BC16-D960AA4EF8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73319ae6b48e22d591dcd42257949f00b6fe0c80","datavalue":{"value":{"entity-type":"item","numeric-id":4601874,"id":"Q4601874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab83b8234348a7f03ab3d53c8c47fb025ce25357","datavalue":{"value":{"amount":"+0.8254725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145291$C864BB9E-EF6D-4249-BCB1-EEDEE7DE7D32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145291"}}}}}