{"entities":{"Q5145646":{"pageid":7175217,"ns":120,"title":"Item:Q5145646","lastrevid":32327309,"modified":"2024-03-19T22:10:35Z","type":"item","id":"Q5145646","labels":{"en":{"language":"en","value":"An Approach to Regular Separability in Vector Addition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299480"}},"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":"Q5145646$E982CA24-0DB0-408A-933D-889100744090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3be9f24b9ffe8587fa8590a35d3ea2378adae06","datavalue":{"value":{"text":"An Approach to Regular Separability in Vector Addition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145646$1A7697A2-7B09-4841-8BAC-998D3BC24EAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e74872101d4e3d9b2da1d6907e765bbc75c0e975","datavalue":{"value":"10.1145/3373718.3394776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145646$B54D8DCF-03E0-4E50-BDC1-CF7E9A4B8B63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145646$A0B980E4-B4B9-4C12-9D7F-072BAF90D54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145646$DF82EE83-70C6-4FA2-8E3A-7B5CE7623C0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145646$EC7B1304-7855-4BF5-AE21-B34FB92161BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145646$5258F05E-5A89-4285-A945-A48454DABF81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23740f73f204da3745b5c165ed677f2d4b77b138","datavalue":{"value":"https://arxiv.org/abs/2007.00111","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145646$7D1AE8C6-C2E7-4CA2-82ED-3C9850D2E5FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145646$F0FF4F0F-F39B-45A1-8440-959693637CD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d4af4d1598e693e0fa5bad595cd6895bbd45c19","datavalue":{"value":"7299480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145646$1792B4BE-65E4-4DE8-91CB-7C35FB345057","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145646$91FD8A6E-873D-4F2F-A648-E40E241159EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb8ba86b7e149466c52dfc8edbad39e27fabb39","datavalue":{"value":"separability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145646$6285A68C-62E0-4FE4-96E8-FCB0660F7A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145646$D650F90E-4796-4734-ADF1-8E54210EEE5B","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":"Q5145646$185A7E2A-094E-4AA9-B37F-580D57667265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6a9ffb8242e498eca7c21a0bb49c6a3ba95494d","datavalue":{"value":"W3032460468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145646$323DB8E9-5C26-423F-84EE-BAD4A8615C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145646"}}}}}