{"entities":{"Q6967348":{"pageid":21307152,"ns":120,"title":"Item:Q6967348","lastrevid":76157403,"modified":"2026-04-23T01:21:18Z","type":"item","id":"Q6967348","labels":{"en":{"language":"en","value":"On verifying concurrent programs under weakly consistent models (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056619"}},"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":"Q6967348$D09560F1-117B-4213-816E-BB1955ABA6DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f1231eb6b4a9c0acbe613c253504802a643b412","datavalue":{"value":{"text":"On verifying concurrent programs under weakly consistent models (invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967348$C525695C-7C7C-49EE-A62F-8DEC2B1F23EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b25960b32cbd16e131e3791956a64f7c0913f1c","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967348$CD280180-E576-4A36-952F-D79C5BC5920C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967348$F9B701E1-1C7B-4958-A758-CAA7F532ACB0","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":"Q6967348$2FCC6AFE-0221-4E1B-A0AE-61F42586BE14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967348$B9F84FE0-82E0-4EB1-BBFE-BCC45C96E353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3d82d6d0383889dd8c2d7e1cad1cc8c5adb4836","datavalue":{"value":"8056619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967348$47E9AE13-BCB6-456B-B04B-1E935A7CBE1E","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":"Q6967348$25343D92-2C94-460B-90D1-F04D921509CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967348$5F19B76D-19DB-4FE5-A3F0-289D31ECB1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d944058e0cf78e8a5e4ca40bfa258ae8ea303891","datavalue":{"value":"weakly consistent models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967348$666CA733-E276-4433-8994-329E4426A29A","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":"Q6967348$D441B641-87A6-411A-8AE8-57788F0A3CD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On verifying concurrent programs under weakly consistent models (invited talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_verifying_concurrent_programs_under_weakly_consistent_models_(invited_talk)"}}}}}