{"entities":{"Q6647635":{"pageid":14258790,"ns":120,"title":"Item:Q6647635","lastrevid":55803037,"modified":"2026-02-17T23:03:51Z","type":"item","id":"Q6647635","labels":{"en":{"language":"en","value":"The geometry of reachability in continuous vector addition systems with states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7953260"}},"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":"Q6647635$ECE16536-B5F4-40B9-83EC-6510B7E83EAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea95bf5b66e054c47a0d38b044715f9a374627a5","datavalue":{"value":{"text":"The geometry of reachability in continuous vector addition systems with states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6647635$01F68FE7-0F35-4E3B-B8E2-B204168CC369","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72c2897604ebcff4918a7f3620c211271fb0d8","datavalue":{"value":{"entity-type":"item","numeric-id":1622946,"id":"Q1622946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647635$9915B9ED-F5A5-4842-8D69-610DB5A915A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fba886fa2fca69e3308b03a8e4b4904d747bda2b","datavalue":{"value":{"entity-type":"item","numeric-id":997412,"id":"Q997412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647635$A693DC96-79BA-432E-9C80-8186547EFFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"541d7aa7cb6aa6c832f0931d5f6f0f39b7a57f0a","datavalue":{"value":{"entity-type":"item","numeric-id":5875943,"id":"Q5875943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647635$1EAAF68C-6D1A-4E04-B326-2FB735EB1C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ddb7731189a0bd2a79fd0deca3c370c746820b4","datavalue":{"value":{"entity-type":"item","numeric-id":344559,"id":"Q344559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647635$6C760BE6-140B-40C6-A253-0782E19E2687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809041de86ee9cb36549c7a4467a0d3c1c42deac","datavalue":{"value":{"time":"+2024-12-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":"Q6647635$5A303527-C445-4822-BDA9-2463D05B3C7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647635$1A3CD834-1D03-4689-B2B9-C6A35BE5F1F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fa864d21d173354271c882d10fe72e66cd77749","datavalue":{"value":"7953260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647635$88B84811-DF01-46F1-B6FF-2E6EAF279473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feccf6350eff3eec8b15ea725e64af7b675da411","datavalue":{"value":"vector addition system with states","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647635$4E1BE683-A02E-4889-8CD3-EF30EE593061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647635$2AD3FF7F-ADD3-4309-8613-E482873AD151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73928782a505a6c2e37565cbe9e0101dac9c9c91","datavalue":{"value":"continuous approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647635$ABDE9EDD-94BF-42EF-B42C-9F376D224450","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":"Q6647635$5C2F1C50-2CB1-4DDA-88C8-3AD09DC19934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61edcf59f848a8fa518c810c6551e8d7b8722778","datavalue":{"value":"10.4230/LIPICS.MFCS.2023.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647635$7C086040-BF93-46E0-9951-6FF0E95E7E86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bebfb55df70a67a39b39483e90948de59f74ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d59e79a27735015353815945e9668b72b60d51","datavalue":{"value":{"amount":"+0.7963755130767822","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":"Q6647635$37A376FD-3D28-4D49-86D4-5ACE62C852DE","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":"4b232bf28db4aab2637983ca7bfd4470bc0d0683","datavalue":{"value":{"amount":"+0.7894753217697144","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":"Q6647635$D978B700-1F94-45E9-9692-A426EB0BA1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34097ca609c1ecd4ecd166a5622e1f0e6bde3616","datavalue":{"value":{"entity-type":"item","numeric-id":5144614,"id":"Q5144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e32880fcea5711ce8a1ea41fd8b452ca23f5bae","datavalue":{"value":{"amount":"+0.7846243381500244","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":"Q6647635$06783175-6D57-4D2C-98E4-EE941CD59F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaa7d93e2b76cbf8e66545ac3988e34fe50253e","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248ed1f5bf1fd26862a1a8c547f0c472e2a6a27e","datavalue":{"value":{"amount":"+0.7788814902305603","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":"Q6647635$8815887C-CD52-4B4B-BA49-B41AAEB92801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6647635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6647635"}}}}}