{"entities":{"Q4234769":{"pageid":6264370,"ns":120,"title":"Item:Q4234769","lastrevid":41257019,"modified":"2025-04-25T10:11:17Z","type":"item","id":"Q4234769","labels":{"en":{"language":"en","value":"Trust in the \u03bb-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1263853"}},"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":"Q4234769$D417D76E-4537-408F-84FF-23766F8299D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bb45e638bc6df5d76c77e12a82969552ac8dba2","datavalue":{"value":{"text":"Trust in the \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4234769$953D5503-23A3-4B4F-8256-B3227A640407","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f93cedf9860ae0de3c9e76c5dbffad73375fd80c","datavalue":{"value":"0918.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$7C5A47B9-0E40-423A-83B5-C7C9C1C9736C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cbeff24283c97b7e3e2bd921893e4ae6bcbfa78","datavalue":{"value":"10.1017/S0956796897002906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$DF6F63F8-D2EA-4D8B-8A1C-DD4E17239972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a218fc36cf061a50d1210f8b6a3a09d213c09a8","datavalue":{"value":{"entity-type":"item","numeric-id":4234768,"id":"Q4234768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234769$0BD70CF7-1E68-4F8C-A382-7618A9D0441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234769$919C3246-4FB8-4100-9BEF-729F485D4420","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234769$59BCB0FA-D8FB-4244-B5F9-9B07878E6551","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa4cc55ed2ff01c2b68b778bb16c54de07faaff","datavalue":{"value":{"time":"+1999-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4234769$CF9F1F40-A563-4A60-BC1B-D2DBB6F084A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$96E03E7C-B433-484A-8703-206E47446C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$7679528C-E3D0-4F2C-B15E-FB2E6CCE44A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$066ADBF0-BB1D-4350-A2EC-60D51F93673E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f57700486fd427a0ddf1b14220d9771cae5345d","datavalue":{"value":"1263853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$8C0DF96A-C9AD-496B-B1F9-AB3E7EA0F2AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dce3761bd068d0efc2d6ca7127b7f973f69783","datavalue":{"value":"trust analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234769$D188CCFF-36B4-4D47-9D50-861EA3D8055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f56d350b5b90fc1fddf0b43b4d5ff923c1661bb","datavalue":{"value":"higher-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234769$E3584853-36C0-4D24-8D93-646AAF971172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0612ffb2aa8671248b11ffde419728a3009386c","datavalue":{"value":"trustworthiness of data","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234769$C47B1B04-5127-48E1-95C8-47A7F7BFB5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb94627d13e51b7e26bf744dae21464a344bb2c","datavalue":{"value":"confluent \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234769$905553B3-4797-40C4-B473-A56048A0211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234769$8793DB0D-8C1E-4930-B0BA-93DB801B991C","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":"Q4234769$AB6998FA-118E-4A91-BE3C-A7D8B8715A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6f53b69414a9ca05e1a1212bf1b417f49054cda","datavalue":{"value":"https://doi.org/10.1017/s0956796897002906","type":"string"},"datatype":"url"},"type":"statement","id":"Q4234769$7FC57D8F-E17C-41D2-BB6A-4057741D0283","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8500d441d2609bf8056fc5ce018d3e6fe68657cc","datavalue":{"value":"W2106094088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234769$F317B543-1003-45EA-9600-97440592967B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7932b72e11f3339f52a62b28baed85ee719e1445","datavalue":{"value":{"entity-type":"item","numeric-id":5465849,"id":"Q5465849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71b7903877dd9252e8b154085aef887e1c37a0e","datavalue":{"value":{"amount":"+0.8721942","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":"Q4234769$2ADAA779-217E-4FB2-BB00-8A9E01FA7337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5b83a12fbb5b13715d1b6f0caaa7019809fcad","datavalue":{"value":{"entity-type":"item","numeric-id":464926,"id":"Q464926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659ef5dfef58e2863fdb9905723f740fdb2b6276","datavalue":{"value":{"amount":"+0.8716023","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":"Q4234769$B9C3DD96-B686-4297-990A-3054E5FD5F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e63c1ef2e202a234fb6a85d2fc0e0fd52e897a8","datavalue":{"value":{"entity-type":"item","numeric-id":5307995,"id":"Q5307995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49049f4d69bd197725be893a2c7c6a305842e4b1","datavalue":{"value":{"amount":"+0.8641024","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":"Q4234769$429FA9E1-6CA6-4DE5-996E-A24F37CC02BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077d23d54a2bbbf0e7c42bc4e2d079a6f532e6c6","datavalue":{"value":{"entity-type":"item","numeric-id":4427243,"id":"Q4427243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3aec7806490434e67dd9bfc9ee321b4741ddda","datavalue":{"value":{"amount":"+0.8443137","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":"Q4234769$0ED611C3-90A3-408C-AB94-0558EAB1A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51592190ae8ca3f0f39dc21830862c2fbaab706e","datavalue":{"value":{"entity-type":"item","numeric-id":5103717,"id":"Q5103717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd818610425566011908a2bed7d956722d4141ad","datavalue":{"value":{"amount":"+0.84088564","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":"Q4234769$B1106161-5844-4DCF-8475-0A4EA7463ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8aaf9cef634b29eb8693b366b9ee501d6ab330e","datavalue":{"value":{"entity-type":"item","numeric-id":3525111,"id":"Q3525111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96db42c6ed472417a22992e2136b135bc54bd641","datavalue":{"value":{"amount":"+0.8403031","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":"Q4234769$9D3031C3-C244-414C-9105-52773A6E7D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e408e2f03fef7416e7b2ba8851629004bb60cb","datavalue":{"value":{"entity-type":"item","numeric-id":4612422,"id":"Q4612422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5bd7a84a9e1b3fd70bc9cc5e25200c936df0ea","datavalue":{"value":{"amount":"+0.8395465","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":"Q4234769$EF6E3C29-49CF-4F6D-A202-D045D0C7B8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4234769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4234769"}}}}}