{"entities":{"Q1709701":{"pageid":1720442,"ns":120,"title":"Item:Q1709701","lastrevid":53055908,"modified":"2026-01-24T03:27:19Z","type":"item","id":"Q1709701","labels":{"en":{"language":"en","value":"Probabilistic reasoning about simply typed lambda terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856645"}},"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":"Q1709701$BBF1B9B4-4981-46FC-9F6C-6843A51C18D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f8c97a53c1cb9bb4f7628040702e90d06375ad8","datavalue":{"value":{"text":"Probabilistic reasoning about simply typed lambda terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709701$B894D548-B067-4707-82C3-9D1AB5D06A20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32e6b06dfb62ab348a51e08015b490cfc475fee8","datavalue":{"value":"1505.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709701$B5419C07-E0A8-4D48-AD90-604012282527","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68e2e71f1d867943c7ecf02390afc2e3fa2862e3","datavalue":{"value":"10.1007/978-3-319-72056-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709701$0ABDD3B1-0D42-425D-B003-D1FBCC19C0C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709701$D8A2B2FE-19D3-49B8-B9B7-B373BEF08DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce0ce92a3ed785a05d622f72a3c118d17b9cb61","datavalue":{"value":{"entity-type":"item","numeric-id":1709699,"id":"Q1709699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709701$75D11A0D-D603-4C7B-A80F-D27ABA4E9F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b753c216bef75f3fb0fb971413e7ad9468405101","datavalue":{"value":{"entity-type":"item","numeric-id":1709700,"id":"Q1709700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709701$7C74FBA6-E120-496A-AD9C-0A440836B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709701$05CFCB8A-CDEE-4202-A020-D4F1C2C1A02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11f7f11e55ab794a658586709e519d8af9fbb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1647485,"id":"Q1647485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709701$481BAA30-292E-4058-A9EF-DDFB1A51C5B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709701$E466A981-231A-4DE6-95F3-A76C57DE312C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709701$8913C3EF-9189-4A14-A1ED-50296B670D7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"726cac5348cf80575e079219bfc7474afad824fc","datavalue":{"value":"6856645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709701$18565C3C-F2F5-4D6F-A091-FC0C4E385670","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709701$EF1D0603-7E38-40F9-BD2F-13F930056D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709701$82E945AC-03BE-4DAB-8646-3CCCF8F4620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709701$D7127D2A-BE8E-468B-8588-6D8DFDB65065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709701$F204898A-0989-4E1F-A296-A381A4D7E8F5","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":"Q1709701$AD0CDA65-3620-4DC4-92D2-DAEEBDEBE165","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72f445b069efa058d60dac9a95e84bf2b05a4d87","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72056-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709701$51CAF89B-DBAF-4ED5-BCE5-D5D68657BA59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcdf18074a3f99e992132f16663ee3d1bc5a93e6","datavalue":{"value":"W2769599136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709701$CAD87EA0-E827-4750-A01E-62B1D0E0EF79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afff89aed0cd32c368dc28ea9e160650d78eb55b","datavalue":{"value":{"entity-type":"item","numeric-id":3297838,"id":"Q3297838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce99058f851c091c0642545220a9c6c5da771748","datavalue":{"value":{"amount":"+0.7744148969650269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709701$B406967A-D975-4B02-B4C2-F8850F8A32E8","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":"368062f6d5a1ef5c3c3eece95a216c6fded16d91","datavalue":{"value":{"amount":"+0.7650728225708008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709701$9ECF3705-4817-4C21-947B-06B7C7E6AC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5208522e39ce66e94232b8d36122718cb513c34","datavalue":{"value":{"entity-type":"item","numeric-id":4580222,"id":"Q4580222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c793c85108d16e3f232aaa84cd9a863c78117684","datavalue":{"value":{"amount":"+0.755803644657135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709701$A902AF81-E5E7-4D14-8BC6-55D8C79DFD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577b46ed0afb46f602df71296e463a1f781f520","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffe3c0c3b15670fc06ad628049c49dfabee5aa1","datavalue":{"value":{"amount":"+0.7492147088050842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709701$DD3DBBFD-B7C6-42C1-9FD8-B3E320608AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e20076a29920716309cab1079d398be674dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6883aecf8ec9e85d5a4a616b482e5b9fa84309b","datavalue":{"value":{"amount":"+0.7482618689537048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709701$2D883FC5-5192-4C71-A6C9-C0219000161E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709701"}}}}}