{"entities":{"Q5900681":{"pageid":8006842,"ns":120,"title":"Item:Q5900681","lastrevid":93572477,"modified":"2026-06-05T04:37:48Z","type":"item","id":"Q5900681","labels":{"en":{"language":"en","value":"Algorithmic improvements in regular model checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695369"}},"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":"Q5900681$D50C905D-1D07-4342-9198-A43E91040111","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":"Q5900681$421CDB4D-6C24-4ECC-A9F7-0A1112A1680E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ee7342fc4a4eb957725e4eb6b4f425d02707a6","datavalue":{"value":"1278.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900681$0C793256-3EB0-4808-9D1F-3723C929FA6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900681$FD124C21-1B52-4E14-931A-EFDBE25F8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900681$B5CEAA5B-4F80-4B82-A8F1-559CDF5EFA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc925e7d7ffb84064486f1630240b163a5b7fd9","datavalue":{"value":{"entity-type":"item","numeric-id":219456,"id":"Q219456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900681$473447E8-06AC-4B5A-96FF-0355704798E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf6f2b250839c6bb1d68b7a903ea54097448910","datavalue":{"value":{"entity-type":"item","numeric-id":2500699,"id":"Q2500699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900681$5911B6AB-443D-4AE2-8CD2-407AA4F4887B","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":"Q5900681$C2EFB5AC-6B0C-42F2-B3A8-6C61964AF1F3","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":"Q5900681$A8422F1E-4A0F-4E75-AFC9-6B612F6D8E9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900681$3155A850-C9FC-43DF-BD3D-57C63A7731AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900681$F3A804E7-CEF0-47F5-950B-6E3E876E6F17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe5c540ffc5e345983e6c2191ee29ed1f1f9f4a","datavalue":{"value":"5695369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900681$F34D3AE7-280D-41CC-8035-ABB33B76A2FC","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":"Q5900681$7AF94B7E-5769-4AE3-995B-3B1226F995D4","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":"Q5900681$10A2492D-DCEA-4B38-9EE7-1B7C1C2C3DB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900681$FE98AC6E-BEE8-4315-9AF9-E389B8FABF1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900681$BDAAAF0E-0990-42EC-A480-1573BEF9D586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604436473eb9d72b52ccb586e28c3a79abfa3cd6","datavalue":{"value":{"amount":"+0.901175022125244","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":"Q5900681$0B376939-5815-4807-B247-7FDF9F847CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c772e1b6b8e8a8ec29bf0f6758eb499ab1616a2","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86e5c665c7a7a9f613d5d49786542927d74f5e9","datavalue":{"value":{"amount":"+0.8664251565933228","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":"Q5900681$B895848B-ECA9-4A00-BA9E-968123FDBD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bf1546ac479b35729eb3c345df33a6f368dc46","datavalue":{"value":{"amount":"+0.8633543848991394","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":"Q5900681$66E05287-0C5C-4CBB-B490-B079C76B61FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1c996406175dbf6c6bc375396b2f8292e5fd75","datavalue":{"value":{"amount":"+0.8550065755844116","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":"Q5900681$63E54B38-3ED5-4151-B0C8-8737B3BB26D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff3425787aea28c8198974ec0d095be505fb445","datavalue":{"value":{"entity-type":"item","numeric-id":6045028,"id":"Q6045028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7f6f802d68d266afe91fdcbaac33bda3899e49","datavalue":{"value":{"amount":"+0.853635847568512","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":"Q5900681$14F3889E-9F27-45C4-BCCB-E72D10973253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic improvements in regular model checking.","badges":[]}}}}}