{"entities":{"Q6909106":{"pageid":20956465,"ns":120,"title":"Item:Q6909106","lastrevid":84163265,"modified":"2026-05-12T19:31:15Z","type":"item","id":"Q6909106","labels":{"en":{"language":"en","value":"Model checking distributed temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8112926"}},"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":"Q6909106$80C32F15-A83D-4073-BDC1-CD75E0A14596","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bd45b6f535552617684ef03920bcd057364b385","datavalue":{"value":{"text":"Model checking distributed temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909106$591E5562-79D5-49B0-9FB0-16FE757BC137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f05921855d006eee6554f50f97c266fbd7ab8db","datavalue":{"value":"1573.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909106$4729FDB6-D7D4-4F3B-B0F7-8FDD5A4F52A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f331a192ea2b6679baaf0bece96f994c09a2f81a","datavalue":{"value":"10.1093/JIGPAL/JZAE043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909106$C22DAB86-8AFF-4B9D-8E39-7D30F646B6E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acc3aa1740b5763d9ffd15da0cb27a2759c1cc44","datavalue":{"value":{"entity-type":"item","numeric-id":2408576,"id":"Q2408576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$DF646FD1-C76C-4867-A8E8-7887B41B63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40bdf4076d17ad0eb057c2b8be5ee375b837d63","datavalue":{"value":{"entity-type":"item","numeric-id":549722,"id":"Q549722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$A2F31E11-E5DD-4984-95E2-32BA92BF9E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cac307c67ce8210582e5682f26cbf9bccb80a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":6909105,"id":"Q6909105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$46325060-C0F1-48F4-9610-3A7BF6B7F765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$51256F1F-4282-4BB2-851D-2ED1DB5C2482","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$C56695CA-8241-470D-8757-60273D8946BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f43d9ad897ab0d0f7297ace2c258d2131de1c5","datavalue":{"value":{"time":"+2025-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909106$7203E160-02E5-4332-9AAB-E7C1262B953A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909106$A6F13D2A-7AD3-4AC6-AD39-59ECF73C4923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909106$5E2D8F7C-621D-4082-94C7-318CA502D1AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6de4642add4cd24e24c94752f99aca6e5698328","datavalue":{"value":"8112926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909106$E57503CD-896A-4D17-8658-AD869BBA0660","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74dab01c387e062916b7c5a7166bd3a29dd2a60c","datavalue":{"value":"distributed temporal logic (DTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909106$69D5E77D-5D30-42F1-8B54-C0CF5B8CCEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909106$F36FD31D-CE46-469A-AA11-8990DB89E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909106$69308DFF-5A1D-4078-9CDC-4FA781E6BFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909106$2693E106-5C7B-4C10-9E52-449F28019181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909106$C066E8F8-FE29-49F1-A1D9-8CE81D18B5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909106$07E5CF96-FBAB-4700-9553-F4A9DEEEC5BF","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":"Q6909106$2B3662DB-AF70-45AE-8462-A71C71501BF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$90B8BF9E-35F9-443F-B181-1CBCF8F3FF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0f0437327964d39cbced68ed2a76ce132af97f","datavalue":{"value":{"entity-type":"item","numeric-id":3656773,"id":"Q3656773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$3B6A4CC0-F4BC-452C-BEE7-AE36C8F587A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9dff484bb509c165c45f921a583926b15c35aa","datavalue":{"value":{"entity-type":"item","numeric-id":549724,"id":"Q549724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$D26F9964-B56E-4F57-8819-5AD034227FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$7BD78E7A-7C65-41D7-9EB3-85C6B466DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594b45b6fc27297fd1c4a7128e92455e7e421941","datavalue":{"value":{"entity-type":"item","numeric-id":5224785,"id":"Q5224785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$DAD6E443-A4EC-4CA5-BC83-B88B42627511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15138b8880b2630a4258dac43c6dba3a37424c7e","datavalue":{"value":{"entity-type":"item","numeric-id":2848036,"id":"Q2848036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$D6A3FD08-4168-424D-8ACF-E8F48A9B7FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b633d11ebda4c5438306635ab8be2460c0d1f8d5","datavalue":{"value":{"entity-type":"item","numeric-id":3378195,"id":"Q3378195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$90907D18-8925-451E-8800-3F9F8F5644F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$64AE3BC6-EEE3-49AC-8E8B-C8F4CDB9E974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$A7B89B65-439B-4084-98C6-9D3870FC7CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$C7743235-6831-4B56-B0CC-02F2B18FC628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652f902ff412adef90c97474a966c3fcf717ede8","datavalue":{"value":{"entity-type":"item","numeric-id":1977077,"id":"Q1977077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$AAD71BCF-8898-476F-AC18-C5F17FDF558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506597d3969def32c6958c38515909e64efe5161","datavalue":{"value":{"entity-type":"item","numeric-id":4400803,"id":"Q4400803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$7EAE062C-3DF9-46E1-A039-A1CC5FC7A8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$62796F66-856F-4CD3-B83D-ADCEC072DF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$70541899-3823-47C8-9586-9024D92A6B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c3ab59413161772c985ff187e43032af16a792","datavalue":{"value":{"entity-type":"item","numeric-id":4020485,"id":"Q4020485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$965079B1-FFDD-427F-A7B8-7C89853462BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753622dc673a18a132f58ac8127fea65805dbeaa","datavalue":{"value":{"entity-type":"item","numeric-id":3785913,"id":"Q3785913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$553A4FB7-7D81-4DFC-86FE-4078E574B7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$6CB9AE1A-E31D-44FE-A339-9E8527AF57A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb2373d6562e77ae6c7389b5c71f262310e6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4907861,"id":"Q4907861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$E462AF63-EF3B-4241-8259-2A10C1297086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2017af61418b346dd1ae24d306c4e80ede32091c","datavalue":{"value":{"entity-type":"item","numeric-id":5491896,"id":"Q5491896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$BC52C8EB-C8D0-424E-A3E5-13BC38584276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03455b971397d937afa50b2acf41cc84429c8a88","datavalue":{"value":{"entity-type":"item","numeric-id":465680,"id":"Q465680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$4A9D3099-4B51-46FC-9B26-E9F42973F2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162294c3f55ca32a0a42fdc5a99638a5f744cec1","datavalue":{"value":{"entity-type":"item","numeric-id":4247293,"id":"Q4247293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$2363CE1C-E796-47DA-A976-2180C787536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69663320dff635dbc00af9a11bf617c8af76c86","datavalue":{"value":{"entity-type":"item","numeric-id":3512439,"id":"Q3512439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$4B0BEAF3-72F4-4C4E-98DC-B710BF4017DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$9232BCBA-E9EA-40B4-A3B1-3B99654485EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909106$125AB3C8-50B2-431A-9F96-A061B50E82F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking distributed temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_distributed_temporal_logic"}}}}}