{"entities":{"Q6851635":{"pageid":20606473,"ns":120,"title":"Item:Q6851635","lastrevid":75073261,"modified":"2026-04-17T18:17:00Z","type":"item","id":"Q6851635","labels":{"en":{"language":"en","value":"\\( \\omega\\) pap spaces: reasoning denotationally about higher-order, recursive probabilistic and differentiable programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165634"}},"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":"Q6851635$215B4FE6-6F80-408B-9747-5F5A04E4EA44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd13172b80232ab052dd134bdef17bd888c4d1ed","datavalue":{"value":{"text":"\\( \\omega\\) pap spaces: reasoning denotationally about higher-order, recursive probabilistic and differentiable programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6851635$B75779E2-01C0-4C5D-BD0C-F6B40D454160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bed1d41f6ba16e54738140af226b66a09647603a","datavalue":{"value":"10.1109/LICS56636.2023.10175739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851635$F7D3D7E1-FEB3-4DC3-8AD0-49A5B317DB0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b30bb47b80f3e8c34fd4c6a4979bcba434dbcdd","datavalue":{"value":{"entity-type":"item","numeric-id":2200830,"id":"Q2200830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851635$EAE15E1B-881B-4B15-A258-49BA5B1E1FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb3f562dbf03a5651e1366936b2551ecbc6a3a34","datavalue":{"value":{"entity-type":"item","numeric-id":6851634,"id":"Q6851634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851635$13B9BBC7-02AD-445E-8383-F54D879C1168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3083a5bc3b5401e9ee738dc2691c9700385aa6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2834453,"id":"Q2834453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851635$F5D64AE1-F2E4-4A4C-A113-960ABFDE3361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6851635$121B564B-AAE1-4B12-8169-4D47907C7B6C","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":"Q6851635$7ACF179E-7CBE-4A6A-B632-782705AEDA81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851635$C7F38DC6-A0ED-4589-A4EC-DB2A117D22B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d89c400e283c5cb27f6e58886a3acdb2efb29b6","datavalue":{"value":"8165634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6851635$565F2FA8-72FF-4ADF-8ABD-E99534AAD6D5","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":"Q6851635$B14766D8-A032-4227-AF97-4A823B292442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\( \\omega\\) pap spaces: reasoning denotationally about higher-order, recursive probabilistic and differentiable programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(_%5Comega%5C)_pap_spaces:_reasoning_denotationally_about_higher-order,_recursive_probabilistic_and_differentiable_programs"}}}}}