{"entities":{"Q5704007":{"pageid":7733561,"ns":120,"title":"Item:Q5704007","lastrevid":101621192,"modified":"2026-06-06T01:51:00Z","type":"item","id":"Q5704007","labels":{"en":{"language":"en","value":"Typed Lambda Calculi and Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2228176"}},"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":"Q5704007$A69D24D0-5EBE-4C1C-9A50-F91DD3E98F1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73a3a18fd4f9a73dac674eb46dece6dde9774fa5","datavalue":{"value":{"text":"Typed Lambda Calculi and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5704007$FFFFBBAD-6FA4-4578-AAE0-3D3750C2EE9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7bd5170ec631937589eefa352b8f00119631b5","datavalue":{"value":"1112.03309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704007$834187D4-FD66-4C6B-B884-5604AFA99801","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704007$21003CF1-7E0F-4EDB-B738-779CCB894930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704007$78C2F797-1B7B-4F52-882C-243BC4FB5C10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704007$B88B9E8C-68E4-4E78-A187-833E2B1BE2B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59508cd451bab65a68ea04963062f54c961f9d5c","datavalue":{"value":{"time":"+2005-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5704007$5CBFB9F8-DB82-458E-931C-B7B5762A4C4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da2af8d5b8929c0212c9af63f96bac386997ef0a","datavalue":{"value":"https://arxiv.org/abs/0905.1034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5704007$B2AC99EC-5947-458A-BFAC-45E96F22B391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704007$B1AB1F0F-F29C-40D7-87F9-29FB68D7B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704007$4C438A2D-B243-44CE-AAA4-DFCB6117AC5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c247878a1c773cf994460cb14fd040a5a52805e8","datavalue":{"value":"2228176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704007$5A69FA3F-CB66-4423-9A70-535BF32B1E96","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":"Q5704007$ECE18E9C-BE51-4846-A76D-D9E2CBCDED74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11fa8804b3589dbc2f5f09894719968e903a7549","datavalue":{"value":"W2501230561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704007$A878DA2A-B6FB-4542-BC86-4A25F40BC818","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34d5ed23ed51f8335b8570e8fd85521e50c35dfe","datavalue":{"value":"10.1007/B135690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704007$406D4D79-942C-4EEB-B4CD-1F31DF695CBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d079086eca1e7cfe66290093d95e8c7ac8c71f19","datavalue":{"value":{"amount":"+0.9244257807731628","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":"Q5704007$5E5A7F77-49BB-4589-B62F-3EA9A375E26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a59cc9f998e01330f563136f238af0aa7062f","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea2580d22bf712632ff5e4117c069c92d0ebd33","datavalue":{"value":{"amount":"+0.8815182447433472","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":"Q5704007$26878B34-72CA-48F7-A5AB-6F2B668E469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311129986e338c879f28527b6a269f8381609c7","datavalue":{"value":{"entity-type":"item","numeric-id":5367073,"id":"Q5367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1672465c2ff0f6f87383fa86b99d2c0b679685","datavalue":{"value":{"amount":"+0.8800080418586731","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":"Q5704007$DA8B6612-5B5A-478B-AA08-771F90F53F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e62011c702ac3a7d2d164da01b062eb3f729fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1881230,"id":"Q1881230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb5d7f3fd8926f3ec08c9fa213b3ae6fca8bec8","datavalue":{"value":{"amount":"+0.8565475940704346","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":"Q5704007$AA1DF03E-B48D-4773-8ADD-E91FD02185F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf8d9f38390e860597c391b0a34415c705810d","datavalue":{"value":{"entity-type":"item","numeric-id":5714454,"id":"Q5714454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e493f90e3a24d900459a3d9a917f8833d72cab9","datavalue":{"value":{"amount":"+0.8558040261268616","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":"Q5704007$BF5687DA-CC40-4E72-BFFB-78783D1DD4A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed Lambda Calculi and Applications (scientific article; zbMATH DE number 2228176)","badges":[]}}}}}