{"entities":{"Q5145672":{"pageid":7175243,"ns":120,"title":"Item:Q5145672","lastrevid":38847557,"modified":"2024-12-16T19:50:26Z","type":"item","id":"Q5145672","labels":{"en":{"language":"en","value":"Efficient Analysis of VASS Termination Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299504"}},"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":"Q5145672$37368CDB-C995-468A-AB69-5D1446575428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615720764f044304e5e3813ea8aca287c38d54e0","datavalue":{"value":{"text":"Efficient Analysis of VASS Termination Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145672$BDFEBDFB-96F8-47CE-86CC-F2DCC53B259B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25edc2dc208df812a024b4d0a65f01a08143e902","datavalue":{"value":"10.1145/3373718.3394751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145672$55ED6AB2-D5D8-4F8A-93E7-D72BD86DFE9C","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":"Q5145672$82B8FD30-7EC8-4206-BD9F-F1D5E0B4568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e370b2c4aacedd71c74624dacbee19835d314594","datavalue":{"value":{"entity-type":"item","numeric-id":3297605,"id":"Q3297605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145672$F5910855-9494-49A2-8780-EE840143DBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145672$0A114670-10B2-46AE-B866-8ECA3B366EAE","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":"Q5145672$F09ED4D1-A57C-4594-92AE-C18A605D923E","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":"Q5145672$46D4E417-0FAF-4B43-AF01-083C0C3F9C68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145672$F72E419E-F126-47B2-B8E7-E5E8AD1AD257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"373bcfee9b7e7c5c751cb6f7a6212911c728afaf","datavalue":{"value":"7299504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145672$EFE52774-3980-4F2C-B331-E81B56E14611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145672$E0D14D3E-BFA4-47B9-8B91-6287F1B7CEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145672$1CC185EA-5F49-4CCE-9C8B-366C93CA252A","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":"Q5145672$C18827DE-FC7B-4B45-91E2-CD2A1A4838DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b13d4b05d78c93cf1722cf1789ed39e6883e9770","datavalue":{"value":"https://doi.org/10.1145/3373718.3394751","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145672$2CBFEF38-037F-4927-9806-BD7EBB877C25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"314264d47cf7e4679069d3eaa2679488aef7faba","datavalue":{"value":"W3029036723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145672$89C8AC0E-CCE7-4AA4-8800-4753DB14AC39","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"51b9554b9e7eb0874911598cb2f6171c690cbe88","datavalue":{"value":"Q130952967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145672$E96FDE26-644A-45B9-A125-A7E1245BF1D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145672"}}}}}