{"entities":{"Q5943261":{"pageid":8120063,"ns":120,"title":"Item:Q5943261","lastrevid":47666458,"modified":"2026-01-02T09:21:59Z","type":"item","id":"Q5943261","labels":{"en":{"language":"en","value":"Efficient detection of vacuity in temporal model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642613"}},"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":"Q5943261$D28DB2C6-F418-4606-8539-76212CCFE9E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ed62731242d8f484fa3768471036686f8f9784","datavalue":{"value":{"text":"Efficient detection of vacuity in temporal model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5943261$3A031926-0E05-46A1-9873-EEDCFB399F89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e21c0bc472799ca3c02437fcc92540ab3991aa3","datavalue":{"value":"0988.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943261$57303CB1-8349-40F8-B855-407ED9B8F2C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dec5c968515b498df1fefd1db9132191b26ed0ea","datavalue":{"value":"10.1023/A:1008779610539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943261$F0BE5AE2-B27C-41AF-9C8E-BE26B07556B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2acbff7b1d6009a8470ae19fa83f8b1a847cd289","datavalue":{"value":{"entity-type":"item","numeric-id":202471,"id":"Q202471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943261$A3E6A566-FCC1-44C6-9A52-2B499F81C33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943261$7B3556B7-4D9B-450C-B8EB-2D034524CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afed46769c393c237def5cd835ed5bcf922e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":202473,"id":"Q202473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943261$11430DEA-B62E-4813-AD8D-DA364EEC5F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e5f75a0d54975ee52ada1a4f4fb54297ec3b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":202474,"id":"Q202474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943261$34E36217-FA41-40C5-974E-761905BC647A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943261$D202B429-1F13-4C17-89C6-8EBD837C3E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d473643aa39024730582f063c01cfbcd820666","datavalue":{"value":{"time":"+2002-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5943261$E5EC3ECB-E6EC-4AEA-8806-AFA10E33AA18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943261$0D72D4EB-0AFC-4F62-B162-06B9CA1F3DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03f97c18cd89ddbba9b5b41a56b2bf3ee5b31ca0","datavalue":{"value":"1642613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943261$A58D79A1-AD97-435A-93FF-30DAA1BA2C64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943261$D8B96818-5498-419D-90CE-0329CA4443C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db72287898d2ae9d5504b583f3a92d415216a1ca","datavalue":{"value":"model checking tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943261$F54A130B-5F46-4F3B-995D-5436AB8F00A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5ca6d9a779b252b72894fc0620e968a0761828","datavalue":{"value":"vacuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943261$D12D288F-9A6E-4899-9679-96675664B2C1","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":"Q5943261$935F190B-FD2A-4679-BA78-8923928627C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aca2e93fab4d24ea85eae226d8c28c6e0478aa8","datavalue":{"value":"https://doi.org/10.1023/a:1008779610539","type":"string"},"datatype":"url"},"type":"statement","id":"Q5943261$23BD586E-160F-4F7F-A2E9-3C9608F6B2B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddd5844e136607f50a615f239e8d5727a933ab2c","datavalue":{"value":"W1497843565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943261$D30240EE-2706-43A6-99DB-2108871D6B10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa2af0c2736b86a0d609e02c2adefc49ade8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38730d698876f2996589e759b97ffc9080feb6b9","datavalue":{"value":{"amount":"+0.9060858488082886","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":"Q5943261$E36FF6CC-A2EF-44F5-9B9C-5BE63043E0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244e8dbfbdf72d970bb1db2c8763ab4822463156","datavalue":{"value":{"entity-type":"item","numeric-id":1028732,"id":"Q1028732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b6eb28af66c1ff06daefc7afe3a582dee6f5d0","datavalue":{"value":{"amount":"+0.9050880074501038","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":"Q5943261$580B77FD-4745-4C3B-91A7-63AFFA4E0A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee915f4abc6559a69fc1814b4f51bb66befb1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be5dc9bea4f270cc8fd94f5c70f3338b742905f","datavalue":{"value":{"amount":"+0.8610212206840515","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":"Q5943261$F500B267-6066-4F74-A05D-56E4AA7C758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84259e5c406fadf359a20b9170649d4d5d7b52","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f4de5bf16128e6e896a78bf797cd6cd924a00d","datavalue":{"value":{"amount":"+0.8502048254013062","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":"Q5943261$2A9C3221-D476-4F4B-A88C-F5810A43CCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee0227a3c10d76c7aa72a9db49baa2644f3b1f1","datavalue":{"value":{"entity-type":"item","numeric-id":5492989,"id":"Q5492989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f4de5bf16128e6e896a78bf797cd6cd924a00d","datavalue":{"value":{"amount":"+0.8502048254013062","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":"Q5943261$DD8F991B-9619-451F-A94F-BBDD0B5B748B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5943261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5943261"}}}}}