{"entities":{"Q6596679":{"pageid":14207836,"ns":120,"title":"Item:Q6596679","lastrevid":42370793,"modified":"2025-06-13T11:07:16Z","type":"item","id":"Q6596679","labels":{"en":{"language":"en","value":"A possible worlds semantics for trustworthy non-deterministic computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7905195"}},"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":"Q6596679$F0F9F861-A84F-46A8-B82A-B0B17C9ACF89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe63f980576a9e5f6fdb0c76bd2bc4a8ee58ad0a","datavalue":{"value":{"text":"A possible worlds semantics for trustworthy non-deterministic computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6596679$8254B642-CE6C-4C51-B42C-9FD6BC5FC354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6a5a6cb5001a449fcb5c2d9995d12066e49878","datavalue":{"value":{"entity-type":"item","numeric-id":2695386,"id":"Q2695386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$AE0EA174-2C28-4BAD-A636-5826CF82B4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$172DC496-E913-4B85-9B8B-4E27D3D67E0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$0819E7E5-3485-4924-BA14-B1C288CFA79D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc786b40d8a5fa87ca182c2b12d1c6b9468c5a","datavalue":{"value":{"time":"+2024-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6596679$D1A342BB-F729-4EB7-B69C-0E5FB9F93103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596679$3C19506E-FD0D-47EF-9781-C6037013E950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596679$E6D6E9F3-5ADC-4D43-B424-EEA6AD9EB0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596679$8070B984-4619-4A92-9460-29BB0832E3B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dedccf3367e7090b70a5cf5a9a80a55970011095","datavalue":{"value":"7905195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596679$56E7C2FD-6460-42E4-9221-C76EC2A642FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7496a44ec564c1388f6ff37213e1b1eb350bd908","datavalue":{"value":"trustworthy AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596679$93BC099D-3BFE-4358-8F02-8EE3DEBC0BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596679$CAC1B1EC-E99D-41B4-8C17-4E6EF01425D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596679$8F2197D2-0F83-41D5-BCA1-391F6CBE8D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c33cab6110c2a06f64312eea4b0cf0ee1b1792f","datavalue":{"value":"typed natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596679$3C715DF1-B9E7-41C0-B87B-26F3B6D3EDE8","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":"Q6596679$972CF7DD-0085-4D3C-9D13-4484B7CED620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cca6d876f2caf604a3965ab1112f0fb1072245b","datavalue":{"value":{"entity-type":"item","numeric-id":5096428,"id":"Q5096428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$7DE04D0D-28FB-4595-9DBE-89D9424B8E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7849d463038e5c67c51f59ab8ccdcbf69de2f60","datavalue":{"value":{"entity-type":"item","numeric-id":1712933,"id":"Q1712933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$AC44D60A-4EF3-4757-A7C7-394E186E1941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84315b2f7f1f1d42ab25304495cafc5e9fdd3aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5145343,"id":"Q5145343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$731538C4-6BAE-42AB-B1AF-6159F4505FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62010ffa69a7b2eb45ce539cf9eeb7e887dc0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1024132,"id":"Q1024132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$38F5C73D-4B57-461E-BB97-DF6BDE4D4F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ae45a733e58a2861b023534396985211e3697b","datavalue":{"value":{"entity-type":"item","numeric-id":1403404,"id":"Q1403404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$C8197F0E-5793-431C-B072-65060C6CBA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6680c6212d0de274172c2b027fbf73e41a69267e","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$DE9B3715-6942-4D51-9262-35DFA89A8474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d4248debc07160dfa8cad155595771faf030f5","datavalue":{"value":{"entity-type":"item","numeric-id":5307995,"id":"Q5307995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$2465273A-0813-44C6-82DE-4FCDFE32717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0991eb890cbfb6af2a65506638ba31c89c542ff","datavalue":{"value":{"entity-type":"item","numeric-id":3297838,"id":"Q3297838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$B5DC1D9B-DA42-42CB-933D-9A096011F03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$5A631F42-AD63-4788-9BBC-7C214C10F445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2268470d2fc7868bb77792012caf2f6a4588d601","datavalue":{"value":{"entity-type":"item","numeric-id":3476790,"id":"Q3476790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$76082EA6-5CF1-4CA2-9BCE-3DA663BEB739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$14434C2C-445A-4230-8C8D-3E0192AFE1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$FD0BC5AF-3E4A-455E-9815-ABC81EC6B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b27da3b2744cf481457dc8b05c1ab4553cf7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1709701,"id":"Q1709701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$DD2D042A-BA1E-4CD2-8B25-DB7967B8E70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a5a38bd7ff094cee7f779c5d6011cfeb04a8cf","datavalue":{"value":{"entity-type":"item","numeric-id":1036054,"id":"Q1036054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$40B37713-DF81-43D1-B025-9D6070A578FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$CF3B4DAA-0D25-414A-9A7C-81A25DB4CBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f9f31066546e2fe43201c220ba9930f1c1f386","datavalue":{"value":{"entity-type":"item","numeric-id":1403403,"id":"Q1403403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$2BDAC99D-E88B-4D8E-957A-57439925C94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec1d0fdd3fd9fde2d7e31c1dead171c9fdc9a74","datavalue":{"value":{"entity-type":"item","numeric-id":814504,"id":"Q814504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$E35E3A97-C44D-4D8E-926C-768C4AC937DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$6EF0F6F2-5D8B-44C9-9FEF-9A9965362F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f64f7f4b09a2028a90d9462c50836a8fe13af1","datavalue":{"value":{"entity-type":"item","numeric-id":4995620,"id":"Q4995620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$C4B7D75E-84E8-4CF2-BB08-50738487E27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a561b071d3f271bd9be1d98c34037c33174b12a7","datavalue":{"value":{"entity-type":"item","numeric-id":420842,"id":"Q420842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$9ED27BB8-70EB-481A-9DC8-AAF3CD67554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a371d889a28a6660ad297d8f9fe019a17d18616","datavalue":{"value":{"entity-type":"item","numeric-id":2148840,"id":"Q2148840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596679$1A9AE199-280A-41BC-82B5-0703991F3D77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e071fd2b9dce54d995ab38d91ac0ca62dd9071","datavalue":{"value":"10.1016/J.IJAR.2024.109212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596679$B18757A7-CA34-481D-9E6B-6F69002D7997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6596679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6596679"}}}}}