{"entities":{"Q5900669":{"pageid":8006764,"ns":120,"title":"Item:Q5900669","lastrevid":93572261,"modified":"2026-06-05T04:37:47Z","type":"item","id":"Q5900669","labels":{"en":{"language":"en","value":"Structural symbolic CTL model checking of asynchronous systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695348"}},"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":"Q5900669$2315A042-421A-4FFF-B526-22D842A8B42F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900669$088CEF92-CF6C-4476-B146-E6D3E274858C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77bab48b629c25cf2c3bf4cd745c673c91ca94d3","datavalue":{"value":"1278.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900669$591B4374-ECBC-492D-9914-3A2F0F86315B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900669$32449CB6-7C21-4183-A7EF-DFF8E0C33386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1244590b6c14ea560fa6cbb705eb6394c326c08c","datavalue":{"value":{"entity-type":"item","numeric-id":2766554,"id":"Q2766554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900669$E29CA97D-0B91-4E7D-8AD1-BDEFD9FFDAD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900669$D6456865-6ACC-4230-AF39-68F8446240CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900669$FB11642D-ECE4-47AF-AF18-7CFCAF4D94F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900669$5A11DF22-0E8A-4815-ABE4-6C2D2AE3B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900669$38A9AE86-7183-4072-BCCA-88005743CE1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a16babca4d7c1fe67b2bc0d001c8a34d73644fa","datavalue":{"value":"5695348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900669$E4FF8021-13F4-4EBB-B502-B9F0FFCD875F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900669$70BEB6D9-256A-4367-A96D-853CDCF529BF","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":"Q5900669$6CF86518-4E68-48B1-B881-425C0E7D29EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900669$56C12413-8FDB-40C9-878A-58CD21D373FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900669$DD7F045B-B910-4122-852E-64D0E9F8DF5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900669$3FA6C053-4C42-4BD9-B52B-3F1D543F974A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070900cb1ccf70941d6282e43613f19432877cff","datavalue":{"value":{"entity-type":"item","numeric-id":3648712,"id":"Q3648712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc237683fead24f0b097fd4aa0fb548ca3a77eeb","datavalue":{"value":{"amount":"+0.8309735655784607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900669$55BB7FF9-1BD3-460D-A0A6-EC61B81DC4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821256108d413c43841696d533605225bf9b19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4818799,"id":"Q4818799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40caec4fdf22af9596c447d3ce5be9a2bd8fd91","datavalue":{"value":{"amount":"+0.8021024465560913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900669$89215D0C-2089-485A-82AE-247DAAF7A1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ecce7c498f4fe9f4ecea8d1117942a9d67fbc44","datavalue":{"value":{"amount":"+0.7877410650253296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900669$17FD0B89-7241-4A70-86CE-863D33DFBB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8606183f23759b29ff0c505b12bbbc51d12c0635","datavalue":{"value":{"amount":"+0.7868360877037048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900669$F4A2E09A-B182-4C39-9F10-0F7F84FE4A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28c227690d7c2a865a0fac6844818642255ba66","datavalue":{"value":{"entity-type":"item","numeric-id":2766555,"id":"Q2766555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5872a3aecb4b502242029efb0cfe325e98aad9cf","datavalue":{"value":{"amount":"+0.7865489721298218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900669$FB78F2B8-C8D4-4F8B-A788-3E2F5C17AE62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural symbolic CTL model checking of asynchronous systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_symbolic_CTL_model_checking_of_asynchronous_systems."}}}}}