{"entities":{"Q1216050":{"pageid":1226799,"ns":120,"title":"Item:Q1216050","lastrevid":66485334,"modified":"2026-04-12T10:23:19Z","type":"item","id":"Q1216050","labels":{"en":{"language":"en","value":"A decidability theorem for a class of vector-addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3473320"}},"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":"Q1216050$462A1F8B-38E1-44BE-BA13-A8AB246C899B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf6e4e8233605a3b39549cf6e248943f2ffe4e70","datavalue":{"value":{"text":"A decidability theorem for a class of vector-addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1216050$143DBCF2-94AB-4C3A-B976-ADED771C5169","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59837d1b2914bd6e41d22f03ea7d96699b91c2ed","datavalue":{"value":"0302.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$5CC7FA21-3724-4C0C-94FE-C60E68B79746","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f79ee3eb0c6e6f8032e07c3529bd5427ed367ec9","datavalue":{"value":"10.1016/0020-0190(75)90020-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$CEB7A862-F1B9-403C-85B5-7E14984BB548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216050$D60A478C-28DD-4774-9F07-6F3AA7C93B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216050$E198137A-0EA5-4C8B-AE09-5655B440597A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q1216050$110F3308-72FB-4495-BF77-0A6E30689FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$75B97839-99C1-4040-9E6E-680BDF7B541D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$B0B5535A-3350-436C-A980-D988DF6CC473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$0625C059-AE6D-4BB2-B790-B6F791F0ECAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30d5bf715b880cfdb27f627ae49699622afbb6a3","datavalue":{"value":"3473320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$C364AC35-04CE-4251-9627-A5D412173FEE","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":"Q1216050$C940282E-7BE5-4086-BB97-08FF64B6AF28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e933d1c4771f1a2273a67e82cf90e988729c6957","datavalue":{"value":"https://doi.org/10.1016/0020-0190(75)90020-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1216050$DE49ABD1-9D6D-47C8-A155-67A13D93E5B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b369de39caa80977118d1f77c7ca46b7c387589","datavalue":{"value":"W1970896297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216050$B3F2C191-936F-4106-8FDB-705C4116F5E1","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":"Q1216050$D8DA7C50-F422-4601-9EF9-0D9FE552FBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3a0214b66c052a99b3ec3bbb298155285ba404","datavalue":{"value":{"entity-type":"item","numeric-id":4125805,"id":"Q4125805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216050$1563F4D8-EBBA-43DB-8508-5A24DCF7330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216050$6FFE7A08-C8E1-44B4-BC40-5D0F6B9C85F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216050$6A956D4F-AD73-47BB-B005-01180E34720A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidability theorem for a class of vector-addition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidability_theorem_for_a_class_of_vector-addition_systems"}}}}}