{"entities":{"Q5740636":{"pageid":7770188,"ns":120,"title":"Item:Q5740636","lastrevid":52582016,"modified":"2026-01-23T00:59:54Z","type":"item","id":"Q5740636","labels":{"en":{"language":"en","value":"Model checking usage policies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606923"}},"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":"Q5740636$79463435-2614-4C3D-AB47-FB26F8A3A556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29179844e54416d5d0bc74da722db4455ddbd51a","datavalue":{"value":{"text":"Model checking usage policies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740636$8D8BB3EC-FB2F-421E-A81B-FBFDC021E44C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7bc5dd41d0fe7fa861ee7f8837763ae82352e77","datavalue":{"value":"1361.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740636$678CC703-6C3F-429C-97C7-945FED1FC0B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ca9b98ac643469fb40f334cc8a58809c37f7d2a","datavalue":{"value":"10.1017/S096012951200093X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740636$EFC839CD-CB31-48F7-BC57-91C144F9ACF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15ca605d00a4af5ed8da0f068ee3a907ba12187","datavalue":{"value":{"entity-type":"item","numeric-id":272302,"id":"Q272302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$F42A2DDB-AFAC-48F1-B005-27E29B4A3ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a751071b0313e5681b1cf45b8f62e17bbb1a8c7","datavalue":{"value":{"entity-type":"item","numeric-id":272305,"id":"Q272305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$508BA112-DB95-42D0-ABF7-A5A75260CAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$0D2C502A-083F-4A8C-88EE-2358DE785C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$6610285B-59FF-402F-B85D-9DA10691E0DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$70C4A4C6-FAC3-4F17-A99F-EC8C65B1521F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740636$107241C0-E081-44B3-A23F-B5E331EE09BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740636$6F127906-F663-4D18-928C-809AC1D961F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740636$F06039CA-76BC-4A5F-89D8-463952AECA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740636$5F1D8B7E-3201-4D18-9E8F-C11720DCD457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5279ef0d41acf845c94f4aae7a2508648bedf63","datavalue":{"value":"6606923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740636$DFCD76D7-369D-4D35-8A35-F9C630E5750A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$290BACED-3A1B-49F7-88E1-098E5A81AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d03c68017d5000f64215f5108b7c51e60c33ff","datavalue":{"value":{"entity-type":"item","numeric-id":32249,"id":"Q32249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$73344249-271A-4A8B-A5F2-D0EFB9FA6653","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":"Q5740636$DE4B201B-2561-4B18-BB67-6A68D5BD641B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$1AC7C8E2-A118-494D-8BF3-8B818CB11D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$4F6EF410-EA68-46D4-A5A2-14708DCE7888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6afeb86b4bcff8a8c52dc24b9d2b20a0f66d3e","datavalue":{"value":{"entity-type":"item","numeric-id":3184712,"id":"Q3184712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$85B534DF-0744-407B-A661-EDC1F03B714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac444af0347a3709f7713b8c38aff2cdc09fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":1341772,"id":"Q1341772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$B7D27724-DA7A-4F50-97F5-3E109107F15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$478A6A2C-1BD9-4A27-AD36-FF0033F86521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$4BF75463-E8F7-4969-B74E-0CF57ADB943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67f0a4618ff9a5ebba21f976da143f71c5e8c5a","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$EE081BC4-7316-47BE-BE2E-E538BD6E7411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$84A067F1-E1E0-49B6-97C2-6391CFEB3343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c068faba989c4b8b1a1d366d186d693920ff87","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740636$81296A9D-A0C8-46CE-8A21-32D60A887116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976202e542ec799c5338b6b297268548543816c","datavalue":{"value":{"entity-type":"item","numeric-id":3184712,"id":"Q3184712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f51429f9ba240cbf96be7a443245407be1e7239","datavalue":{"value":{"amount":"+0.8355181217193604","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":"Q5740636$92EDDE57-0AE6-49FC-B9DA-A34B0AA4B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975bfb79f2b50335170a935db17fa1f105dc7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2914700,"id":"Q2914700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c046498ff2c048d29f455d1046ec8362ab5af6","datavalue":{"value":{"amount":"+0.8042227625846863","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":"Q5740636$7E70AEBD-342E-4BA3-81FD-889010A958EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7b350b250ca7f9e639b80e3ccf6d80c2718168","datavalue":{"value":{"entity-type":"item","numeric-id":2131407,"id":"Q2131407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d7766115f90081c857bd3274b96b9787190261","datavalue":{"value":{"amount":"+0.7766639590263367","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":"Q5740636$28B42CB5-4F43-4006-A316-16AA016B7791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade9a4ab6d1819a8006261d1d07620e561dbb37f","datavalue":{"value":{"entity-type":"item","numeric-id":5902362,"id":"Q5902362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d20de941f6779dd31bc4ee46ad28431327c377","datavalue":{"value":{"amount":"+0.7645625472068787","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":"Q5740636$C972369C-2041-4A24-BFCB-A3FEB4F5BB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49ec216d4f73ea63ee7f57cfc99fa0fb1a7a63d","datavalue":{"value":{"entity-type":"item","numeric-id":5492771,"id":"Q5492771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbdd140abcbfb89c86558a8901028ec2e70a8e36","datavalue":{"value":{"amount":"+0.7151318192481995","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":"Q5740636$8FB3FB0D-4C08-4508-AA93-9F47C3CCFAE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740636"}}}}}