{"entities":{"Q6560914":{"pageid":14172069,"ns":120,"title":"Item:Q6560914","lastrevid":99881489,"modified":"2026-06-05T20:55:14Z","type":"item","id":"Q6560914","labels":{"en":{"language":"en","value":"Parameterized safety verification of round-based shared-memory systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870323"}},"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":"Q6560914$B813F3BF-4435-43FD-86B1-06AF7BF3B09B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ed67da36cb68b80590ab2492b8e75119be4cd59","datavalue":{"value":{"text":"Parameterized safety verification of round-based shared-memory systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560914$B1834B68-62F2-41DA-A60E-86420366B861","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560914$C7A86A3A-4899-40EF-81F7-FE5517D925FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560914$0C2466EB-38EC-4540-B240-EAEA0177439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560914$57231C1C-39C0-4F63-AA53-CF2C3E5147DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af81927012707709905d2470d7b3c3b59a24be8","datavalue":{"value":{"entity-type":"item","numeric-id":6560913,"id":"Q6560913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560914$25334C3A-40C8-4B9E-995D-85760AB2C1E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560914$291DB79B-0D3C-481C-AB7C-5B8BFC6F6E8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560914$BFA3785E-8154-4178-A039-D55DAD4CF44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560914$557D35C9-72E0-44B6-9010-BF9D768B7668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c8d993603e305221faf3771be0f7a676cb6f534","datavalue":{"value":"7870323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560914$B7FC1C6A-0FFE-4441-8026-36FB5C9F22A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560914$7B9D6B5F-97DC-4A18-8C92-4329980823EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ab1914d3026f67b612284d49cf28e0147e2d22","datavalue":{"value":"parameterized models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560914$A56D29E5-1F90-4B9F-84AE-8FAFABEA0A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560914$4B5AC904-9EDC-4035-BF4A-3D2A3469EC88","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":"Q6560914$9C33F581-568C-4A35-A7B1-4875E8A52AB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86af678bb4820de1caf65a3ed894ff84907a6dca","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560914$D6FC8792-145E-4849-AAF6-484A0B9E9E2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized safety verification of round-based shared-memory systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_safety_verification_of_round-based_shared-memory_systems"}}}}}