{"entities":{"Q5506377":{"pageid":7535937,"ns":120,"title":"Item:Q5506377","lastrevid":101395652,"modified":"2026-06-06T01:09:33Z","type":"item","id":"Q5506377","labels":{"en":{"language":"en","value":"VERICS 2007 -- a model checker for knowledgee and real-time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499359"}},"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":"Q5506377$4971164E-5C74-4D3A-8EBC-A7F33692D6D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e90f69f70bd6ae4016cbbbb6da08ddb29d78dc8d","datavalue":{"value":"1167.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506377$7010E542-893C-4A8E-B86E-5D5780310549","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$17143738-8607-4408-A647-01C4740B6F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a0547f49b1749f474844380b6d3d071b7d6245","datavalue":{"value":{"entity-type":"item","numeric-id":5506376,"id":"Q5506376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$B1EB9260-CB76-4DFE-8797-3476874AD305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f8702780907862d22fb68b03ee907a25b3573f","datavalue":{"value":{"entity-type":"item","numeric-id":2309217,"id":"Q2309217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$4BA07C8B-E0B8-4EAC-8B2B-A4894796DFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$92E32D72-8DDB-45F3-A828-FDC9BAC4EFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$EE2E1EBE-3BC3-44FD-9DE6-73B7A023A4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$449B9070-B165-4345-B303-8C443B5B242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$CDDBA6D6-E707-44BA-91E4-792E2CE4C2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$5C549CF5-BED5-40C5-AF13-5C77316EB2CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5506377$D1338D62-8661-4E75-95B8-97739041392B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506377$32517F21-D490-45D9-8308-5251FC4E9999","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc503071bfefa3984ec40e99b7acb9fd8fcf4a6","datavalue":{"value":"5499359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506377$9948F635-1D18-490F-9453-F4B7B8B5F9B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73c79f00787c8cf282c537e6d27ca48d776a6a1","datavalue":{"value":"SAT based model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506377$B7E9E001-DCAA-40B9-9C01-249522C5C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506377$4ACE5BEF-A319-4CC0-A8A9-647630465FF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506377$53974290-98B8-4B07-872E-E77A4045193A","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":"Q5506377$00C5DDBB-5B5C-4FCB-A979-DE56AF9B9DCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26cda5a036efd0a915f5e2f0749814a456ddcee","datavalue":{"value":{"entity-type":"item","numeric-id":5423885,"id":"Q5423885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be268d4f368cbd03ce23d236e64253b37999ebbe","datavalue":{"value":{"amount":"+0.8296979665756226","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":"Q5506377$1BD8A5F0-09BF-4DE6-8AF0-E21BB21C1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319791cf57c99a7ac8bfc0fd1277819e25c99c86","datavalue":{"value":{"entity-type":"item","numeric-id":4571143,"id":"Q4571143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcde20260bdd93398e01170c0a29cbbaf1b0d33","datavalue":{"value":{"amount":"+0.8245861530303955","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":"Q5506377$69E95C82-1289-41F6-AC22-62967976D90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09de60e215b0f38338637cf6b31df0531d0893e","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f03e2728edcf91b5f03e6d74c95810a7020394","datavalue":{"value":{"amount":"+0.8068448305130005","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":"Q5506377$CBAAF366-3835-4445-98F4-FB16D0E8BB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf2ddc2c4925034fd19fe8ad362a9bf4e0323c1","datavalue":{"value":{"amount":"+0.794413685798645","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":"Q5506377$EE283885-900D-4037-A21E-1B558B799EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99fe70cf63eee23113c988ee391815f3d7ce664","datavalue":{"value":{"amount":"+0.7882208228111267","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":"Q5506377$8024E870-FDA6-4133-842C-D914C9428E46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VERICS 2007 -- a model checker for knowledgee and real-time","badges":[]}}}}}