{"entities":{"Q2982239":{"pageid":2992964,"ns":120,"title":"Item:Q2982239","lastrevid":45203980,"modified":"2025-12-02T14:28:02Z","type":"item","id":"Q2982239","labels":{"en":{"language":"en","value":"Compositional Model Checking of Concurrent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6716386"}},"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":"Q2982239$94A14A9E-589C-41EB-898D-C7D6443BA33B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eb2aff77d94088c499178acecfbc087c8e1e6ee","datavalue":{"value":{"text":"Compositional Model Checking of Concurrent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982239$F30C4709-C480-47D2-8187-24D7527AF94F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a906ea793e2717d00af8922ee1622c250adb823","datavalue":{"value":"1360.68606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982239$7660330F-1229-4242-8DDF-4DFF0BD7E377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31e00549a016b6f45ba073d175c5b8a5933d84dd","datavalue":{"value":"10.1109/TC.2014.2329701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982239$41EA746D-6770-4EE3-8407-FEA2124554EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdc97d78bde7b82669c123dbca1290c9ed3f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":411718,"id":"Q411718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982239$F758024D-5D22-4422-BC1F-3ABED79314DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc54f481984393999c33d1174b6c893ac7b1e9e","datavalue":{"value":{"entity-type":"item","numeric-id":400540,"id":"Q400540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982239$F252ED24-04C5-4A3D-9061-9FDE9C67BF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2b4159ba3b19a937aeceb1eb595ffdca570434","datavalue":{"value":{"entity-type":"item","numeric-id":1716189,"id":"Q1716189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982239$A17A8FAC-E8CD-49A9-B3C2-1EF5426C3DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"858da51c531553452b75d2def3beba634cce8f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2982238,"id":"Q2982238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982239$783083A4-6504-409C-9BBE-1E53AA7FEC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c49a3291d8c23099ca456fea3f4e4377e7270269","datavalue":{"value":{"entity-type":"item","numeric-id":1622317,"id":"Q1622317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982239$46AB0E6F-F8D6-4740-A340-A9D6AC2D0BF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982239$A12F1DDB-8BD5-48C7-952E-FD8EB74F35A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982239$5919BCEB-A37B-43D4-8FD3-E37345DA8A02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982239$5803C352-0A55-4212-9042-CBC8613A9E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982239$3E87E9ED-86B3-4398-AC3C-C3533BA0F8AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6360f29b98db7040966fc489139c6f4bbc7c40b4","datavalue":{"value":"6716386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982239$53BE2B37-626E-4C2C-99F1-4C62A92A4E45","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aad141b53f286c6fa121f226c77dc733414fec08","datavalue":{"value":"Q59859467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982239$57BFAE3D-9DD2-4ECF-82CB-82DDD7AEFF75","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":"Q2982239$BD05677F-A129-4132-8BC7-C7583634D9AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982239"}}}}}