{"entities":{"Q2168793":{"pageid":2179536,"ns":120,"title":"Item:Q2168793","lastrevid":55415485,"modified":"2026-02-17T15:57:21Z","type":"item","id":"Q2168793","labels":{"en":{"language":"en","value":"Monitorable hyperproperties of nonterminating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576526"}},"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":"Q2168793$78D842C0-F972-4F81-8C4E-773FDF9A19B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"069d21d1d21fdd4b7a6a2f1698458346817b58ff","datavalue":{"value":{"text":"Monitorable hyperproperties of nonterminating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2168793$92D34EE6-CB20-4A16-B841-77759B9D39C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f1cce2c8be982b9d347683d92e94817bf5d5d51","datavalue":{"value":{"entity-type":"item","numeric-id":2168792,"id":"Q2168792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$1B5508F1-5304-49EF-808E-76C2D8BC9703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b449a928539201a55933f2e6d8daa7f9083f4ae4","datavalue":{"value":{"entity-type":"item","numeric-id":492913,"id":"Q492913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$6BEBC67C-CED1-4F60-8B52-EAED24DAFB02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$EE34EBC6-694F-4A25-9047-2D703B3360AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f73b386990d93a2e672449eec9032448af61ffd","datavalue":{"value":{"time":"+2022-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2168793$7F45A223-122A-484E-88B8-5E3A2BDE4F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168793$A50DD418-B895-4C08-9258-69DBF2698E51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad84ee8a077f76977013b0c865a62823fe6a85f3","datavalue":{"value":"7576526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168793$B2238CB2-253C-41A5-B7E0-0BFA8EC2AE72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2168793$E9420181-0265-449B-A690-C53535B56DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e07122e4dced48fc8d7598669acd23758361389","datavalue":{"value":"hyperproperty","type":"string"},"datatype":"string"},"type":"statement","id":"Q2168793$392925FC-F07E-448C-865F-9EED0CD8BF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914d9e114e4ff15142fdd1593e83e8da26041bdf","datavalue":{"value":"monitorability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2168793$7D6415B0-E35F-4E7B-97F5-5DB30CD62F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0020c51b3f3b6e5e88c4f46f2e9c444e446ab1c2","datavalue":{"value":"nonterminating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2168793$DD71BF43-D486-420F-8E0F-4E2CC03A1D0C","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":"Q2168793$5A829EA2-9095-4A96-AC8F-2802F3DFA337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abb274820cb825f0e92d2e12a69c739378bc04a5","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2022.100796","type":"string"},"datatype":"url"},"type":"statement","id":"Q2168793$FB016B28-8026-4BCE-B522-F22295603E12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10e1027ed6199da1babb5252af3d5c93f99eef7b","datavalue":{"value":"W4288056804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168793$207F121C-BD75-4FEA-83E1-80077F95764C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"54032ffdf82014954cff67ad89642595e692d0e2","datavalue":{"value":"Q114159193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168793$A26B017F-5535-4D0F-A9D5-07353F3B0F75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$BFB0D67C-82D2-4247-A918-3200C99AB3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$0C02CF17-1AC5-4308-8AAE-047CA0BF6901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f94a7a688fad2f0740f2ab8a51a92d4ce36d16","datavalue":{"value":{"entity-type":"item","numeric-id":3303921,"id":"Q3303921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$D44E9AE0-34A8-4642-89CD-E9D70E6C2F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b236c38f6227a0534d2d5916ac862f5ac165be","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$A868D85C-185F-4971-B186-D6C984837E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$9E40148D-70AD-46D2-ABDA-5655C206A2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c12880be5180321915eaec364e43a1e04d35d0","datavalue":{"value":{"entity-type":"item","numeric-id":2147690,"id":"Q2147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$37FB4AAD-46C7-4687-8EEC-479C62CF00A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$008AE8F3-23BF-4EDE-8ED8-59F39F33E242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ee54ec11d06e8a5c8eab19f2efedb4f4c5160d","datavalue":{"value":{"entity-type":"item","numeric-id":3050283,"id":"Q3050283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2168793$DC9A6317-6602-4677-8097-202E4DF24759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4877cd9a699e8baa6afbf30e3cc1db4a78a6a91b","datavalue":{"value":"10.1016/J.JLAMP.2022.100796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2168793$8B6AF38A-D1BB-4783-A44B-7A4835C8200E","rank":"normal"}],"P1643":[{"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":"2abcfdca259e6302fd48163dabbcce3ddaba3cea","datavalue":{"value":{"amount":"+0.8611366748809814","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":"Q2168793$613FD395-6A83-4E5C-A8C2-9DF9051BC4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2858c60f127032c46ef2038c695d969881a5418","datavalue":{"value":{"entity-type":"item","numeric-id":6091406,"id":"Q6091406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd98400f35828e8ea7be3ff70c589239b71f3b8e","datavalue":{"value":{"amount":"+0.839586079120636","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":"Q2168793$02BD6235-0DD5-4B5D-B7B1-6C21299E6441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee4f482cbd40305aa828b7ee8972cff64f77218","datavalue":{"value":{"entity-type":"item","numeric-id":2165208,"id":"Q2165208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098e5537203885578f388b66ee8d52bd9e6a4a4a","datavalue":{"value":{"amount":"+0.8044993281364441","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":"Q2168793$F0C54956-5FBB-481C-8283-5FC78EE49B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81addc712f5dc4a939be6b0552ea71799f3503d","datavalue":{"value":{"entity-type":"item","numeric-id":6535963,"id":"Q6535963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943a1042d1f153b5df7671f0e701cce37ff4c349","datavalue":{"value":{"amount":"+0.8034985661506653","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":"Q2168793$F6624231-8E61-4F52-8F7A-3996DB720322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80848641ffd593195b0f83574a020cefef995e7","datavalue":{"value":{"entity-type":"item","numeric-id":2147207,"id":"Q2147207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f14b49fc626b0e7ae983671d8c251ea1fd274f","datavalue":{"value":{"amount":"+0.7886310815811157","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":"Q2168793$FAC7B418-7E2F-4B15-8A8F-4DF201805C02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2168793","badges":[]}}}}}