{"entities":{"Q821566":{"pageid":823414,"ns":120,"title":"Item:Q821566","lastrevid":54092384,"modified":"2026-01-26T05:57:03Z","type":"item","id":"Q821566","labels":{"en":{"language":"en","value":"\\(\\mathsf{QCTL}\\) model-checking with \\(\\mathsf{QBF}\\) solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398018"}},"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":"Q821566$48B25187-F2AD-4E71-9A98-CEB58E48860D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01c86db2460d8618348912874fde154271520bea","datavalue":{"value":{"text":"\\(\\mathsf{QCTL}\\) model-checking with \\(\\mathsf{QBF}\\) solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q821566$5497801D-CA40-4D51-8A60-D813553B4E4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e978305513a71e7a98e08727ce010543dc5ef926","datavalue":{"value":{"entity-type":"item","numeric-id":821565,"id":"Q821565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$A7EC6B27-E945-418D-ADB4-6973973F1C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$DA399D34-93FA-47BA-B0CE-D943DE53A5D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$DC7DF4AC-4BF0-4DD0-A971-CC45CC211451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44db5dcbe50c77f3e5897b0f25a44315c74b126a","datavalue":{"value":{"time":"+2021-09-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":"Q821566$1CFEC49C-B86C-449B-BA06-F4C5CF20F4B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cb549eb7e7d83237104cc0de7006440ad2edfbd","datavalue":{"value":"https://arxiv.org/abs/2010.03185","type":"string"},"datatype":"url"},"type":"statement","id":"Q821566$ED1B57BF-9DCF-41D2-8234-54488E0BC099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821566$64D777CD-E206-4520-BCC8-553E878750D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e9da3ee6f844a8a85a6f87d984930aea62da407","datavalue":{"value":"7398018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821566$60B543AB-5574-4E16-8578-11031A25E05E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q821566$97423027-6531-4F0C-9554-D90D12C5C97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q821566$E9943547-257C-4175-A759-0EB7C4C5AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488b99503b7c8c55ac90bc5a695ad962fb2a577a","datavalue":{"value":"quantified CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q821566$6E96BC5C-879A-4E82-A134-FE62A19E2DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8115bbf7315a75b9772faccb81b5c003c9e9a61c","datavalue":{"value":"QBF solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q821566$FBC8670E-312C-44E2-8DC5-F12C8C730287","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$9830102E-62A7-445A-82C4-0D645B472B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$DF8C34AA-C3DA-4778-890A-E4DEBF8C3E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$0099622C-A328-4C6A-9824-DEDC16C9E1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca3f31aa2c04d477727f6082390af9392ab5e781","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$049B03F1-4182-4110-8AB7-1ECB91EC19EA","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":"Q821566$2793E6C9-464C-48BA-9969-BC50F214673F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfd87fd278cce559fced160e41395c1073639e3c","datavalue":{"value":"W3095063913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821566$5A5DE7C1-9921-4D2F-B777-15A4CE5E5BF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed2b1e5d31cf740f7fa1d7eed79da876ede7569","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$752D03EA-70B5-4CD3-9419-B9247519B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9837cf66a742e6b8d4331eebf95c09975fb9b38","datavalue":{"value":{"entity-type":"item","numeric-id":4612406,"id":"Q4612406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$16E945E2-0E91-4ADE-B6C9-9A83B713AAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$1499291A-D222-42C4-B18C-D8425F60199E","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":"Q821566$1D0ECCA9-D938-4141-BBDF-99ADABEAA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6cdc6509b93a57b1a6104a317c809d86745159","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$41E22FC3-5631-41CA-A037-675889489F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$11FF2760-7114-493B-B9A5-FFD1CA5D5243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0870e13c4a5dd2b1ec6ccf0eb8fddafbaa000d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$9121FB87-CAEE-4EA1-BE39-63857CF10CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$71D7A42A-279D-4C76-952D-5635B5B428C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f74bf884ad4d0098c5e2cb66f40af366016ec5","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$C1F0C464-770E-4B33-88F5-58BEAC1DEA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8e7013ed4a362871e8001f8913772c237e81d","datavalue":{"value":{"entity-type":"item","numeric-id":1656577,"id":"Q1656577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$17615A89-F2A1-4FC2-9900-B952FA816D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7f88b9c02f3b54e9e5865afe0a8a6cba9b9f65","datavalue":{"value":{"entity-type":"item","numeric-id":4242583,"id":"Q4242583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$155DC257-62F1-4295-9D1B-8D766C73164E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc41a6f4c3f61c1a908b43eb0a51dd26fd864ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$DAC30ACE-3A2B-4435-B27E-5926DDFF84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce82463a320934d60eb5abcffdec11cef4df59aa","datavalue":{"value":{"entity-type":"item","numeric-id":897650,"id":"Q897650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$DB98B6AC-28CE-4FEA-BE94-1ED21962F376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53fd5fca9efcca37b8425e5e015a661d8f5872f","datavalue":{"value":{"entity-type":"item","numeric-id":5013877,"id":"Q5013877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$760AAA76-A6CC-4BB7-BB1C-8F7633444C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a25b15d4de5281fa01e8ea884c428a32cf21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5191527,"id":"Q5191527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$EC3E6B61-FB75-4C2D-9BAC-8D77EDD6B94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d6022efe85ebaea71c3f2dcb2b567358d1ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":5431341,"id":"Q5431341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$993E70CA-E754-4F25-AE54-A26CBAC1BBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$0228CCC1-99EC-4890-A11E-510FFBAEF9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882af316fab8c9e908fe7e762e41fbedf2661996","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$F9A19975-1D42-4FC4-BF3A-0946D25E4E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$A67B3729-F894-4BBC-91FF-6475CEA88D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$0DC78805-F328-415D-950A-3BB22C228B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821566$C984FCBA-2E96-47A5-A659-3623A83C8A63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52c7609fc4ed9cb8fe315848cce4d44be14bc565","datavalue":{"value":"10.1016/J.IC.2020.104642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821566$CF9350BA-C8FB-4466-BC4C-2E8370387F72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e85522bb5a1afd452a9e08ee0c27da9d88c317","datavalue":{"value":{"entity-type":"item","numeric-id":6487554,"id":"Q6487554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fadcca63496b488df3e24e333a16cb3033ba2c0","datavalue":{"value":{"amount":"+0.9593585729599","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":"Q821566$156A9D91-1D8D-4D6B-878D-D100396FDEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71956962bb60a291a3a6435582c535bd5edb1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b2805287b9721c9e2ceb857881b24341eece8d","datavalue":{"value":{"amount":"+0.8757410645484924","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":"Q821566$D8E15483-9F42-4088-8620-7F86B102A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf6362829a471005761450390520303b5598814","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48b222a1ceb8fa5a16f3e2f53477ee4511c8331","datavalue":{"value":{"amount":"+0.8659538626670837","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":"Q821566$35BE1E62-5F3A-4DA2-9B57-6172526D76DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8fe709b1bfa190886d50fe1b4cc24fe06aca252","datavalue":{"value":{"entity-type":"item","numeric-id":4608680,"id":"Q4608680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3854788fefd43546c4848eb865baa10632c2a2","datavalue":{"value":{"amount":"+0.8415129780769348","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":"Q821566$E7D8ACCE-2489-43F2-9246-710769B2AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7aa733c6bd1d9da804a689958198a3efef8595","datavalue":{"value":{"amount":"+0.8400845527648926","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":"Q821566$08076BCA-A23C-408A-B1B7-0B1B001EEB1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:821566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:821566"}}}}}