{"entities":{"Q7310318":{"pageid":31275604,"ns":120,"title":"Item:Q7310318","lastrevid":105090763,"modified":"2026-09-16T15:20:27Z","type":"item","id":"Q7310318","labels":{"en":{"language":"en","value":"Reachability in vector addition system with states parameterized by geometric dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236372"}},"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":"Q7310318$817A94D1-160B-4FC7-92CA-D8E7233C2593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"267c6b4dd39cae306ed9202894f053dc802c1ed8","datavalue":{"value":{"text":"Reachability in vector addition system with states parameterized by geometric dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310318$3407A7D0-C42B-40B7-A9A7-5CC43B4969D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54df24212b3cd66c3c11aef158d70d4e692791ba","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310318$641F42D1-0378-4A92-BC9F-4CC5DB82A90D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"998254ea89811cf9efc45bfffb0572e3ccb3a7e2","datavalue":{"value":{"entity-type":"item","numeric-id":6875044,"id":"Q6875044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$1EE19163-2B58-4353-87E7-02C11067413C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310318$12DDC100-8CD0-4B72-AE79-C91577006D80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310318$54709604-7615-423E-B2C1-515BF9B3B4B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9420ff4dc9204fe85701c423421a932bed35977d","datavalue":{"value":"8236372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310318$E6D0FF1C-14EA-4266-B677-9D35F3ED18C4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$58B9D14D-8780-4E71-AAF8-8A05D3249D51","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":"Q7310318$897F8922-B394-4171-851E-FDCA6147CACF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"698c6742f36636fed7bf3e9acfbcdb906ed2ce89","datavalue":{"value":{"entity-type":"item","numeric-id":6982303,"id":"Q6982303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$93A29E4D-A5EE-4ACA-8A86-0291D0282157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce0bfb28b6a65ac23046938e26c6bc2dcb461e","datavalue":{"value":{"entity-type":"item","numeric-id":5056423,"id":"Q5056423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$AFCB2929-8950-45A2-AEF3-8CEDF80B78E0","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":"Q7310318$2D6CC32C-FEBA-4838-9C7D-10FE4E4C0222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9a01fe70eba2200ad544329c398d78ea2bdbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4598270,"id":"Q4598270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$FF6073EE-46F9-4014-A794-86B25F51C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c425750d7980988c7b6a8a88b5351ec56090d45","datavalue":{"value":{"entity-type":"item","numeric-id":6951698,"id":"Q6951698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$1561731B-2EE7-4E6D-B165-722B4C915F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f210a0e781d8fbdc8886b756b65d1579ce88d16","datavalue":{"value":{"entity-type":"item","numeric-id":5092425,"id":"Q5092425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$DF5CFA43-6D67-4828-95CC-562654EE7EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$1AAF912F-EA8D-4F55-80A6-DC13F878121E","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":"Q7310318$AE9310E7-FBD9-4AE8-B68D-BA27259B6242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f911c4d17eb514630e7689684ba45d7003ae8275","datavalue":{"value":{"entity-type":"item","numeric-id":4858945,"id":"Q4858945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$64339914-9316-47C8-81D7-56143A0B4281","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":"Q7310318$FC1AACB7-789E-466D-B76A-142F90BC4F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83bb7ab8a9a9f7a9d42d718b9d7634cff16e9cc5","datavalue":{"value":{"entity-type":"item","numeric-id":6875045,"id":"Q6875045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$300107B6-0E57-4162-86D0-404D3387ACDE","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":"Q7310318$60EF8954-C99F-43B0-85F9-A4FB4DAA21F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$35AFADBB-E1A1-4CF6-937E-31DC7D59E63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$597DE2B6-5032-419F-A186-8A12C9CE7476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310318$49EFC8FA-B891-45AF-8C96-F9A0426082FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability in vector addition system with states parameterized by geometric dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_in_vector_addition_system_with_states_parameterized_by_geometric_dimension"}}}}}