{"entities":{"Q6487300":{"pageid":14066069,"ns":120,"title":"Item:Q6487300","lastrevid":103367795,"modified":"2026-06-06T07:14:39Z","type":"item","id":"Q6487300","labels":{"en":{"language":"en","value":"Statistical Model Checking for\u00a0Probabilistic Hyperproperties of\u00a0Real-Valued Signals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628091"}},"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":"Q6487300$3F5A3C99-DABA-4886-BC0C-988FC94E7259","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c88c27f6a37828620740ac146d699ce7363e02c","datavalue":{"value":{"text":"Statistical Model Checking for\u00a0Probabilistic Hyperproperties of\u00a0Real-Valued Signals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487300$4D714C03-1C98-4E1D-B9B6-0281E8598E20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24d120e3fbb5fc417e951edac96f155a0f1dc80c","datavalue":{"value":"1514.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487300$3DB1BEDB-378B-4BEA-9147-C0012BFF19F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8b59cb3f23090e2f9f03f93a40d1906a1279194","datavalue":{"value":"10.1007/978-3-031-15077-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487300$848A0872-9107-425C-B2E7-653446D092D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67c2943f2d42b0889f2823fce89d34a4999b06cc","datavalue":{"value":{"entity-type":"item","numeric-id":6198463,"id":"Q6198463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$A7F98C45-5916-4CB2-A4F9-08A08E5E817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79f55d4de7d71bb4ffb5333a5d009d1cab68942","datavalue":{"value":{"entity-type":"item","numeric-id":964493,"id":"Q964493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$B0C5441E-63D2-4A46-B5AB-581CEA1F71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$F2635937-65BE-4EBB-9854-D24C0962EF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$F251C086-9920-45C4-A73F-288EA7A62FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"104fbc3377339182c599ab57a5ea62dc6b2b1597","datavalue":{"value":{"entity-type":"item","numeric-id":782602,"id":"Q782602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$E57BA833-4265-40D2-84E6-4192B51A9FEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487300$AA342501-4E5C-4466-8D52-B65195E8696C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487300$B316FBA5-9E9C-4AE2-923C-BDE16BF454B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145a6ab63e84a986963aaf154925faeace4da7cb","datavalue":{"value":"7628091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487300$5040F545-7058-4DDC-899C-79C70AA2825F","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":"Q6487300$22C337DE-408E-4A29-B76B-C7FEA8D00059","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4487bbf1975ec8a8efa423b9a88974b14b2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$2E97B12F-30FF-4027-A50A-971E08A85840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$D6931D42-8CF9-488F-9735-52DF8BD9D4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0dbcf0b939e6f2c5c1ce50532e662090299e78","datavalue":{"value":{"entity-type":"item","numeric-id":5178841,"id":"Q5178841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$0D81D37B-58F4-4505-8AFD-343C7D04577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$EDA62A82-192A-4F26-8A12-7E7E7104E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$8DAA0BFD-AB40-484C-826C-80E1B880DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32ba8fe5a09708557448064664d55d2e320618b","datavalue":{"value":{"entity-type":"item","numeric-id":3172845,"id":"Q3172845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$AF62177A-378E-4D71-A235-7E84697446ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40531d341fd8cf721b83d156f266c394aeed15c5","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$D07AAAF4-F12E-4C7B-92FE-019A75E753D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7307bc2d0d53679a504e4d1569b07360d86d3f","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$0366E3AB-EBEC-4B8F-BBAE-E979606DB639","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":"Q6487300$B5C0377C-B864-461B-A3E9-55939B30B84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497cceac7d6c6acd7624c65e3bd42c3b938c2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$51694AAD-D3AC-4E01-B1D0-C41C7B9AE3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$54CA0F12-61BC-4B05-A6DA-60B28195FF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487300$21CC27FF-0775-49DA-9551-1DD812A909E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e27ffb4ae9d7da23a5ac37c428f13cd688867cb","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f8aae7ac59205de628c6385b4d5da12cc3f446","datavalue":{"value":{"amount":"+0.8121246099472046","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":"Q6487300$87F8F90D-EF83-444C-B55F-ED8750A85329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aef54c234756b948016b96b86871a47d7ca205","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04044ad608bbc0ec6c77ed066447b283cd919765","datavalue":{"value":{"amount":"+0.8056108355522156","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":"Q6487300$6BC68F66-2D4C-49D0-B77D-3F59D9B74ACB","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":"917b03e0a7907eedac72c9ad396d245891c506ac","datavalue":{"value":{"amount":"+0.8000155687332153","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":"Q6487300$128DD88F-C214-4AA2-8EFB-7F9F9755FD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec693fcc7b4ad2c0e8c3f778ededb893262fdbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2165513,"id":"Q2165513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fee9eeb98412d4b750953dc361070be6e6dc93e","datavalue":{"value":{"amount":"+0.7986980080604553","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":"Q6487300$E7BD430E-BAA8-43F7-B298-04CD6023E5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb6c4c219ad9e252d794ef7beacb6a3d6abdc4d","datavalue":{"value":{"amount":"+0.7975578308105469","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":"Q6487300$173CBE40-0DBC-4854-88A4-8AC0F8F2483C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Statistical_Model_Checking_for_Probabilistic_Hyperproperties_of_Real-Valued_Signals"}}}}}