{"entities":{"Q6612804":{"pageid":14223961,"ns":120,"title":"Item:Q6612804","lastrevid":40591016,"modified":"2025-03-07T13:52:15Z","type":"item","id":"Q6612804","labels":{"en":{"language":"en","value":"(Towards a) statistical probabilistic lazy lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920701"}},"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":"Q6612804$59D582EB-7041-40FA-AEFC-9F57932F6C5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19454dc7c8ad13fb49a68c66917fe59d98f5450c","datavalue":{"value":{"text":"(Towards a) statistical probabilistic lazy lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612804$A0BE9212-C212-495F-8EAD-FC0E69B1DBED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eddadea00d2544eeed67bf0d47072b73ce9ef51f","datavalue":{"value":"10.1007/978-3-031-24117-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612804$4C64C198-6364-437E-B629-D334407C0EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$E1DBB59F-42BD-432C-B575-8B7DC9037AB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6612804$820C0847-0167-42B4-AB3E-8928FCBFD312","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612804$D7769FBF-7082-48C2-B25C-7203B0FD4EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612804$32DEC65B-E229-43D0-8209-89B6F23EB9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612804$6082D6CF-28FB-4696-A11C-EA788AE1D17C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0c5344cb4b939b4955a122916075497a6de6961","datavalue":{"value":"7920701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612804$9E49C71E-2638-45A2-A1AD-A8B4DE54C02B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612804$34E255C9-551B-4836-B851-C95EA60547FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612804$AA0D1373-F0FF-4229-BE88-F3B67A69932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dbb9d3cd6102a25d5e627d7130ef0d9851ab1e","datavalue":{"value":"open bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612804$548043C0-6ACB-4499-91F2-D5CD25BABABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612804$8C3E3712-2DEE-4B7B-9B6D-D443FCC574D5","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":"Q6612804$A69E11DA-8DD6-4E4F-B675-2049B1D02246","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$DFFD0445-BDC2-4553-AC3C-36DA919F4DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$4416A00E-67EB-4621-A171-E9841C3922AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b678264d2d2d9e0f9750b5f2983826108b789e68","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$F65F0C30-6D96-4260-AB2D-8C8E0B6A5860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$607E8F9C-86B6-4ABA-8602-41FB8098BF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$C4150295-7C37-4213-A7B9-7DED78B34C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03b10f7e874d00935cb146b30cb8dd54c21227e","datavalue":{"value":{"entity-type":"item","numeric-id":618031,"id":"Q618031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$2BA0BA6F-1662-41FD-A270-9FE416C4C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$A6CCA32D-5C36-414C-BD90-6B39F86255F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bd0ebb5ca7f1cb78884a9ce263e1bd5e6bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5738959,"id":"Q5738959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$77C25C16-7B30-4A05-AC7F-2472D49BB36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$C6DF0789-BFC4-466F-ACA8-E3A19595A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$66BFB6E4-1AC1-4734-861D-E87D3B20856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$E52F46DD-5C5D-4D47-92BF-B3E2409FD759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18575257a2c0f53473e2c8e64ee6959b10c070fd","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$EAA1B091-AD3F-4633-A882-7E7524C98F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$E49E6F54-C96F-4FBE-B138-6AAF9954D766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$DF975012-96BC-4075-A34B-AE8B9F8838D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd75c7353be06e140b223225de0ecd826d5d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$6AD51197-7FB9-4F88-9598-EEE256E551A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0423b3d870ec0fb8cc9941bfee9a568a13ceb346","datavalue":{"value":{"entity-type":"item","numeric-id":6489030,"id":"Q6489030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$60D25A7A-68FF-4B61-A845-0CFB24607B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c45e451fd0f7a92a5994a15590d3cd4011eba","datavalue":{"value":{"entity-type":"item","numeric-id":5144684,"id":"Q5144684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$487D029F-273A-4C56-AA9A-2D80AB587880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$825C7EA5-BAC7-4809-A3F6-B86B4F37F077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84b7dde39c5e707e29809fbd34028722da531ce","datavalue":{"value":{"entity-type":"item","numeric-id":1652964,"id":"Q1652964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$1012B432-6E6D-416D-8510-8C00A003066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb7d511f8aba8436e91765e2ab29c0ba2c0f389","datavalue":{"value":{"entity-type":"item","numeric-id":3636798,"id":"Q3636798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$07CB3A1D-7857-40B5-8E87-592606087F38","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":"Q6612804$8567B20C-A8AC-4A73-86F0-204DF58F49F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5a6f84755ad43a773b6ab5ee14f3400a8f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4222969,"id":"Q4222969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$B241C63A-376A-4D65-B584-CDF984DCD32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$745E11AD-E7FE-4FFA-BC52-7B43CCCA6760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b517ab757734a921988c1657cb27dae876340a6c","datavalue":{"value":{"entity-type":"item","numeric-id":1295303,"id":"Q1295303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$9E4DF237-3779-4099-9A71-23A2D116B7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8315bbf95312796cb6ad16a384a2b0559e0c4b91","datavalue":{"value":{"entity-type":"item","numeric-id":4635649,"id":"Q4635649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$CA2BCBB8-F2BE-4704-A6E2-A95A9DF6ED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$7289326D-8636-438A-99AD-623353D4C5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3dfe523cf6b1b1ad173ecaa0eb43d55081d1807","datavalue":{"value":{"entity-type":"item","numeric-id":5204341,"id":"Q5204341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$D620017C-E903-49DF-B2D0-8E9480FBB482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$2D8B490B-F870-4BB2-BF91-098EBB41650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$F04207FB-8BEA-44DD-B9DC-C91E645F8D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$724A593B-866A-434A-9F13-FF03ABFC2BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e290f57a1e4e293ccc3fdfa33b0b64a4f73d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2828300,"id":"Q2828300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$7D488687-E1BE-4947-B22B-A98B30F9DB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$2E73E244-86FA-4777-AD2C-4FF5734F75B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9a991a2c760ee7428a40bd667df868cd32c9f9","datavalue":{"value":{"entity-type":"item","numeric-id":3184753,"id":"Q3184753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$3DBE1B34-CF72-4DED-B595-24C7B14FF9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0322dfbd67af5f26116f993792fce80af8c9a45","datavalue":{"value":{"entity-type":"item","numeric-id":4417860,"id":"Q4417860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612804$A2F277A2-55A0-4445-9FE0-DD21643712E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6612804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6612804"}}}}}