{"entities":{"Q1155361":{"pageid":1166110,"ns":120,"title":"Item:Q1155361","lastrevid":66270768,"modified":"2026-04-12T08:39:39Z","type":"item","id":"Q1155361","labels":{"en":{"language":"en","value":"On the reachability problem for 5-dimensional vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3731349"}},"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":"Q1155361$52B09928-814C-4601-B792-3FCA7C1050B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f66b1e1aad5bb8306341df77d813c6ffff7258fa","datavalue":{"value":{"text":"On the reachability problem for 5-dimensional vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1155361$3E181136-FD70-4498-AE5E-8935C098CD6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a10478688875eb5ae293ab802237d4daea10bf8b","datavalue":{"value":"0466.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$2DCB7FCB-8891-4B86-8C56-5BA83F6114E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd8f3d86a84a4afd32b76187172349a781446be9","datavalue":{"value":"10.1016/0304-3975(79)90041-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$BA494184-21CA-46F5-B6A8-06698D00F77A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$9026890D-1EF5-4FD9-A7C4-B5419799F5FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1155361$38535CD8-1078-44FE-A73B-7454D50CAA83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58fc474d1432c7c940d15791ec51a885856d525e","datavalue":{"value":"https://hdl.handle.net/1813/6102","type":"string"},"datatype":"url"},"type":"statement","id":"Q1155361$632B721A-4BF9-4594-81B6-52C85C2B4DFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$59572B03-1D82-4916-B3AA-A2B4E987DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$94AB1DB2-EEED-4220-BA27-8A8DFE7898EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$DDA3F821-CA4D-48BC-975D-5AF2717F4CFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"987c72aecd8bd1115812f0a0b16f4aa6cdf5fe26","datavalue":{"value":"3731349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$0B6EB3B8-8300-49C8-9BBE-1BFAEF841E6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eb92c60156bf9044368a332bbad679737e9098a","datavalue":{"value":"constructible semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155361$C8708928-9890-4E64-BED5-7E8B8C1DBD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc035766046c789c90474abe093805b7bd792e8d","datavalue":{"value":"n-dimensional vector addition system with finite state control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155361$C0D7A8A1-2061-41F8-A238-2BC51AA13CCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c71ff2c50a5dab832e54477d4cc06dcc3a678def","datavalue":{"value":{"entity-type":"item","numeric-id":1063632,"id":"Q1063632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$9C8BDA9F-2C61-408E-B3AC-109F34B6FC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d78830fe10713c0b23c76de9011cc6ea9ff1466","datavalue":{"value":{"entity-type":"item","numeric-id":792101,"id":"Q792101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$D95A6D05-0720-4D16-88B8-CA45ADA57DA3","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":"Q1155361$2AE563B9-8173-4EBD-9D5A-E4FDFADB3354","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"170a33cc2e2270a96146f6c942106a0fedc44a3f","datavalue":{"value":"W2017315323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155361$8CE134C4-004F-4AD5-8A87-4EB182B56B2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$AF2B95E0-1D04-4369-B715-204DBE65D876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$D259A49C-E542-4A7E-B80F-01464D90B8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$8EC28DE8-D7E6-4E53-A8DE-98DE2AFE2966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a3953b3ff68b1c4568f11da96aef064e716710","datavalue":{"value":{"entity-type":"item","numeric-id":4136592,"id":"Q4136592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155361$1C9D54CC-B5C2-4C31-AE10-B64774630F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the reachability problem for 5-dimensional vector addition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_reachability_problem_for_5-dimensional_vector_addition_systems"}}}}}