{"entities":{"Q2842102":{"pageid":2852822,"ns":120,"title":"Item:Q2842102","lastrevid":44701896,"modified":"2025-11-25T06:36:48Z","type":"item","id":"Q2842102","labels":{"en":{"language":"en","value":"A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197897"}},"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":"Q2842102$8E624C82-A191-4117-94E2-9FEC8A2CF64E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb77b7229d54c3506895ad1407e0bd146ada1fb2","datavalue":{"value":{"text":"A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842102$1643FA49-B384-4CF2-882A-477AB90D748C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d8593709b3330dd89b5bd8363584fd526efe4b7","datavalue":{"value":"1390.68478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842102$29E39D7A-F46C-4A3F-84DC-242567EC69B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c7899e7416b5d88a341c6e7bcf0ba28f98bac26","datavalue":{"value":"10.1007/978-3-642-40184-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842102$4A1AC084-C243-4536-B3DA-C12766DD3250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842102$3971DBA0-6A35-4E5E-9A17-5C0DC000B2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842102$AEBC6C50-CE1F-45C7-BE5E-CFF290D72FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842102$A4151678-61A1-4339-985A-51A3C865B6BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842102$FF64DBB5-822C-4D44-AFB9-893DFB605FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842102$E98B58A7-40CE-4D8F-B723-38005B8BAA0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842102$E36D1D88-A0CE-4C9A-9818-A59AD187C187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842102$C692B133-2B60-4DC2-9971-D7901E286C21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa6deb670e41fe21abf6a975745af7a38aa9b09c","datavalue":{"value":"6197897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842102$647D7C7A-081A-49E9-8810-606FC00A6DC3","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":"Q2842102$47CA5C25-5D60-4F22-B8D8-EDFEB1328095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23344fb3236505df3b24b8d994fdf76b5cdc2d01","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40184-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842102$F2C0DBAD-7989-4037-B83B-49198671EA55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c49b319281e7d81722987bf14350eeab96da0de4","datavalue":{"value":"W1876494617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842102$4C5A72B3-5790-4BA5-93FD-8FEA9F474D76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa30a2a4bb3189fb2183bd4445a40470137fa36","datavalue":{"value":{"entity-type":"item","numeric-id":5271039,"id":"Q5271039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a4116bb5b7f3ef97497edcc29a53d67106b456","datavalue":{"value":{"amount":"+0.89723194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$78A0D76C-5C8D-472D-8C2E-048E05156C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85900af17ad3ed8ce6e8d6f037ea4f5a92ef0bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1193880,"id":"Q1193880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3be2aea285dc26ff52b5e5466b1c7b243edcf5","datavalue":{"value":{"amount":"+0.86937964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$2CCEEAC8-0EB6-4245-BB57-6AA2EE005048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9301864a61be7dff3378ca2289d4ff703065419d","datavalue":{"value":{"entity-type":"item","numeric-id":3584966,"id":"Q3584966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01880571a2ad9dc8a49c729e9d6d8880ba10fbba","datavalue":{"value":{"amount":"+0.8658473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$BB7EEC77-66A5-4A69-8392-CB3FF3B63ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bf6c3dc9d7dfe10dfd2b53cad9397de8b331fa","datavalue":{"value":{"entity-type":"item","numeric-id":4411821,"id":"Q4411821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9414e72a47262c93425429ae9d27dacf6837cf","datavalue":{"value":{"amount":"+0.86206496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$09401466-D222-4191-9DBB-9FA98EB50531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c315bce74e8399ceadc368b7528cc44b0d829c0","datavalue":{"value":{"entity-type":"item","numeric-id":3820015,"id":"Q3820015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e90330d33b1bc0378eb26a7f6dc0e5d60369c70","datavalue":{"value":{"amount":"+0.8594972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$A23DA328-415F-40B7-B255-0A5EB9BD2EFA","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":"09ced61065cccb363bde4a9b345e0c00ba44f656","datavalue":{"value":{"amount":"+0.85216415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$0946E603-0D9F-4D1D-AF22-A3F0045D7719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fb9c9b4f493cf44e82ea63d1bbc0bc72dc42e9","datavalue":{"value":{"entity-type":"item","numeric-id":2786139,"id":"Q2786139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe712c6288302f970eb01e751b28b2d56c9927b","datavalue":{"value":{"amount":"+0.8518391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$931C9708-D934-46BF-86E4-92A0C5206993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32420d6e9720742a9639e589f237608e21268742","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dee6baec5630a63e33e65186900543f06009a18","datavalue":{"value":{"amount":"+0.8481187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$DBB50884-5D9C-409A-B556-3439735508C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb821893f6f7ad97bf00b2af28c18a527dcb046e","datavalue":{"value":{"entity-type":"item","numeric-id":2873790,"id":"Q2873790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f812c43b0f61f56c974ca27193fc039cd6db90","datavalue":{"value":{"amount":"+0.8479411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$9C3C37C0-F683-4DAF-8511-A82EB65D0E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4a0e8b1f0a8f287c0593ce85c9d6611e9e12f8","datavalue":{"value":{"entity-type":"item","numeric-id":2893298,"id":"Q2893298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dc1dbc7c828e7d8558601ad02ec370825dd124","datavalue":{"value":{"amount":"+0.8464044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842102$DCC1EEC4-CA19-44D0-A94B-6A209DE11EFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842102"}}}}}