{"entities":{"Q3540177":{"pageid":5570081,"ns":120,"title":"Item:Q3540177","lastrevid":50499131,"modified":"2026-01-14T05:22:26Z","type":"item","id":"Q3540177","labels":{"en":{"language":"en","value":"On the Relations between the Syntactic Theories of \u03bb\u03bc-Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369494"}},"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":"Q3540177$59C7DB1C-9B2F-4FA8-9CCB-CE9CFA12B014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8161b0b41fb21b5926fa2b1dae881d943943da5","datavalue":{"value":{"text":"On the Relations between the Syntactic Theories of \u03bb\u03bc-Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540177$F53D1112-17BD-475D-9045-A36F090CDFE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf2081bc14dbad3ef7ba830e53b11cb838a5d5c1","datavalue":{"value":"1156.03317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$62189E5C-9B93-4467-8899-7955B2257CAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2d0ed97b89dfc83188ccb3c16055a078ccca9eb","datavalue":{"value":"10.1007/978-3-540-87531-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$ACEB5784-01A8-4CB8-B9CF-896C39F21CAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540177$1B03CDE0-37A9-467D-B8A4-E1ACCEF44B1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540177$33E8DD7D-845D-40E2-A568-F4089458F9E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-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":"Q3540177$D87CAAB4-2EE0-4CEF-B22D-67665ECA884B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$CFB9290D-4AD8-40A1-932C-9C84B3055066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$EF45F725-93BB-4DD7-AFA5-C03C0332B326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$0AF13A4B-64C3-483A-B603-05F4849F9D09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4037d618a4530a22959bae5df5fbe091dfc650a","datavalue":{"value":"5369494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$B78DC740-CAED-4738-8377-3F163DA7E234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cc30c03f732bebe0012a6c15381da640950cf","datavalue":{"value":"classical \\(\\lambda \\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540177$2327B7F3-E258-4946-B122-2EB69000525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6010f283f3c468585e34cb858cfebf915de7ec0a","datavalue":{"value":"\\(\\lambda \\mu \\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540177$C475A378-1E90-456F-84F0-22AD68C0B917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540177$69DB353C-77F3-4D6A-BA7B-97865C4B60EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540177$BEA86290-F5D3-421F-9006-32FA16BC5356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540177$3D04A201-8B00-45A6-9584-BE8323C4AA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540177$80BE15B5-E830-4F73-A1BC-632CEEE776BE","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":"Q3540177$E60F8746-4871-4EB2-8D83-01409C907B5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30a6f895674f456af2074765dd94b14ae5afd52e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540177$819A5A80-7DF9-4BF0-9D50-536BFD9D2CEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29d102238d05d0725ec01d8be2df64130187c0fa","datavalue":{"value":"W56376262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540177$D10ABDD8-4D4E-4BBB-8095-767A211D7275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca880c2b6dca52c66e45e1a66bec6778d00be7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da574740efaf41b078c4c3a0b07654635138b7d","datavalue":{"value":{"amount":"+0.807396411895752","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":"Q3540177$62D5EA4C-FB59-4C38-A60D-A270EBE8F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41218928b8e812851ddfaaa5e2bdc5d7db555a0","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ff227df5faadfdf1175f98b400866ccdd904f6","datavalue":{"value":{"amount":"+0.8018622398376465","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":"Q3540177$22900B7B-9067-4A1B-A4D2-7ED15B496261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b590f7833b5b81516e443e90cbcf1844c2832e","datavalue":{"value":{"entity-type":"item","numeric-id":5703850,"id":"Q5703850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df77d6f1b0eba677312056bea01d51270e34714f","datavalue":{"value":{"amount":"+0.7997341156005859","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":"Q3540177$A753E417-9F0D-4CF4-BB8E-4B22510FDC0E","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":"33c804fccf657cd8f4e28203c3cbbadc932e96f9","datavalue":{"value":{"amount":"+0.7969803810119629","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":"Q3540177$A36D1AA9-25C6-4FBF-AE7F-632BAC4FDEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1ac89803161c951e5bd389a782119d7c1d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5170828,"id":"Q5170828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef5ba627db84b53b14020c23000131e41547cbf","datavalue":{"value":{"amount":"+0.7921638488769531","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":"Q3540177$0F24C993-9A55-4986-AC89-9D8EA8DFEF83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540177"}}}}}