{"entities":{"Q6654515":{"pageid":14265672,"ns":120,"title":"Item:Q6654515","lastrevid":100192538,"modified":"2026-06-05T21:35:13Z","type":"item","id":"Q6654515","labels":{"en":{"language":"en","value":"Reachability in vector addition systems is primitive-recursive in fixed dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959722"}},"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":"Q6654515$72EBF88B-CAD0-4A08-A955-CBDDB6C862C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f7dd1888402588ac6d8472ac55b29d5a6944b81","datavalue":{"value":{"text":"Reachability in vector addition systems is primitive-recursive in fixed dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654515$64C6EFA0-9006-4420-9CFD-C8B3FCB5CB02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ff7e3ac40a1dc2c270eefd45f8cc4a10085057","datavalue":{"value":"10.5555/3470152.3470202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654515$6D7FC62E-E91B-4796-B95F-9D62C06EA1AC","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":"Q6654515$F3773309-D17A-454D-872F-EFFA3684BE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654515$BCA8074B-3F7E-4EE3-9D0D-6C65A1F887AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654515$76E005AF-1F3B-46D6-B809-0E2808049C7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654515$750530BF-5724-4AF4-8706-2EFD1E962C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ea3e16297d3abdc75977f4e21d6c8e53c680c13","datavalue":{"value":"7959722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654515$3F66C81A-297D-41FB-9AD4-F74D1AD1DA5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654515$29741F40-BBA9-4F78-B42A-9F913666EDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26985abc07bdfe39c813bdf55389b3b00d243683","datavalue":{"value":"fast-growing complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654515$33242BB5-650C-440C-9E55-850B2E93AA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654515$D64526B8-0C8F-498F-B5B5-73CF68D72B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654515$F3A9B15B-FAEB-4BAE-9808-BA6960A466A3","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":"Q6654515$4D83EEB2-0BB0-4B67-96C5-FF92D12749D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability in vector addition systems is primitive-recursive in fixed dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_in_vector_addition_systems_is_primitive-recursive_in_fixed_dimension"}}}}}