{"entities":{"Q6851685":{"pageid":20606773,"ns":120,"title":"Item:Q6851685","lastrevid":75073711,"modified":"2026-04-17T18:18:22Z","type":"item","id":"Q6851685","labels":{"en":{"language":"en","value":"Deterministic stream-sampling for probabilistic programming: semantics and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165590"}},"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":"Q6851685$F50488E0-A2D3-462A-BB64-6C197385FE19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a85d9c8d6beff16358b8ecd172e99d8a72d8b177","datavalue":{"value":{"text":"Deterministic stream-sampling for probabilistic programming: semantics and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851685$18152B17-0720-4F2F-AAF3-54BA4C94F4FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0928df4b85591482c68ad8ae5ae0329317634e43","datavalue":{"value":"10.1109/LICS56636.2023.10175773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851685$3ABE8F4A-D7C0-46A8-99B1-45D9659425C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851685$039890F5-B924-47AA-A98A-116F3B98429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851685$4990C33F-C789-4BBD-B43A-A7F0518000D4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"5e7b0ca9c2b59768402a79c047c950517d5f556a","datavalue":{"value":"William Smith","type":"string"},"datatype":"string"},"type":"statement","id":"Q6851685$C96406AD-CE15-4666-B863-33310DDD4C5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"455f298c112ba20f52f406cc26c4adef06de280f","datavalue":{"value":{"time":"+2026-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6851685$2E29E9C9-5F51-4B24-8BF2-41BC032489C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851685$EA91B0A8-6187-41A4-A6FF-FA131206E3A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf93448e58b5ad5711929191e254f409cab8bea","datavalue":{"value":"8165590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851685$593FEEC3-AF17-4E3A-A894-7D6825DCB3DD","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":"Q6851685$34FB9C03-D55C-4986-988C-E594F21ACDC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deterministic stream-sampling for probabilistic programming: semantics and verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deterministic_stream-sampling_for_probabilistic_programming:_semantics_and_verification"}}}}}