{"entities":{"Q5423887":{"pageid":7453461,"ns":120,"title":"Item:Q5423887","lastrevid":50202068,"modified":"2026-01-13T12:29:25Z","type":"item","id":"Q5423887","labels":{"en":{"language":"en","value":"A Framework for Model Checking Institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207679"}},"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":"Q5423887$399247F8-477E-4563-9B1F-9F6ADA7A7796","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2465fe543b66356f809cef81c63514457d64c21","datavalue":{"value":{"text":"A Framework for Model Checking Institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423887$238F3D45-9C35-43D5-B600-9EC63CD30AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ba3c5964e35347e816937915d7cf485cb8218d6","datavalue":{"value":"1196.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423887$08D41F22-B960-4482-A32B-E2C9565309DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cd158e900daa9ef1c4dd86e5c4ef49c36ed97e7","datavalue":{"value":"10.1007/978-3-540-74128-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423887$50BDADF2-741E-406E-8C47-A878C5DD1EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4cb08f32ae50ef0d5f1f7c533ede92af0867417","datavalue":{"value":{"entity-type":"item","numeric-id":2663630,"id":"Q2663630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423887$4B33EEDF-39A4-4112-BA4C-022FCE160C04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423887$764DABA1-AFF4-4D64-9CCC-7716E2B5FAA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423887$F5DC6506-F8F0-41A5-B50C-1AA20EAFF714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423887$53684752-225F-4CAB-937B-C380ABCADF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423887$24F12BD9-D3BF-45E6-8C65-9D9D8513709A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae1476944bf5081f2dbdc25de7c16c9d4e1c402","datavalue":{"value":"5207679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423887$B69CEEF8-BB81-4A37-9A51-C643CCA2E167","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423887$E96EC357-AADE-4579-908A-3360AC16A5A0","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":"Q5423887$CC474AB0-574F-47AE-8E26-3349A981C83C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef513e9e2155bf1fb1c4adb774c16da479d630c4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74128-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423887$1BD118A8-8E7C-444E-8DFA-2B4A63C72D22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e63f9585e6410a60dda493de6f04a6b624b966b","datavalue":{"value":"W1521984028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423887$98274914-903A-4AE2-86F8-984184790B57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388564a2f1aefb9be278177a54250d0b64af280f","datavalue":{"value":{"entity-type":"item","numeric-id":2921957,"id":"Q2921957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c97223f07c0c51924cda89a92cdedde659e302","datavalue":{"value":{"amount":"+0.7443456649780273","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":"Q5423887$D7C10D46-0A5E-4836-8CA4-DC63B94FC3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0283b845178c6f1b9185aa4115eb3ae4d3d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3055672,"id":"Q3055672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1555c186b41f01f946abd702f3f810279fda6993","datavalue":{"value":{"amount":"+0.737205445766449","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":"Q5423887$F9B53212-28FE-4D07-8EAA-2924296CD608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b28ee6c75f849e5ee3f8514259bc73f07aab16","datavalue":{"value":{"entity-type":"item","numeric-id":4823548,"id":"Q4823548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567d69c1997eb76a789086be21080e439e575146","datavalue":{"value":{"amount":"+0.7195350527763367","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":"Q5423887$7F37FAC5-87A3-4930-AD57-69860F3709CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fadbb171a557c7c8ca0356445e82c2fd030bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5701517,"id":"Q5701517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc7850194d443fe67d6b757969b7256cf871ebe","datavalue":{"value":{"amount":"+0.7123527526855469","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":"Q5423887$E14C70B0-1DEB-48B4-B95D-BEEE29FD2C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c918aadacf82c754677e8f7e0bdb974b47fccfab","datavalue":{"value":{"entity-type":"item","numeric-id":3103983,"id":"Q3103983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efe20de94fdf065f3a68df7648c79b901a38e23","datavalue":{"value":{"amount":"+0.7108553051948547","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":"Q5423887$8795ACAF-1FAD-431E-8106-8CE11676D263","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5423887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5423887"}}}}}