{"entities":{"Q1418347":{"pageid":1429087,"ns":120,"title":"Item:Q1418347","lastrevid":43094409,"modified":"2025-07-21T11:01:09Z","type":"item","id":"Q1418347","labels":{"en":{"language":"en","value":"Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2029960"}},"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":"Q1418347$12721531-5B7D-41FD-9CC4-17D83F1FCC05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf36bcf3a2f8f423ac1d80a6df9b897338aecf90","datavalue":{"value":{"text":"Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1418347$7AFB7396-2982-4A49-A6AB-8AA25A9DE72A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05449ea7e7cd641c2b0532dd9431bee68897ae96","datavalue":{"value":"1029.00023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$36B60DD5-AEB2-4E65-B1C2-539C8DFE4F44","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":"Q1418347$C222D85F-0120-49F8-895A-5CEB8578886D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eece8731c18cea6d823456633cf662d3142f1ad7","datavalue":{"value":{"time":"+2004-01-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":"Q1418347$952CAB2A-2926-445E-9073-D47CD40E0DE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$B229295F-2CF9-4FB8-861E-6D785281F1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$A355B658-6954-4BC1-8E70-44CE0643D5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$C1D058A4-6B84-4923-90A9-8DD0BE150FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$F036378D-D30B-487C-B4E8-A8301244AACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$2E6F3374-8F85-49A3-98FF-3511157C6376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c488ec4efd2c2eea05d8c50d177c9e5178f95d1b","datavalue":{"value":"2029960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1418347$BBC7FBC6-E2E1-4A07-BD93-506B869EC3D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37eaf806855f4a32bcd1f9952fdbabe41cc17334","datavalue":{"value":"Typed lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418347$EF0F1025-891B-4DF7-9EE5-CC1AAEB0B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3b07639ef1168190617fc35ff7ee5b7cb0cfb4","datavalue":{"value":"TLCA 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418347$E666CC8E-A635-4087-8F4F-F31E57FC9DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03cbb6f07e0b157765764176a5f8249c9220044b","datavalue":{"value":"Valencia (Spain)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1418347$857BB320-D482-4120-A6B7-5F4DB2CAAA0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1418347$CF20DABF-6B6C-423E-B5BC-22A51E60D698","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":"Q1418347$3541156F-0ABB-4F30-ADF8-03246E9EF278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1418347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1418347"}}}}}