{"entities":{"Q5875390":{"pageid":7904941,"ns":120,"title":"Item:Q5875390","lastrevid":55434676,"modified":"2026-02-17T16:19:09Z","type":"item","id":"Q5875390","labels":{"en":{"language":"en","value":"Reachability for bounded branching VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649936"}},"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":"Q5875390$1E4151AB-0707-4073-9E2F-B5B4611EB3E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$5805613C-825C-4CEC-B1D0-DA6B71881CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e229a7272481236f52fa95a4480b3f630728e07a","datavalue":{"value":{"entity-type":"item","numeric-id":262250,"id":"Q262250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$EC1D678B-F356-47F0-9F2B-DEACAA516B7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875390$845CAF94-8F67-42D2-B84C-9A58AC026FE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb30aeb49d2891dfa70a50fe0bb95579007280b9","datavalue":{"value":"https://arxiv.org/abs/1904.10226","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875390$CDE1E411-93E4-4BC1-8005-A02F550D1023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875390$08CD1149-70AE-40C5-A299-141323FBC032","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"586295725476a155385aa0d11122eac01c64ddae","datavalue":{"value":"7649936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875390$73E87806-9ACC-482C-A997-A65943E2ED30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa3fad6b73d1c890d4bdc7e29382924cf1dd9c1c","datavalue":{"value":"branching VASS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875390$9FE109E8-CAF4-4892-ACED-73B6D61E6178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875390$EB0795BC-D519-427F-BBE0-BD098B22B999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875390$F178A5CA-F5E6-4584-BBBB-11FC0CEFA830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a3b2194fc361120c9697ca8c4ff8924613b6a0","datavalue":{"value":"bobrvass","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875390$165C8F6C-DFF7-4224-A191-E88C2902E6C0","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":"Q5875390$2B38217C-1EB2-4F55-BAFC-7F449FB45ED1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$C7E48F72-2B25-418E-86EF-748FDBBB77DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$8BEC1773-07D5-4B87-B66F-0D26811F888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$905BB6EC-F385-4B7E-B18E-259A06514FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccd5c9eb5147a2d15ced859efe215665c5b096","datavalue":{"value":{"entity-type":"item","numeric-id":2942873,"id":"Q2942873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$466AC7FC-06A0-4ECA-99DF-ED7779032C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9887f8334bb0714633e6f92e0114d303a763232","datavalue":{"value":{"entity-type":"item","numeric-id":5144629,"id":"Q5144629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$D2DB8773-FF5F-4BCA-91A1-BDB8E5B1D95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$D9BAE7D7-895C-40C0-B0C0-30CA4EADDF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0f213b38801e136ce0f118cdd047b98a551b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5144625,"id":"Q5144625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$15936D13-9CF6-4273-9569-718D35C2DCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cc1981494dacca42406e45618b1594b674d52","datavalue":{"value":{"entity-type":"item","numeric-id":4635905,"id":"Q4635905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$F821BCC6-43A9-433D-AE4B-73632F2CE5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2557de950871aba3cd786a2779ef86703e6c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$C2F3E71D-8002-4C66-92D3-B918A353BED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ea90137e7a6ebf5cae03c80f9e832796cfc4e2","datavalue":{"value":{"entity-type":"item","numeric-id":5111451,"id":"Q5111451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$B7C9BB64-3587-4C38-A68F-20634234577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4001af7825cff2816ef0c63263ef1a488b71ce","datavalue":{"value":{"entity-type":"item","numeric-id":2849929,"id":"Q2849929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$3061CD4A-CD54-4367-A46E-D21E8A7E8F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14ea1b9176fa0b98a12ab2a36caa6bd0d72a33f","datavalue":{"value":{"entity-type":"item","numeric-id":4598246,"id":"Q4598246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$EF006B50-B370-447C-B3BE-3DC3AE2C9C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$E59D801C-6D33-418C-808C-91DC2F967122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1014fde4077be02a2601658792b1c2731e0e6b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4899143,"id":"Q4899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$6F952D80-2BD4-416C-91D3-EC5FF2842896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$B62A04CC-5216-4370-A7C0-B42C7C4AB69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$5E9237AF-3453-4C73-93FB-2BFFD6E8E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$21E2937E-AC51-4CA8-8209-F6F14CD00B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875390$07789540-0E2C-4A57-9676-AB07E161E938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb95a692b8eb9686df102ebe47a855e66668ad09","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875390$81240F72-A00D-42DD-9044-FADB844746F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fceb760bd873ca0c8655624f25144adc4837583","datavalue":{"value":{"entity-type":"item","numeric-id":4598246,"id":"Q4598246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dd3cd8b43d579bda37b8b22e9a38ae07aaa2ab","datavalue":{"value":{"amount":"+0.8794496655464172","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":"Q5875390$EED641F2-8F64-4AF2-A9C6-320A4EC224B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0849a59a8948bb202b1874f6a0e091d81b40b","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590be981b3ec77c6583f15093a8f65f7a47710bb","datavalue":{"value":{"amount":"+0.8088415265083313","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":"Q5875390$5FDA25CC-75CC-4BCA-BDDD-A0D1094458A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaefea66d54a1dd1293c1c92c7c2f7e5d560918e","datavalue":{"value":{"entity-type":"item","numeric-id":5111451,"id":"Q5111451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41daeae7d3e89f6ef29ae8a1b3875e35c98b9079","datavalue":{"value":{"amount":"+0.8073582053184509","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":"Q5875390$85739E02-C1B0-4B9C-B5B3-C1BFC4A87306","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":"8262ad9fc5945942571c3ac8fdae42a75d1fc1e4","datavalue":{"value":{"amount":"+0.7801423668861389","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":"Q5875390$23AD7F15-1688-45A3-905B-464B9EB7760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2dae18d9d08b99e5e3570a9b7d0cb0b091975b","datavalue":{"value":{"entity-type":"item","numeric-id":407525,"id":"Q407525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc25a0564e0e940a9f0c346ec319ba35e1a5552","datavalue":{"value":{"amount":"+0.7763314247131348","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":"Q5875390$763241CE-6F8D-4953-A7DE-3C43B55D2B57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875390"}}}}}