{"entities":{"Q1675154":{"pageid":1685895,"ns":120,"title":"Item:Q1675154","lastrevid":71880279,"modified":"2026-04-14T01:09:03Z","type":"item","id":"Q1675154","labels":{"en":{"language":"en","value":"On boundedness problems for pushdown vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798770"}},"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":"Q1675154$08A888BD-26B5-4A59-8427-85E74FCFBB2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"775d64409bb8c8243205e6819e4d0d2a0be6734f","datavalue":{"value":{"text":"On boundedness problems for pushdown vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675154$6E65A914-8DBB-405B-957E-462145CE1E30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b26918991e1c0f0a97e61c18f43ec291f0a9a93e","datavalue":{"value":"1471.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$D0428F48-43E5-4CE3-B836-F3341A58E882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94bea0eef1c5f0c462eb2e9f800f2e980bcd5129","datavalue":{"value":"10.1007/978-3-319-24537-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$BA5596B3-B0BC-406F-95C4-D8E3F281A349","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675154$9828103F-E8A8-4A8D-A085-F00CA5D77E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675154$B12F822F-1D97-4412-857F-EE91A21720C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675154$CBEF30D1-94C7-47E1-89E5-B96AFAB4334C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675154$DCE91A6A-0346-4A8C-9ADB-FC851689E0AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b44deba8257b08895b066224cf93371df95c95","datavalue":{"value":"https://arxiv.org/abs/1507.07362","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675154$F04EEB58-ED50-464E-83AF-BA06A2F0A580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$3BB5E6E3-05CC-4B67-BFA3-495089ECF78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$ADB95A02-381A-4568-A2B5-C2893A258E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$5E1E9731-5995-46CE-8411-212E13D99992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5294620d7e846b0acac287c1e09da8979f7baec","datavalue":{"value":"6798770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$8FE71BD2-4F43-473D-B7D5-4BEECA0C98CC","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":"Q1675154$3E2ADD5A-204D-4EFE-8BA5-3060AAD87DD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1744d0437ec941643bfa6e0bb56fc4793bd03355","datavalue":{"value":"W2247003927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675154$17A6A5C6-ED1C-490E-90BD-A2B1945B166F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739ba61e49f88d138ddb6dd21b5f67bf5097e747","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd8b135d244eea73b909ad1566ba92558942bb3","datavalue":{"value":{"amount":"+0.8468111753463745","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":"Q1675154$685CF538-C216-46D7-87F4-3D5ED1AF91A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3ac7f8e47a33fbc1855fe7f9e764cc79b640d","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33395a21bbab9731bceea2bac34a43114597c8b1","datavalue":{"value":{"amount":"+0.797714114189148","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":"Q1675154$F80AB68C-4796-4CF9-B7CF-84B45882E543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79b49f835bd4420353873863b052426aecd5974","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4b6a0ee2fe0554b3d7078f9ceb2d8d97ea1536","datavalue":{"value":{"amount":"+0.7930625081062317","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":"Q1675154$87FBE991-3015-4CBC-897C-B5700CE5486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73530ff24bea6a897a644854035c187bf8849f5","datavalue":{"value":{"amount":"+0.7872856259346008","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":"Q1675154$36EA9FA9-88FD-4543-AF89-EF2A5EA7DD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183658d666e926d8d8b1159719c7af460127197f","datavalue":{"value":{"entity-type":"item","numeric-id":2032173,"id":"Q2032173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b78b94a98bcbb5d7cf4e6eebb875012e314df7","datavalue":{"value":{"amount":"+0.7855305671691895","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":"Q1675154$350D2888-DE19-4C63-96E7-21190857C2D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On boundedness problems for pushdown vector addition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_boundedness_problems_for_pushdown_vector_addition_systems"}}}}}