{"entities":{"Q1146002":{"pageid":1156751,"ns":120,"title":"Item:Q1146002","lastrevid":66948201,"modified":"2026-04-12T13:55:05Z","type":"item","id":"Q1146002","labels":{"en":{"language":"en","value":"Vector addition systems and regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3698390"}},"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":"Q1146002$FDB1F4DE-FBE5-4B02-B4EA-9517AB7BC9EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1486fbcaafa6bf3af4c14ffb5f3fb3dc62a8001e","datavalue":{"value":{"text":"Vector addition systems and regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1146002$679FB167-1736-4941-AD5C-F0D095303A2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc06615d12f3da826e798021f4bdef56f383a50","datavalue":{"value":"0446.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146002$A2042B61-5A88-4810-994A-D98A08678C53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"565dfdb1ada9e5a13ddd477df5c8441dd98f177e","datavalue":{"value":"10.1016/0022-0000(80)90009-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146002$65E03BE9-7325-495A-9F26-29AA1B86C6EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146002$B91E8625-15A6-446C-B93E-7AF5B615286A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1146002$C227D31C-3401-4E90-B4D3-79A7C9BF9CAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146002$F3B63770-845F-4E9A-9265-859B5856379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146002$D664D6D0-A3A6-4F5C-B669-DB8D31509CAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c811dad15628f7119444973a6c844b12ce2e181e","datavalue":{"value":"3698390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146002$75298669-8647-401C-8F4A-ADC8A23DABC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146002$E8DD15D7-04CE-4AD6-9053-50423FBE135C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146002$8F16C5A4-AE45-43A4-BC34-0C5358406019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146002$A9F3AFFC-406B-41FB-8BC5-75848FDFC49F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f09adb332060c1fcb9391b0825ee88e49df18b07","datavalue":{"value":{"entity-type":"item","numeric-id":2538133,"id":"Q2538133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146002$923298BC-05FD-4A67-BA63-0E6D7EF78790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88126cafecda5deaed950c422421314c1b937b3e","datavalue":{"value":{"entity-type":"item","numeric-id":1050113,"id":"Q1050113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146002$0D7A1394-0F6F-4E8E-AA38-AB920AB51D0E","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":"Q1146002$92A91985-8ACE-42FD-809D-A392363C5CA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b77f1bbdaa06dd6c1e53e461fe09687fe21ab57","datavalue":{"value":"https://doi.org/10.1016/0022-0000(80)90009-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1146002$917FF14C-CF1A-47DB-A299-A94D7124FE33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"007901c5c9466d86b75aba40aa27d2f90097f886","datavalue":{"value":"W2089970856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146002$E93125E6-7AD0-4FB2-9487-D96608E10115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146002$837C2AE5-AA65-4C4B-8F95-057D4D9F2D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146002$D49626BD-9D8E-4945-9A4F-1CB293FBD432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5685605436f8d6f2400d91a1398bb61957448806","datavalue":{"value":{"entity-type":"item","numeric-id":4144807,"id":"Q4144807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146002$601A5D48-DD5D-4F3E-A523-F94F5C6D8D29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vector addition systems and regular languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vector_addition_systems_and_regular_languages"}}}}}