{"entities":{"Q6166689":{"pageid":13301571,"ns":120,"title":"Item:Q6166689","lastrevid":41609435,"modified":"2025-05-06T08:22:38Z","type":"item","id":"Q6166689","labels":{"en":{"language":"en","value":"Bounded model checking distributed temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722224"}},"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":"Q6166689$21BF13A4-7A96-45D1-A08A-C803016BECBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57aeff18a3f2563d676871c348a00eb3af9c8fac","datavalue":{"value":{"text":"Bounded model checking distributed temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166689$D92D4E8E-58A2-4015-B8C0-C3DCB25487B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0c048adea2596a817b740cb70bb45c87ae2f049","datavalue":{"value":{"entity-type":"item","numeric-id":6166688,"id":"Q6166688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166689$3DCDFA49-32BB-4114-9ECA-435E491FF028","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":"Q6166689$CBA249FA-F9BA-4C37-B952-BBB963A2FFB0","rank":"normal"},{"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":"Q6166689$1820508E-CB9B-4398-93FB-3462862413C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166689$AE8DCB88-40D2-4FD9-B4D5-A9DA053DFEDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166689$625CBB94-9946-44E2-8904-C40752638AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166689$52647682-FF40-4A0F-A529-4ECC74EC1562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abbb6002fd52ecafe3492ce9ac39249b7ef52127","datavalue":{"value":"7722224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166689$2091A7B0-927B-4FA5-9B39-5CB2D43474AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74dab01c387e062916b7c5a7166bd3a29dd2a60c","datavalue":{"value":"distributed temporal logic (DTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166689$1511BFE9-17EE-4845-99DB-6CAEDA8F20DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166689$71742893-9D90-459D-A31A-A3BA79C37926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4f9b2b6b3295f021ef4b3d49ef9baa4ccb094c","datavalue":{"value":"specification and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166689$FC222DF4-62CF-4BBE-A37A-CC874E624D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166689$70388D88-1220-486B-AAAD-3F462FB79A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166689$62DB0619-09E1-44A9-ABA8-93913AEB8C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03c2b4bc9d4eaf63b227d89f1936eb55d86a9dc9","datavalue":{"value":"SAT-based model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166689$886C8DA1-D30D-48AF-B0F0-0A273A8B8180","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":"Q6166689$51CC716D-EDC5-4B4A-9A70-609A42F181F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5871d1d97e911f12eb50ccff512483e3aee27521","datavalue":{"value":"https://doi.org/10.1093/logcom/exac042","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166689$45181E27-69C3-46D9-AEAE-3FCB44D3556B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85e5d55f9733a6b7c9fbd58dfb227b33391d9845","datavalue":{"value":"W4283659387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166689$B21C57EB-A9D6-41AD-8587-4280EC881E80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40d302be76b9fc0beae9a8fc4f9b2c52b3024503","datavalue":{"value":"10.1093/LOGCOM/EXAC042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166689$DEEB5738-FDBE-421D-96A0-B1191EDDC5F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166689$C34AB9FA-0BAA-4AA1-A09E-6ACC7309FB9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c371e091b2b246ba79ed2084e8c494546c8d2ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2845491,"id":"Q2845491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dcb81c7be1ab168eb32428630a770e56ce4b28f","datavalue":{"value":{"amount":"+0.94248825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$6DDB6277-C76F-4AF0-BE2A-E4B1C92CB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da823f102f65c42c4f1c51abb62e624584d59df3","datavalue":{"value":{"amount":"+0.9255309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$FB6F9944-2BCE-4EB6-82D7-82D94A7D988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da5b4ac30079ec985bc118bba22bf4a6cbb2161","datavalue":{"value":{"entity-type":"item","numeric-id":4702960,"id":"Q4702960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17dc6890f33a004983e3ead63c32d56ea673cc6","datavalue":{"value":{"amount":"+0.9220598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$4242A932-B0F2-4A8E-BE5C-7F63B75B7817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcbc2dbaa36e3d0c4bf40265df5d7de8ae2494c","datavalue":{"value":{"amount":"+0.9164438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$EBFF2795-F7E9-4EBD-9EFF-1ECFDD246744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccedc3e28b0a17e72be8bd46d7c43af5d28225b1","datavalue":{"value":{"entity-type":"item","numeric-id":2431772,"id":"Q2431772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e393e7bfe013fe1935b84ee7d6ea2fc1a5fa9c","datavalue":{"value":{"amount":"+0.9112359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$59321A51-3955-49D8-87B3-9C2468302DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49562ef11a0db1241e19327ec70ac6b42fb460e7","datavalue":{"value":{"entity-type":"item","numeric-id":2431767,"id":"Q2431767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03be341b116d9cb738f94f5de52fcac710e14a32","datavalue":{"value":{"amount":"+0.9099995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$C243893A-9F93-4818-B1D9-C33D1ECD333E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1718e803a979ffc9b7934b9698d84467357e03ee","datavalue":{"value":{"amount":"+0.90984964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$679EA257-2EC3-44CE-807C-C527AD9F7708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d58862011788cbc7ae7e612207ceadcdaef80d","datavalue":{"value":{"entity-type":"item","numeric-id":3081898,"id":"Q3081898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159f8c5d5144986f839a15b45e65fbd428ed114c","datavalue":{"value":{"amount":"+0.90883094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$221C4570-6176-454A-BEC3-E2869F601D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc515ec118b932f1c95ee27e047198bc63c138","datavalue":{"value":{"entity-type":"item","numeric-id":2986927,"id":"Q2986927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d59d3eb547202d57a0a58badd0ca59b3089779c","datavalue":{"value":{"amount":"+0.9073929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166689$732F3EA5-545B-43C2-9B82-CAAE3EA3A927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166689"}}}}}