{"entities":{"Q6970276":{"pageid":21324720,"ns":120,"title":"Item:Q6970276","lastrevid":84048200,"modified":"2026-05-08T19:26:48Z","type":"item","id":"Q6970276","labels":{"en":{"language":"en","value":"Decidability and complexity of decision problems for affine continuous vass"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053982"}},"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":"Q6970276$42865B06-83DA-453A-9E57-2374A03C9945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae80ec786db951d0eedc1674a43f4be11a7ebe49","datavalue":{"value":{"text":"Decidability and complexity of decision problems for affine continuous vass","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970276$ABAA4880-C370-456A-991D-E2C7956FFC05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a675fd87d56bdc096d88a227c3e549bfff69d99","datavalue":{"value":"1573.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970276$8C21F3EC-FD90-4818-86E5-2652C6AAA944","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97258bfd16162959479bc734adb990bcf8aeeb71","datavalue":{"value":"10.1145/3661814.3662124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970276$E15FC051-3CE9-4E41-886E-EC1852CF355B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92c7ad12e08531ed2138061fc0cd8aeacb05c4ae","datavalue":{"value":{"entity-type":"item","numeric-id":2029597,"id":"Q2029597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$BB362CA0-47B4-49A1-AD89-F60416C07251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-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":"Q6970276$C44D5552-2181-41D1-A4AB-F356FD006005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970276$F6494018-7A18-438B-B018-E375F484EE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970276$DAE821A0-AD0B-4D00-817D-FF01DA3F281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970276$3B98F1C4-DA27-4278-9575-43F12220FDE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3297ac5ad114ff9f670b9ccfdd975b50c52da499","datavalue":{"value":"8053982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970276$E144A9C9-2B86-4535-B060-8BBCB3839FC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970276$C9A0DA0F-0EB9-47C0-BA61-B1D16BDDD708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970276$617335FE-BDBD-4FA4-B56D-294968FF1073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970276$643D4AC0-4CC8-4B09-BF69-219E8C6AB945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970276$69E99E44-D883-4B4B-B9D2-FA175EE45133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970276$A0233317-49B0-48A9-A0FA-0118B6270909","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":"Q6970276$BB523010-2DC7-4D51-B299-F2A6FC99A60C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"927cc3794248b5ce58a21a739a3ff157ea6741dd","datavalue":{"value":{"entity-type":"item","numeric-id":6076175,"id":"Q6076175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$1FC26F59-5C3F-4731-9917-ADE404CB9C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127d44ea8d2a73e0d6e999c3d45a2d9e11625835","datavalue":{"value":{"entity-type":"item","numeric-id":5369247,"id":"Q5369247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$C51920AD-0841-4424-8DB1-D56A922B62BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693235670f9144dd7d54322aa116a9717dfe40a7","datavalue":{"value":{"entity-type":"item","numeric-id":5144614,"id":"Q5144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$5E3449C7-011C-4309-AAC8-EC89CDA2866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8bd03f3b71228325a1fbf7d1a3bdf68ccf5df7","datavalue":{"value":{"entity-type":"item","numeric-id":5155662,"id":"Q5155662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$7CFE64FD-394F-45C8-ACA5-40924C040BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1be6849f96f7ca7876855e35c705d38615a9e1","datavalue":{"value":{"entity-type":"item","numeric-id":2233488,"id":"Q2233488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$CD3B1198-083D-4834-9D75-F4F173062336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9efe820bd7426a6066b5cd5b055098fd676fa3b","datavalue":{"value":{"entity-type":"item","numeric-id":6487345,"id":"Q6487345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$7BFB40B3-6D21-4840-B452-46C29AF0DED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e90db64e13c66e4deb73a000f60ad4e46663555","datavalue":{"value":{"entity-type":"item","numeric-id":5155664,"id":"Q5155664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$6BFF2CEC-51EE-4B6C-ABB7-DEFC4ECC5023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$FB96DFBB-3E21-4729-B196-A6F6505DE12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$63346D13-B425-47C9-B6D0-710E1B1F79CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61277ed646dad81075628dca476438c05abb23e7","datavalue":{"value":{"entity-type":"item","numeric-id":523133,"id":"Q523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$5B2554FA-65A5-4FD0-A7D9-426490F28039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$BC22C65A-814C-4609-8117-1A69A1FC9F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$2001153C-2ABE-487D-A27C-82C6F8A656FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9f162f4a85a97b1a291ab01415512c0c6cffca","datavalue":{"value":{"entity-type":"item","numeric-id":5326327,"id":"Q5326327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$61D34521-7EBF-49E1-A8F8-EDE73EA6EE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$F748DA7A-C161-463F-94B4-59E35A20C8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc06b87bb4c751386a813c26b4608cd3699937bc","datavalue":{"value":{"entity-type":"item","numeric-id":6154875,"id":"Q6154875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$D1C33E4B-9466-4C54-B55E-FD6693A02288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfce0c06de5645e33e81141a9d32398ea1f4d485","datavalue":{"value":{"entity-type":"item","numeric-id":1063589,"id":"Q1063589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970276$A3AF5A97-C008-4C6F-B467-47550202C709","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and complexity of decision problems for affine continuous vass","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_complexity_of_decision_problems_for_affine_continuous_vass"}}}}}