{"entities":{"Q6052951":{"pageid":13187107,"ns":120,"title":"Item:Q6052951","lastrevid":41232106,"modified":"2025-04-22T11:21:08Z","type":"item","id":"Q6052951","labels":{"en":{"language":"en","value":"Program equivalence in a typed probabilistic call-by-need functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7741963"}},"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":"Q6052951$DE56C6C1-6407-49FC-A664-608B51DC98B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54ed5a079fe677fb79a211884a545827dcceaad","datavalue":{"value":{"text":"Program equivalence in a typed probabilistic call-by-need functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6052951$AB315720-EA55-4821-A44E-D24E40B77609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$D29F786E-CB7C-4268-AC38-8463944C965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$95E1B38F-4CB6-4F6A-AD15-AC8656DFECCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$9FDADC0B-6246-475E-AE47-A79D3E17A539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75720be84732b5e4c6160ae45afc596463d1f635","datavalue":{"value":{"time":"+2023-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6052951$2F545B84-A328-4ACB-A7D8-0C5BFDE3AB4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052951$4457DB59-47E2-42E6-B9A8-4D26CBED96CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0ac5973ef09358a16d10dfaff3f649f6b0a27aa","datavalue":{"value":"7741963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052951$7673F6C1-BE93-4227-8484-6B6C3478C30B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052951$C3E51B94-F65F-41B6-8FAE-B647BA7CC2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052951$F1FEC1F7-282F-443A-8379-2C359BAA7010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052951$C83ADD54-C0C5-4DBF-88E5-13203CD25B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687d118e73e4351d4699fb648053571b185f3831","datavalue":{"value":"call-by-need evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052951$6B2E43A2-6128-406C-BC9C-65DE39D81416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052951$351B487D-1F3F-422A-A544-2B15DF766949","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":"Q6052951$AB2C7C7B-B092-4549-959E-4F7ED6FA6D5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a05641e4af8274c28b87ddd58d16ba2a9b1ad2d","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2023.100904","type":"string"},"datatype":"url"},"type":"statement","id":"Q6052951$3B7243F7-93E7-4B69-9344-E7C191E73F71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9eb2a6ff2ea0d5d37f4c61cd315aa672e04afff4","datavalue":{"value":"W4385860569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052951$93256C58-A00F-4E15-BFCD-E86D8D45E54F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$CDCB5D41-950B-4CE1-BF05-58F81D25FF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac9d841a78b217213927de568cae647dce57521","datavalue":{"value":{"entity-type":"item","numeric-id":5134467,"id":"Q5134467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$31B0340D-E6F2-4030-8892-EE20FDB105E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$5C656297-77C4-478D-BD54-D3B6B59ED06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96e6ef420e336bd830ba623cd9f00a626f44150","datavalue":{"value":{"entity-type":"item","numeric-id":1126266,"id":"Q1126266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$A7816399-A216-41DA-873C-AD8DF81373F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e13427c7bf9b6df48be0946b9c623a8e8a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$9834CF47-3FC1-4B01-8C71-F3DEF1DD859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6b5d8c44f3e9428846dab903f2a3cb13d0c931","datavalue":{"value":{"entity-type":"item","numeric-id":960863,"id":"Q960863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$53B74A52-2E99-4D5E-9709-4082BBA065C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f815b333bb881989d9b818874a2a5f2de3414597","datavalue":{"value":{"entity-type":"item","numeric-id":4179849,"id":"Q4179849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$EC776226-910A-4C16-9C72-9562A0992591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$433A5881-A3CF-4895-8D76-C18F86E5565B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$54B9E873-885F-4C41-8F6A-346BBB482B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2764b08fc9c2cf581a3f76188486052f05ac78","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$8F1FBAEF-12A5-4C5A-8B55-FAE1EB95606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b85a0716c9176a24fe9f3224d2ebf22b69ed28","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$00035D62-31E4-4FD7-B8F1-087670971B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81da6ef3aa2f362dbf8750a99b64dca0398f256a","datavalue":{"value":{"entity-type":"item","numeric-id":2949445,"id":"Q2949445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$911B343E-47EE-4193-B5E8-6202F967C356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1278ffabcddf1cd0a050c4b53d8c5e2696f3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5150948,"id":"Q5150948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$99414D3F-713C-4B9B-9E00-8575B6B98704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c0ee7f6bdb19e7e6d2bc07518b2abe167f2e71","datavalue":{"value":{"entity-type":"item","numeric-id":5897481,"id":"Q5897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052951$F7B9C9C9-751E-4220-9A1C-9841A6414752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78482e8e2a4a844d747eb6c9ce232612497d0a0f","datavalue":{"value":"10.1016/J.JLAMP.2023.100904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052951$216CDB3C-C014-46BA-A33A-8B48B855ED15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c6815af5bbfc8062ba53753a4d419eed15c445","datavalue":{"value":{"entity-type":"item","numeric-id":2693299,"id":"Q2693299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec9602c4e97bbd7e75d46fdad6fe8e3390a1614","datavalue":{"value":{"amount":"+0.90799373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$D2ADE85D-20C5-4AD8-9C1E-270BBEFF804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9badaf2611c4876a802e2c4209fc032d6497609c","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0686dd248ecd7ae7c4f7f74a15330799c86316a","datavalue":{"value":{"amount":"+0.89389575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$376C91D9-53C5-41BB-8008-ED24BC201C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63e1ef12172f4500386c2fa3000aea9b65558c0","datavalue":{"value":{"entity-type":"item","numeric-id":5897481,"id":"Q5897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6578b3cf2cde8c7085ea52cd7c940187a0e3e9","datavalue":{"value":{"amount":"+0.89300334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$A8152F18-044E-41E9-8AA7-5BB976C87D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5382aead0fa5c8a0205b1bc26de14b9d794e4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":964003,"id":"Q964003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab631638328e19b9e2a4e684352b7c6ff2fd5fa1","datavalue":{"value":{"amount":"+0.87457347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$71A5E183-F828-4A07-B743-D89EC71136ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e72c7a52c0256fbd8305ef164cc8fca6f6cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":5240138,"id":"Q5240138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422fe982ebf8bec5f221e93ec2b27fbd6713b7d0","datavalue":{"value":{"amount":"+0.87318283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$2AAF38FA-242D-43BA-90DE-6F9BDA0A02F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3e2cb873674f36d64d5de2c7b35fafe5d1996d","datavalue":{"value":{"entity-type":"item","numeric-id":2988649,"id":"Q2988649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294319309006e73b51cdd1ee79d203f6ecf122ba","datavalue":{"value":{"amount":"+0.8676993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$F1B24CC0-748F-4F1E-AE9E-C4836C3DF558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354456a851b64483ddc67949f233aa2e71936f82","datavalue":{"value":{"entity-type":"item","numeric-id":1196301,"id":"Q1196301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974d80be3ab551b7260b0ca510fe7ac41562e599","datavalue":{"value":{"amount":"+0.8651908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$423D7C17-27EC-48A9-AFEB-9CCC2E249EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c7c7a8867c58df01cdf665e64f3948dd4130a0","datavalue":{"value":{"entity-type":"item","numeric-id":2323972,"id":"Q2323972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a95ec25f844b110399df7e70a9cedae094b0dfc","datavalue":{"value":{"amount":"+0.8618468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6052951$B4C99692-4D9C-441E-A649-FC0B13F5245E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6052951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6052951"}}}}}