{"entities":{"Q6485910":{"pageid":14064568,"ns":120,"title":"Item:Q6485910","lastrevid":47792437,"modified":"2026-01-02T17:14:54Z","type":"item","id":"Q6485910","labels":{"en":{"language":"en","value":"Probabilistic Hyperproperties with Nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636264"}},"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":"Q6485910$ABB35475-CEDC-450B-8EE2-0EB63EFA4010","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0be872bd2de41373f293bbf8bea280168f4779","datavalue":{"value":{"text":"Probabilistic Hyperproperties with Nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485910$CBA4B96A-9F90-444C-BAE3-FA67812A0873","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f94bf263793016405f00a47c6126d832c1943f07","datavalue":{"value":"10.1007/978-3-030-59152-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$A1E21420-967B-4096-96A4-13C9C31F35BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485910$16BD627F-3648-42BF-9765-8E17174C2151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485910$624CC730-1EED-4F71-93D1-E1111A6741BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485910$905EFD2F-3A65-415B-829F-C7AB9C6CBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7edd4e9ceb648426cb5dc813feceeeef6b37b366","datavalue":{"value":{"entity-type":"item","numeric-id":2105473,"id":"Q2105473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485910$64CCC54A-4580-49A5-B21C-4296CF889E2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"315af6c4108a61e187c7a2274e181a0a6e257bfe","datavalue":{"value":{"entity-type":"item","numeric-id":6485909,"id":"Q6485909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485910$6FB41280-D64D-4189-9C20-BE18F092594B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485910$593732EF-A524-48E5-9B6D-72466CD403D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$4D8A0E3B-56D3-417A-B9E6-8355E670D3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$DAAF9559-323A-4BCB-9DE1-435D53622A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$B5A82EE9-0255-4202-94C2-78273DFF9AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$05436441-0CEE-4BA4-9791-AFFDF42D7C70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c69b8fb716fef000347331fd0d4aa0bbe310470","datavalue":{"value":"7636264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$2BA42EE2-818F-49A5-84DD-93CD0A49E2C8","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":"Q6485910$DB3C65B3-0238-4EB4-AB4C-5A37F55294B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c353eea0f1d3fb05bc3966f176bbd9dab405f45a","datavalue":{"value":"Q124212502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485910$F7D92113-CA53-4DB7-AA39-B0629FDD769A","rank":"normal"}],"P1643":[{"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":"1dab5ea52bedd4fe31a9d96ed5fe474ee847420a","datavalue":{"value":{"amount":"+0.8960034251213074","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":"Q6485910$B7BFBD05-26AE-4C02-A7DF-A069725988C3","rank":"normal"},{"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":"6820b1bfbf47e397ec7c64eaac44fa9ab866a123","datavalue":{"value":{"amount":"+0.8561882972717285","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":"Q6485910$EFD4EE12-33C9-46F4-BB3B-77DC99FB829F","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":"7c45c879601b1f0d9c5b4ea4ca552e3a117e3567","datavalue":{"value":{"amount":"+0.8462053537368774","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":"Q6485910$49EC7944-147B-40E3-9C94-6D7DCE7D325C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f0b1a0faa4416918ff94275b2c5ce585b35d7d","datavalue":{"value":{"amount":"+0.8129315376281738","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":"Q6485910$BC5602FA-83F7-4C4B-BDED-E1D11F79E9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ce3f92983745a21110dee7418d721b16e3bfd4","datavalue":{"value":{"entity-type":"item","numeric-id":6487300,"id":"Q6487300"},"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":"Q6485910$4B62FE22-23A8-40AC-9633-DEFDFC4D6886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485910"}}}}}