{"entities":{"Q5930944":{"pageid":8107746,"ns":120,"title":"Item:Q5930944","lastrevid":102017153,"modified":"2026-06-06T03:19:05Z","type":"item","id":"Q5930944","labels":{"en":{"language":"en","value":"Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592231"}},"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":"Q5930944$2B5BF671-106C-4B68-96DA-89F297D73B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bc8d1829bfa8622f4d27624f3f51485ad552b5c","datavalue":{"value":{"text":"Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930944$F96D733B-9DD6-4072-AEDF-EC536EE7A0FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a192f966245b9f319b096cbf6fbc55ae112ef1","datavalue":{"value":"0977.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930944$39C74AAD-8187-4269-A2BC-843292656367","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930944$10453482-13F8-485C-9DDF-E0F750BD2BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e49aab0d2bba10afc555ca226ac9cb26ca96472","datavalue":{"value":{"entity-type":"item","numeric-id":174367,"id":"Q174367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930944$D7D1C8A3-1A45-4C0C-92B3-6D359BED5EB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930944$DF5C4E45-2521-4B15-BF26-AC98FF4C8A03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930944$004EE20A-1BE4-43F7-9C83-EB0E21FB7815","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930944$15F29CCF-C5CC-47E3-B2FA-49CD7EB0F0C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2fa289aa125fd36af03c0f91ef33013d46a7646","datavalue":{"value":"1592231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930944$0B38E72F-DF95-4746-9DDD-61A901072440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de216f350549f79b1a135b0e7890b05ad452b493","datavalue":{"value":"verification of computations of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930944$F2D27ADE-0BD1-4C0F-B61C-0D7AFD553F25","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":"Q5930944$E96AF981-B7CA-427E-9CE7-69A57DF1FB9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f358ee4f0dd2b7bdd55d5a303149bb1bc7cd5e","datavalue":{"value":{"amount":"+0.8290711045265198","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":"Q5930944$47BE1D0D-C320-415C-AF69-40606FC04930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1593aa5f6509a27200a08fbbaa703f4df4f7635b","datavalue":{"value":{"entity-type":"item","numeric-id":4037101,"id":"Q4037101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56b501d731f38ce8c2bb4d9699f0e989460ff35","datavalue":{"value":{"amount":"+0.8156633973121643","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":"Q5930944$EFBF2267-D86A-4B5A-BD1A-832C53257932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3170019fac32b2113488c1991e48e7bf13010","datavalue":{"value":{"entity-type":"item","numeric-id":5465889,"id":"Q5465889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56b501d731f38ce8c2bb4d9699f0e989460ff35","datavalue":{"value":{"amount":"+0.8156633973121643","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":"Q5930944$01F2C653-9BAF-4277-9CC2-4AE6898F00DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee756afcee845871249675df0d2d7b42dfd9370","datavalue":{"value":{"entity-type":"item","numeric-id":3170516,"id":"Q3170516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1386b5fedd722c08d41455b54d5eff7c761aa0c","datavalue":{"value":{"amount":"+0.8145783543586731","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":"Q5930944$E681F118-52AE-4839-9EB0-1A6A5B6723E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8bf9ae8412d3f6bc9ff581a201bd878f319ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2845488,"id":"Q2845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad67cab74084eaa1aae99f0ee519087aee2c5e46","datavalue":{"value":{"amount":"+0.8098086714744568","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":"Q5930944$A88BC8AB-9932-40E7-92C6-59577FD79679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_model_checking_algorithms_for_computation_tree_logic_and_their_application_to_the_verification_of_parallel_programs"}}}}}