{"entities":{"Q2250557":{"pageid":2261300,"ns":120,"title":"Item:Q2250557","lastrevid":72923361,"modified":"2026-04-14T08:47:29Z","type":"item","id":"Q2250557","labels":{"en":{"language":"en","value":"Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313883"}},"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":"Q2250557$3714580E-1BC2-48F9-8275-2E9BAF1C83DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ac68b1f75329e86e2251ae7f81f17995f7c60fb","datavalue":{"value":{"text":"Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2250557$9C6E4106-8A43-4A86-8333-15263D128C0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a25303bfdf0583c4dacc7faf027682f43c93410","datavalue":{"value":"1291.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$B64A9CC2-D357-4DEF-A30A-723EF558591A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"862f776263563f527b270e88f40d9daae9c1833f","datavalue":{"value":"10.1007/978-3-319-08918-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$515F410C-BBD7-4F70-9D0C-73E5147EC7BB","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":"Q2250557$8B022978-5873-4053-A61C-A2624647088D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2250557$E21507AC-7616-4817-90A5-776021731766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$41B39546-0778-4E7C-8667-1632948EBB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$11D2890B-CB0C-49AC-B85F-8C6BAB762236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$6CB77006-0C35-4DBD-8053-47FB51D04421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$B2069B0C-071A-4773-87FB-9D37F6A338F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$B3E231AB-1228-475E-99F3-9319EDC4764F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$55CA5A15-365C-4170-B691-F7FA71CB0AE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f08a9081060674459a9a29af2f8561d33d431ec7","datavalue":{"value":"6313883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$9761043C-1F73-4156-8ABC-D24465D5880B","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":"Q2250557$D6866648-6FE7-4717-8D1F-D8FBF28BF7BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"512a24dd7ce84121f714c6184f11d063976efd10","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08918-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2250557$C51872CD-89BF-4876-B401-D98F9A9AF73F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1a4edac231b51d37f1015798bc0978c6e3e02f0","datavalue":{"value":"W2506452794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2250557$A2D734AC-5464-4D86-8A99-98CC777058C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_and_typed_lambda_calculi._Joint_international_conference,_RTA-TLCA_2014,_held_as_part_of_the_Vienna_summer_of_logic,_VSL_2014,_Vienna,_Austria,_July_14--17,_2014._Proceedings"}}}}}