{"entities":{"Q2851061":{"pageid":2861781,"ns":120,"title":"Item:Q2851061","lastrevid":83867246,"modified":"2026-05-07T13:04:52Z","type":"item","id":"Q2851061","labels":{"en":{"language":"en","value":"Regular model checking using inference of regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213305"}},"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":"Q2851061$11DD1EDC-B01F-45A2-9B40-51E18C3DAB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d1b6de8f00be310f3cfc7651c4a16ee5551eb72","datavalue":{"value":"1272.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851061$F88F702F-F07D-4E64-8D60-D79F2A7D7846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851061$E9921FF0-7BBB-4D55-9E4F-C6BEA0F10EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851061$DB008FBC-D41C-4E55-8D94-504F63E81EFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851061$05496684-FFED-4A8F-A328-A60AB9765947","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c25720f8454db1fdf1b5cf1fb8a1bb511e380e13","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051984","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851061$2A0660A2-D857-4823-8528-B268ABF92246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851061$1BE97B79-9BCF-4ECF-BD05-D57D013F6246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851061$FC7CD40A-7954-4627-8664-073311F856CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c017ea827bc44d423c4d921a6aa8a36bee9c955","datavalue":{"value":"6213305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851061$D9F55A06-748B-4620-AF67-19CBF2E0160F","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":"Q2851061$0CA8AB0F-23BC-416F-8C17-E2C99B36A598","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3a83d959c443e4fb2d17d3f4dbc914239cd115","datavalue":{"value":{"text":"Regular model checking using inference of regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851061$4F7F9F31-B481-4355-9F08-5CB4FE0550EF","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":"e62452ff5599e3976ec6ef32acdcaf59e2123dce","datavalue":{"value":{"amount":"+0.8646956086158752","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":"Q2851061$043054BB-7433-41A2-8D30-F9D17966ED63","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":"71808ad183c5c04247d104c9c5ea7d327186a284","datavalue":{"value":{"amount":"+0.8595390319824219","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":"Q2851061$1ED77677-58A9-4F15-AC49-3BFA6CCD06F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097723c0fc87290cabc7abb61a35dc6d6c7597cb","datavalue":{"value":{"amount":"+0.8284838795661926","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":"Q2851061$8D23D961-9E5B-4B35-A588-88340E3067B8","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":"15b143ed0ce09a62e0f064aad0e054f44c41200f","datavalue":{"value":{"amount":"+0.8210337162017822","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":"Q2851061$970C3EC0-3671-4E57-AA66-22C0046782F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b05d6b762a4258476740cc7bc1c299fb62f63","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ddf6aef583f32e08405bb9b3aaaac41c2aee16","datavalue":{"value":{"amount":"+0.8207689523696899","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":"Q2851061$89F3167E-50DD-431D-8353-ABFA250E9EBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular model checking using inference of regular languages","badges":[]}}}}}