{"entities":{"Q6975890":{"pageid":21358386,"ns":120,"title":"Item:Q6975890","lastrevid":84036797,"modified":"2026-05-08T12:20:14Z","type":"item","id":"Q6975890","labels":{"en":{"language":"en","value":"Model checking of distributed algorithms using synchronous programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8048743"}},"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":"Q6975890$310DF0CA-0500-403F-9376-BE25339F0F74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b26fc390ae8a712d29f62d667a5bd905417611eb","datavalue":{"value":{"text":"Model checking of distributed algorithms using synchronous programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6975890$D5404038-DB91-4BD5-995F-695D8510E34D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cc3d6c5f287443d27d1be09295e68cec6e706e6","datavalue":{"value":"1566.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6975890$AB7277B1-0D9B-4D6F-886D-22C1CA34F463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da9dcfbade23b63446719ae3b0f80da8e38634fc","datavalue":{"value":"10.1016/J.TCS.2025.115292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6975890$450B961F-58BD-4670-92F8-9CF05B4FC594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca36f7ede1dd4e63a4e3133ee5a43dc7198b18f","datavalue":{"value":{"entity-type":"item","numeric-id":3365274,"id":"Q3365274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$5462B1C8-C43B-42A4-A1C4-AC4C4C3FA93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dabb689be3cc455266b71aeecf4d24857d7c393","datavalue":{"value":{"entity-type":"item","numeric-id":346785,"id":"Q346785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$9AB557A7-E320-4477-B9E7-14740C6024E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f11bb3eae6c68f7dd15917be5bab940545481c","datavalue":{"value":{"entity-type":"item","numeric-id":264566,"id":"Q264566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$37239855-6758-4525-8F94-491816087382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0b226ee892ca55fdf51f34842d011d99fffd01","datavalue":{"value":{"entity-type":"item","numeric-id":6975889,"id":"Q6975889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$01F3D61B-D1A1-423C-AD09-0FBBD0FAB22F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$BBEC59A2-91FC-44F1-863C-720789ECC8FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d287cb8d96589c2cc587d8d419d31e18e77b38","datavalue":{"value":{"time":"+2025-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6975890$87EBC974-8DC3-4BC4-A140-53E24D94F77C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6975890$636CFB90-4BD8-43A3-A075-EAD3E7B5D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6975890$36EBAC2A-7CDB-4B6D-8AC2-CEC471395386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6975890$B6FC1C69-541B-4BE9-9495-73C8BA3D6115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f01350fea336c25f715841202a3d4f6073cb1b4","datavalue":{"value":"8048743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6975890$6AF2A0FC-7880-44FE-B4F2-6982220E57E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6975890$C5E279F4-8198-4AB4-8DE7-B06F3C650278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc2fb6009e792a6ba5e7250b92a32bd00b207fa","datavalue":{"value":"synchronous programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6975890$F6449F15-9823-47E9-8040-151F1FB99E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6975890$D8400D5C-518A-4679-B286-50755A9781C3","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":"Q6975890$F7C78A5D-EE5D-4FC4-A75B-16A77A1EEEA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30afb368346860b46f463bac2b2a3dc36a1fce48","datavalue":{"value":{"entity-type":"item","numeric-id":5377007,"id":"Q5377007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$857F2EC4-B320-4EB1-93BF-0846461485A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$58487EC6-A8C6-49B6-8CEA-40A520D2D504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55057d91c414144b135718774219a18bace14f6a","datavalue":{"value":{"entity-type":"item","numeric-id":264580,"id":"Q264580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$70CA207C-F270-4BE2-97CA-C2C1867F8CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$3AB19212-F37C-428E-ACD6-E54239E0D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a8ab0bcf71eb2d777c01d7b194ee5f97a12222","datavalue":{"value":{"entity-type":"item","numeric-id":4789075,"id":"Q4789075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$CF3869F4-55AE-426B-B408-F29ADCF5E95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7048517b0b1f8eac91c35cd3be67e38700171a55","datavalue":{"value":{"entity-type":"item","numeric-id":1183462,"id":"Q1183462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$1DBD3D68-1BE6-4AD3-B3B7-9336FD5556C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad8cded1d83b09b704587dfbd4f3924d5988e11","datavalue":{"value":{"entity-type":"item","numeric-id":4439584,"id":"Q4439584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$0823D543-C9BB-4310-8538-D293AE86FBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6975890$92DD737A-B7C1-4BF3-B615-AD6054E47797","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking of distributed algorithms using synchronous programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_of_distributed_algorithms_using_synchronous_programs"}}}}}