{"entities":{"Q6967339":{"pageid":21307098,"ns":120,"title":"Item:Q6967339","lastrevid":84054290,"modified":"2026-05-08T22:52:39Z","type":"item","id":"Q6967339","labels":{"en":{"language":"en","value":"Monus semantics in vector addition systems with states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056627"}},"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":"Q6967339$C19E8068-609C-4B51-B1FA-239022B83136","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d9edfc80c6e9e678f2d2599dc28fbf596ebd4c","datavalue":{"value":{"text":"Monus semantics in vector addition systems with states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967339$7707AA23-6FE7-414F-BC1A-FE52139796F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f39ad4767fb74870d05e928e918e36bf052265e8","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967339$FEBE9B28-B507-4729-81B5-D4A14839C43B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb75d309cc5a8735b9305cec5986873617c0952d","datavalue":{"value":{"entity-type":"item","numeric-id":6091194,"id":"Q6091194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$DFC35117-DBF6-4A7D-B41E-44C5FB4C2722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8d02654dd6fd12b02af35b830cd4db0721ab87","datavalue":{"value":{"entity-type":"item","numeric-id":6875035,"id":"Q6875035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$ED63B918-4A48-4ED1-9B92-A2C82AAE2A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$4BB3EECF-7781-450E-A8DD-516471C23B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$600155C9-EB79-423D-86B9-EDCFCD15CF8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967339$AA0BDC4B-9DAB-4878-A5EB-3F29406DD2A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967339$2AE7FF33-B5C0-41FF-8F58-A3D1F63E17F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"057f89601c4a3927afd758beb10cacb074927761","datavalue":{"value":"8056627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967339$027BB069-12D6-4B0A-90C9-96F9B23D099A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$F4ADFF68-DFEE-41CF-AB31-8B8E8F60CFAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967339$94D296C7-E397-4F60-BEFA-6ECD54CCE45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73379dd69806eb4024c6ae5d6e12ac8005459a0f","datavalue":{"value":"overapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967339$C7CF745C-B49F-4EDA-A2A3-E4E91EE9B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967339$990CF3D9-23EC-4C4D-BEA2-CE071D9203A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967339$E7FAAB5D-3281-4178-A38A-3A5E826A8FE2","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":"Q6967339$DAC5923B-6821-4E90-8CD2-C8011B42FEED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc1c26ec7c55c43dc5dca1d26e2a1ad79d0d7f5","datavalue":{"value":{"entity-type":"item","numeric-id":5089305,"id":"Q5089305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$4BF2E8A9-33AA-4D25-890C-9CEE73D261E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1e11540c8577644641fab107927c871a396566","datavalue":{"value":{"entity-type":"item","numeric-id":6615108,"id":"Q6615108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$0B6A3FFA-B71E-4E61-82ED-10CF6A3E90DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce0bfb28b6a65ac23046938e26c6bc2dcb461e","datavalue":{"value":{"entity-type":"item","numeric-id":5056423,"id":"Q5056423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$14123F39-5004-4D07-8875-57AC946601D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c3339795f8692a2950cf315ba874fa9b60e431","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$D13E02AA-86C9-4E1F-AF0B-9A163EB091CB","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":"Q6967339$43C8C38B-95DB-4989-9B8B-812956CAC0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4addb68d2ee1874392d331e3d17ce4854d0acf34","datavalue":{"value":{"entity-type":"item","numeric-id":5089315,"id":"Q5089315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$B7346E3B-4495-4D12-9D3B-5316D8B31E50","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":"Q6967339$660549E8-4B2A-45CA-926E-92DCF5CC6946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110008ab5551b67ad9dd4bf0e6ed3db539bf55d9","datavalue":{"value":{"entity-type":"item","numeric-id":6649473,"id":"Q6649473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$4E13CF81-1DDF-4BFE-8D53-67FF7AF13579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b18d4fc60a70c27ea7b62beac0a6f5c90f6df2","datavalue":{"value":{"entity-type":"item","numeric-id":1936244,"id":"Q1936244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$0498ADCE-D875-45FE-B94E-D08C54796809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$97BC6059-9EAD-4CA7-AFE7-AAA9BFB2FB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13906032b8d2b8ab027bbf94fdc97c05d0b2cdab","datavalue":{"value":{"entity-type":"item","numeric-id":2656343,"id":"Q2656343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$8B003E11-F748-4910-A98A-39BC5D939B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$5EE582D8-0F14-4157-AE7C-7CB603CC4DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15829e9d12c1ae3d0647f723aaf878c118e2bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5327435,"id":"Q5327435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$3E95CC3C-B166-4133-9D7D-90FD07AF3565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ea90137e7a6ebf5cae03c80f9e832796cfc4e2","datavalue":{"value":{"entity-type":"item","numeric-id":5111451,"id":"Q5111451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$5874D8A5-AF4C-462D-BCD7-95509C0842B3","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":"Q6967339$12144359-4888-47D7-93BF-1110070B4840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92499ce5377bd41bd1ca0e248f8f34679dacc4c9","datavalue":{"value":{"entity-type":"item","numeric-id":2805416,"id":"Q2805416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$961DEE1C-7A1A-4381-9958-AA5F7B6D46AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd09d074535b4a6d94b2860a1b810a198df305e","datavalue":{"value":{"entity-type":"item","numeric-id":6560926,"id":"Q6560926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$31E5A9FD-88B4-48FE-9073-C5AD691E34F6","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":"Q6967339$760791D4-8D1B-4503-8318-BDBBBD3342ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14ea1b9176fa0b98a12ab2a36caa6bd0d72a33f","datavalue":{"value":{"entity-type":"item","numeric-id":4598246,"id":"Q4598246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$5BADDEEE-DDF0-4B60-BF77-46D9BCB2EFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$AB010864-3861-4BD3-A879-7C4082523D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32ee7f2e9be5b0e3c57ffaaa158a5e7f3d5bff","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$684591EF-E443-4717-90DB-EA23A37437A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$DB7B66E7-888C-4226-88AD-E73FC6CB7CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$DE0E30E6-1F1E-484A-89F3-9E19ED0EFEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c57844959676d86620243a837fa01866a5a1f7","datavalue":{"value":{"entity-type":"item","numeric-id":5246714,"id":"Q5246714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$2475B174-71C9-4AC0-95C3-64FCEB439DFE","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":"Q6967339$DFEE6D95-1F8B-4893-9064-C48B9D5B8D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$FB90B6A3-85AB-4BB4-B953-2A136843A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac9420b66a235ded1f76e51ace6c78b567dc343","datavalue":{"value":{"entity-type":"item","numeric-id":5089304,"id":"Q5089304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$4E5786A5-62E8-4C9A-AEBF-5CB7103A2E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3be818606f1407ea3f09559189b5d37bf28a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$714278B3-EBF0-4152-BF4A-C3CFAD47CBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ef874a4f2800b9f23fa8e0231b5854bbae4e12","datavalue":{"value":{"entity-type":"item","numeric-id":6091190,"id":"Q6091190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$8379A1AB-28BF-4615-A395-0CC8B2DDB4F1","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":"Q6967339$CEAB303C-E757-4F33-A3BB-94BFFDBC518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969b23c15bda365fef0dcb143b85f2f64b2e439b","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$B6B006B4-B2FF-48D8-A69C-A4863E31130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$F3691945-A045-4716-B735-81918AD93B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19c862859a6db50ac11d3c418fc63e4038767d5","datavalue":{"value":{"entity-type":"item","numeric-id":6485727,"id":"Q6485727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967339$5F2A6A01-40AB-44E3-9F40-47F3FA181C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monus semantics in vector addition systems with states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monus_semantics_in_vector_addition_systems_with_states"}}}}}