{"entities":{"Q6829948":{"pageid":15119575,"ns":120,"title":"Item:Q6829948","lastrevid":56022754,"modified":"2026-02-26T16:13:41Z","type":"item","id":"Q6829948","labels":{"en":{"language":"en","value":"Model checking parameterized asynchronous shared-memory systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715522"}},"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":"Q6829948$0064613C-9A05-4301-ADC9-F7E496204026","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"590806181b394c67d4a8dce8d479573d6f659a1c","datavalue":{"value":{"text":"Model checking parameterized asynchronous shared-memory systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6829948$FD04BDB4-85F0-4E58-8072-A7A68954A206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb4aa7f0da5bcdcdf5feca82a978929ee975574","datavalue":{"value":"1360.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$F0315939-C907-4B76-8B35-098468C5F8DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d47f7894dfdc81938efaf3a6de4a2477a3af901","datavalue":{"value":"10.1007/S10703-016-0258-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$31461BC2-64AC-48E6-B1DA-D53929E80A51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0acc414943beb072c4bab682832f63ecf09ede","datavalue":{"value":{"entity-type":"item","numeric-id":526754,"id":"Q526754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829948$1841A2AF-9B62-489A-9579-89EDF9B22D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829948$0A898630-6199-4BC3-AEE5-DB0C52B1804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829948$5ECCF3EF-7368-4802-906B-7F5F16853904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829948$984C8AAE-1D09-4117-8BF0-CF090AAE04ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6829948$FB6B1646-3174-4BBF-82A6-76BB4A8246F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edf4e654995b527c1583dd79535ae94d23c9eef6","datavalue":{"value":{"time":"+2017-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6829948$949A6A1B-1D04-4166-BAA2-C6D6119FDFD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$3AC2D531-E9F6-4EA4-8C90-9048440A101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$E9295A9A-0299-4C3D-AADE-192EC238D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$F4E244EB-28F7-44EB-9F98-0CF78BEF3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$101659AA-EE33-4629-8659-CC4FD262E003","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"087ac0cc3fcff14880e6c8ed9fd941e74ef7e777","datavalue":{"value":"6715522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6829948$43966100-30F8-48FD-B33F-08F24ADD81A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829948$A006DF89-BBA0-4F39-AC94-6D84D713C9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20613ba78315f9f788c610f009af7de876470ac3","datavalue":{"value":"shared-memory systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829948$DB505C88-0D25-4A05-B8BA-FBF723DA0583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a9ba656dae8bd66eb0066c9ba70c715856cf9b","datavalue":{"value":"parametrized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6829948$B6B19129-D8CA-4C34-BF48-56C6EE5851A4","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":"Q6829948$2A685C37-99A2-42C3-BED4-708B28B69D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking parameterized asynchronous shared-memory systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_parameterized_asynchronous_shared-memory_systems"}}}}}