{"entities":{"Q2234054":{"pageid":2244797,"ns":120,"title":"Item:Q2234054","lastrevid":57797736,"modified":"2026-04-02T14:03:41Z","type":"item","id":"Q2234054","labels":{"en":{"language":"en","value":"Model checking algorithms for hyperproperties (invited paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410631"}},"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":"Q2234054$4C52B0E5-DBDB-42F6-9543-6ACDD9DAD58C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6333aee42af667d381160e21bbe689d7052fd8ed","datavalue":{"value":{"text":"Model checking algorithms for hyperproperties (invited paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234054$F8928E4B-1675-47DC-B760-F682BF9A3ED9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"febefb2fe851431e4036e79fed3f0dff24b9bfcd","datavalue":{"value":"1472.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$881FC0A5-8E30-46B4-A97F-C47E29AC34B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"434c33f32d0718ff499a387c20bcef852380244a","datavalue":{"value":"10.1007/978-3-030-67067-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$C30A8C2C-26F0-411B-B7F0-39E09F37EB00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$D4F7AAD1-F0A4-4115-A02A-358715083FED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234054$7E7B113C-91E5-4866-9452-AAF7B2BD2019","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5de3fbeac1afd87b1dd99896ed6def2d54c091b","datavalue":{"value":"https://arxiv.org/abs/2107.11841","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234054$B212AFCA-C559-4494-BF32-AF95781E8A21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$03914544-8268-442B-87B4-E3B8F5A9066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$D310B8AC-F8AE-4781-93CA-AE552A7E893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$DBE64FA4-0B06-403B-8B65-40FA958F7252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9004edda89e071787194f4b2656d7e2d29cb849","datavalue":{"value":"7410631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$1C58C6DD-340C-47B6-B31B-2DDC46013E07","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":"Q2234054$B0A3E964-86DF-49CA-9916-E3E01BAB67E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87f87e7c8c60f8af44f22c1bf9a3417715fba2ee","datavalue":{"value":"W3118247109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234054$302F41FE-C2EC-4CA7-AE7B-D70B54C22CFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$33E433D5-56C4-4D82-868C-F742551BCF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca2fcee1fd6919a0db354b6be3a6754db0afc06","datavalue":{"value":{"entity-type":"item","numeric-id":2949438,"id":"Q2949438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$6614A22D-E675-41EB-9FB6-7B6C7B136C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a415575615b2e42302790d11e106d39b1608f","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$F26057F5-FCA8-4E58-8300-C38664793219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c7d1f5608b137b63ea8f1b26a9663ae71113d0","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$24B37BE8-4ECA-43EF-997C-C1CD7D72E3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1779b5f575ccf1b8edc931780f3484983b1f4a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2226720,"id":"Q2226720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$EB31B9A2-FE00-48F1-B0AE-15F7C2EA3414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$60B5E17C-549F-4725-B62E-499351C430E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$C3CBE37E-4F54-4347-AB73-F6BF4CC3302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234054$9526E86C-10AA-4094-924D-871CD93B2E99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611a276b3350e83a4f3d2e3cc72a45a8016739f0","datavalue":{"value":{"amount":"+0.8850109577178955","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":"Q2234054$B0E49BFD-BC15-40F9-B745-CB1D64F253EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d672bc119c6f2601b0011fccb9bb2bab36dfaab","datavalue":{"value":{"entity-type":"item","numeric-id":5883578,"id":"Q5883578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ec336a1efd3ee774e8a4fffe6d1f9300b5bacb","datavalue":{"value":{"amount":"+0.8704999089241028","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":"Q2234054$66E3E9AD-76E5-4AF1-A8DF-CBC31D2DF503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a4b3cdbf694de3ab0eb1d2b630f92070d8ffe1","datavalue":{"value":{"amount":"+0.8673306107521057","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":"Q2234054$E1AD0FC1-F5BC-4781-9823-5FD21159AA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebd1f288c92f64e4fb1e8a2b44929aae4f779e8","datavalue":{"value":{"amount":"+0.855846107006073","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":"Q2234054$B59BF93E-5C28-47AB-BDE5-867E7D651FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd427047b2441cd7c4fcf405b2ce2cbcb63eb67d","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169742dd2ffed6fea534912368af5617bf21a4c6","datavalue":{"value":{"amount":"+0.8480554223060608","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":"Q2234054$4F43A8C8-3ED3-4734-8E05-F203E2C8BA37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2234054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2234054"}}}}}