{"entities":{"Q4603430":{"pageid":6633013,"ns":120,"title":"Item:Q4603430","lastrevid":58300845,"modified":"2026-04-04T15:26:46Z","type":"item","id":"Q4603430","labels":{"en":{"language":"en","value":"Random generation of closed simply typed \u03bb-terms: A synergy between logic programming and Boltzmann samplers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6841149"}},"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":"Q4603430$B2AFB006-157E-4ED5-9D83-33E54515CF94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"368a541f73950d9f7184a933ebc057c941bc306e","datavalue":{"value":{"text":"Random generation of closed simply typed \u03bb-terms: A synergy between logic programming and Boltzmann samplers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4603430$6EE9B1DD-A043-4A41-A438-654C5A852AFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11bdecab516dc6c2fdf0c2c9c8dfcea980d0c3a8","datavalue":{"value":"1425.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603430$BEA1ADF8-891F-49B2-9E3A-E10F43A5DFCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0300d9c69ce4774ff29a83aaebe7329b5e93765a","datavalue":{"value":"10.1017/S147106841700045X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603430$E9E9EB6A-BC31-46D1-B755-8B052BB12DCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b03d965b708db71b66f91ec8846bbddfbb03ef","datavalue":{"value":{"entity-type":"item","numeric-id":2327213,"id":"Q2327213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$33226621-B82F-4A2F-9918-444028D9D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$8BC4696F-E433-4461-9F70-50539C916380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab9c3115ba643d68fc4878b05a220fd5206e3717","datavalue":{"value":{"entity-type":"item","numeric-id":2376303,"id":"Q2376303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$2F9265B8-BD97-4F40-BAA5-911C15154140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$903F85B1-14BE-492D-AE0A-8E4CDF891B0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89e9697ececd3e3495e15862459be636d773c40","datavalue":{"value":{"time":"+2018-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4603430$2F6C6C40-F468-409C-896F-862D63C9509E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"722077faea6f277188a5aa6db62375fda7692fdc","datavalue":{"value":"https://arxiv.org/abs/1612.07682","type":"string"},"datatype":"url"},"type":"statement","id":"Q4603430$D41278B8-DA56-4B30-9409-9D739E8715CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603430$87982247-2506-4552-B2B2-30561B5CE229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603430$697EEC96-A9A9-448B-A061-069B6D81A106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"773f996b589f3cf99975f0e560915ef295862c60","datavalue":{"value":"6841149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603430$D4D76F87-3193-44BB-A5BD-9411DB62C279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"896af28011f723f5d02aaee4460dc7312b962ab0","datavalue":{"value":"Boltzmann samplers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603430$C66DAED9-CD20-4517-A9AE-1ADCC2AFE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99bd58704d908aabd09a80cc1440cb2d1bf13875","datavalue":{"value":"random generation of simply typed {\\(\\lambda\\)}-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603430$8644B1D8-0ECD-4C67-AFFB-5E666114F8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603430$59E7B5CF-4AA6-41EE-A8AC-CC1E05D4A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b721c3b8481a8d947e779ed08f8546bef1db70","datavalue":{"value":"combinatorics of {\\(\\lambda\\)}-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603430$0A33FA2B-39DB-440A-8866-04F5B8EB8711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2b6d35ef9b204f03b26bcd1107028121253e0b","datavalue":{"value":"random generation of simply typed normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603430$57BC4EB9-4D7A-4551-BD11-1207724D47B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0fbb4dea1cd0eaa9bd027aeba39531953fcaa8e","datavalue":{"value":"parallel implementation of Boltzmann samplers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603430$5DE96140-6C7F-4819-AAB8-AC7906C08EA8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$90B72F83-715E-4B5A-91F4-399A8B8A9D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$A9A519E4-3A1A-4FB7-A12E-1493AC28C73F","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":"Q4603430$AC376967-287C-472F-8B68-827D307B55DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b8f69189173aa4ba19756ce3c57a9c34200a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$D3B35057-4E0A-4168-8CCB-205AD9B70250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8be9e405b66250551af62b1aff8084b733ee11","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$43419A41-7404-4E41-BC83-3B431B5A8F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b5d2fd7b9bb1c9a40ed26912c577529c27ee9a","datavalue":{"value":{"entity-type":"item","numeric-id":2973215,"id":"Q2973215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$8A4C2CFF-A6D4-4210-AB9F-CA2B0E58494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2952ac915f2cca31818fefbfaf85498ff6aa1f","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$CB3BAAFE-1A73-4A81-A54E-6A500E37F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$4A4131B4-9E4B-471B-858D-281D608C380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e992fdac545c09ed0723ce6c4b81879caf7dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4670356,"id":"Q4670356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$33468361-ED7F-4AD4-ACC7-81B3A2F61A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$0E27F4A7-8BF3-433B-9817-23C01D7F1F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddb8400e0e4fe44c62fc549cdf01587605b639","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$916BA58F-A01D-4C6C-8794-C6D49D454F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603430$AD9FC1FF-97EC-41FB-9097-D6C42B5ED4A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f91487e848a46619a5a140482842c9133ef19c","datavalue":{"value":{"entity-type":"item","numeric-id":1709701,"id":"Q1709701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b6531871784c5d69aff0bd3cdf8ee3633db7bf","datavalue":{"value":{"amount":"+0.8482665","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":"Q4603430$8A8AA2C4-F5E0-4FE7-884D-458A78240714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ac80237683eb0b06ca0314c4e5d9c2c12662e7","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de950deb5597dbf7f335307fd668d433c6d35c4","datavalue":{"value":{"amount":"+0.8372241","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":"Q4603430$3E72BAE1-6913-4559-8EFA-3AA81E6E25F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2a4e590640dea605fd578b257063ab82f4b095","datavalue":{"value":{"entity-type":"item","numeric-id":2287195,"id":"Q2287195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bfcf883f78356c36333f68c551b300ba41d87c","datavalue":{"value":{"amount":"+0.8303129","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":"Q4603430$C140B27A-B647-45F4-9DC5-48173CF8AFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff882f4f65980bc003c20f3358de6cd63413929","datavalue":{"value":{"entity-type":"item","numeric-id":4988930,"id":"Q4988930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d34f3ae97bc5b86d95199812c353bc881a44af","datavalue":{"value":{"amount":"+0.8271265","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":"Q4603430$3753EF98-1E6D-459B-AB6D-755286A39223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79c643ed2eb6f64d3c5a50ab38aa863a767695b","datavalue":{"value":{"entity-type":"item","numeric-id":2866317,"id":"Q2866317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6018bf0d360f5b7ef2b0a4d8347eb6478325e1d","datavalue":{"value":{"amount":"+0.8259465","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":"Q4603430$F33FE6FB-12C8-4872-A4E7-1914E6CFBE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4125f32f53da04a452e3e80afa4440b3250230","datavalue":{"value":{"entity-type":"item","numeric-id":3477944,"id":"Q3477944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c95ecdba9b716c158a49dba2375564660d41666","datavalue":{"value":{"amount":"+0.8208177","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":"Q4603430$5B2C3102-B013-4959-AB08-503583293740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a52fdcaa91a3266615557d6aac24b1403df4ba","datavalue":{"value":{"entity-type":"item","numeric-id":4259967,"id":"Q4259967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fb945150e9615dbb9a1dd556d31f468fb42b1f","datavalue":{"value":{"amount":"+0.8166911","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":"Q4603430$3A246938-B937-44BD-978F-3BED80776E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d7e2c333ced7a33682a69fee6f4e681661f448","datavalue":{"value":{"amount":"+0.8109157","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":"Q4603430$57947B00-E84B-4BBB-ABD6-DBE675A41C52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4603430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4603430"}}}}}