{"entities":{"Q5089303":{"pageid":7118879,"ns":120,"title":"Item:Q5089303","lastrevid":39527784,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089303","labels":{"en":{"language":"en","value":"Universality Problem for Unambiguous VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559492"}},"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":"Q5089303$68887EB7-D73D-4B4C-9EDA-F2879504EA80","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":"Q5089303$4A679F52-2008-4028-A2A5-7B005E33A9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c0e46338d9cf33563ae57333053dcfe22df5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":905681,"id":"Q905681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$432A0ACA-99A5-477A-BDA0-8841B582CD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$FD32E245-7A7F-4CEE-BE13-13B41C2932C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089303$6EE558DB-512B-4820-9524-2264A0684E2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"205f15cb00626698e74348673fba52c1ddea969d","datavalue":{"value":"https://arxiv.org/abs/2007.10907","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089303$FCAB1AB5-B5DF-4D7C-AACD-263A7562A0A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089303$FE357CC0-6269-41A7-BE9C-F9EBAC3CDFF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b80147f737256bd9c493edc7f52dbd54bde24838","datavalue":{"value":"7559492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089303$9DCF49AE-F229-4B25-A1CC-ACFD056D5ABF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43c2b5402f1eb67fc2be77f01afa1873faef8bc","datavalue":{"value":"unambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089303$6840A6C3-53F0-4D7E-ABBA-304572DB8B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089303$43D1E791-9DA3-46BA-870A-D28B6AB4CB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63953f603b3782c8281ea888799054e6d8acb5bf","datavalue":{"value":"universality problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089303$34FEE4D0-A118-49B3-8F6B-7245F3AF2C0C","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":"Q5089303$E665FEFA-6359-4A02-9D8D-310B37DFA0E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4904dc70de55fa7f56b5a2d7d9209dbf71934","datavalue":{"value":{"entity-type":"item","numeric-id":5500675,"id":"Q5500675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$DB0A48DB-4FC6-43D4-A8E1-DF6832582FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f525e4c279ed1c59a7967087d92701ef26b0157","datavalue":{"value":{"entity-type":"item","numeric-id":5009453,"id":"Q5009453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$BFF3F7F4-5BE8-402B-9D48-0140416743D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$CB8682EB-7F2E-448C-A506-C1FB5E831FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2557de950871aba3cd786a2779ef86703e6c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$E7E0DF61-DA1B-4347-A668-9BFADFCDF12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71201bdd8355843fc4084260142cbe201a2f83c1","datavalue":{"value":{"entity-type":"item","numeric-id":3447702,"id":"Q3447702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$172BD5F3-04A1-4B4D-A88C-5383F0C72DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8795567736b282508a429ed713f0cc5b3f2a804a","datavalue":{"value":{"entity-type":"item","numeric-id":1970202,"id":"Q1970202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$64C12645-E990-4DCE-94A3-0FB4E18DB802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$1A8C1183-C407-4C85-9F9D-60BE2378C3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19acb96ef1ad0ba9c8292d27d46a972e7c2cb112","datavalue":{"value":{"entity-type":"item","numeric-id":5090504,"id":"Q5090504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$236331CC-BC6A-41B3-8058-A74B18ACC28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$C8381393-E698-4E5D-8324-18B928D94DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$272868CD-206D-42D7-B75E-007FFC3E8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ff84cb39979c4c853f3ee6cfc667a5f07b8b68","datavalue":{"value":{"entity-type":"item","numeric-id":5002825,"id":"Q5002825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$ABDC5D37-BDB5-4269-8458-3157D34BC799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$5DFA9E52-F4E9-4D33-A377-353AC9141000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa22c2a09da29028b32fbdec6997075843df5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$DE362433-DCEE-4EEA-B0D5-2D72E62CB827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adeb3ab2fa0a8f5e1199c627d68aa001ae9b1be","datavalue":{"value":{"entity-type":"item","numeric-id":1351166,"id":"Q1351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089303$147CB84B-BECF-476D-9B97-C32360ED5799","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5120dda17cfe09de52ac0f7465d57faf49da7ca8","datavalue":{"value":"W3007472440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089303$667F7359-6AA8-4B96-9313-DBCF62DA740D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31bac0f557bedbb3587bee1bee54b24baad3acf3","datavalue":{"value":{"text":"Universality Problem for Unambiguous VASS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089303$C7B5056E-08DE-4F62-BC77-6913023DF1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3282a130a70970fec0c4c846fe0bcd191769556e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089303$19A074D9-3EED-4745-B61D-776AE52E65D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089303"}}}}}