{"entities":{"Q6967343":{"pageid":21307122,"ns":120,"title":"Item:Q6967343","lastrevid":84054278,"modified":"2026-05-08T22:52:17Z","type":"item","id":"Q6967343","labels":{"en":{"language":"en","value":"Geometry of reachability sets of vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056623"}},"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":"Q6967343$28AC83DC-9CA0-44AC-BD0A-5A804A26043F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c84069825241157983f11e77f618e49084cf07f","datavalue":{"value":{"text":"Geometry of reachability sets of vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967343$66FF2FA4-BC0E-4802-B6FC-B72D21FF2714","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61404520aeeeeb15156084a9baaee227cff2e258","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967343$7B60B8D0-0C36-4F43-859C-2F455CEB0511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17fe27748e4d8f91b08c5429209bf5042cb2f77e","datavalue":{"value":{"entity-type":"item","numeric-id":6142598,"id":"Q6142598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$4332CE55-DA6B-416D-B3C6-D4EBB9F560CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3515baf2d7ffabb4be305cf6d0e695408444c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2025855,"id":"Q2025855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$4B693F1B-7283-452B-9AFD-AB55797E41D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$33DB4132-7EED-4538-BA87-B581F0B68FF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967343$7742305E-9EC3-4931-82F0-98B04C2DBE09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967343$C8395A56-2AA2-40DF-B613-3B645D646975","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8372fad8dee8a902c264b0c4a81e9212bc450dea","datavalue":{"value":"8056623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967343$BAFE3265-F56E-4D65-A139-284F494A7267","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":"Q6967343$CD4BB0E8-812C-4DE5-BE2D-D1F1670B18AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967343$42061802-C3A7-44EA-8D08-0E25839E00D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967343$4A0D2D51-0607-494C-9BEB-972B3CEB3A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bffca71a435ced51db72e4cc2c3e4d6cb1b9197","datavalue":{"value":"reachability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967343$20ED8CF4-D651-442F-AAE3-C58EE27F9573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0dc582d331789ea94ead8aeb9e926507862044","datavalue":{"value":"almost hybridlinear","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967343$4A6C84DF-24AD-4B7E-AD9B-68C0B7A16AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41fb471c5632503b8716f23269ac7a1a49e160e","datavalue":{"value":"partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967343$09A48665-1D67-42B8-A95C-D79F39D63067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967343$DB89D2FC-EAF8-4D07-A902-CCE6360B3885","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":"Q6967343$BF38B87D-4740-40C1-B066-7C613EA4A9D4","rank":"normal"}],"P223":[{"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":"Q6967343$C352B744-0B9E-4475-95E4-A43DCEE2BF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$0E25363F-2EA4-4A9D-8C41-C77838168C64","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":"Q6967343$3E2A6960-04B4-4B6F-A7C4-FC6A7AA9DF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c91c8d2ad957914245f99aa183fd2d513c4a4d","datavalue":{"value":{"entity-type":"item","numeric-id":6967343,"id":"Q6967343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$9D046939-1814-45D0-82F2-9B480F96BA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bef69e506e8483ac7d553548fe33d751406b71","datavalue":{"value":{"entity-type":"item","numeric-id":5212023,"id":"Q5212023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$E16FD3D8-1512-4F8B-9EFD-E1984C1512F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$C822D10E-4991-4CE2-82C7-CA36C51C6B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1c8eaf27ed55444d99683ca3562596d62d03ed","datavalue":{"value":{"entity-type":"item","numeric-id":3004566,"id":"Q3004566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$1CB1F1CD-52EE-4F8D-B22B-7A37F8ED6E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637ad3841fec6ccb0f7fb857f90653d03220854","datavalue":{"value":{"entity-type":"item","numeric-id":6874948,"id":"Q6874948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$687550CF-9847-4212-9816-830D43484FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ee0f450a29acfe882be49e47dbfa2724801427","datavalue":{"value":{"entity-type":"item","numeric-id":5271037,"id":"Q5271037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$CDFD42A7-78A1-4F46-892B-5ED87078D26B","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":"Q6967343$090D7C72-B6CB-46FC-B148-221000045B78","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":"Q6967343$EDAFAC36-B1CD-46E0-B552-0C22880DE2C6","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":"Q6967343$473E427E-86F6-4A3E-AB15-9376EA987B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3cd9be35120b0ccacaac56b39779c40d5c565c","datavalue":{"value":{"entity-type":"item","numeric-id":4638995,"id":"Q4638995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$C94842E5-3C78-4582-88CE-E2B6B950A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c7cb284d3459bd40ce364244eeaf945cd9f586","datavalue":{"value":{"entity-type":"item","numeric-id":6829830,"id":"Q6829830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967343$C923C0FC-7D39-4637-AE5D-6FCBFDFE6991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Geometry of reachability sets of vector addition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Geometry_of_reachability_sets_of_vector_addition_systems"}}}}}