{"entities":{"Q3507473":{"pageid":5537377,"ns":120,"title":"Item:Q3507473","lastrevid":90227327,"modified":"2026-06-04T19:37:16Z","type":"item","id":"Q3507473","labels":{"en":{"language":"en","value":"Principal Typings for Explicit Substitutions Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291074"}},"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":"Q3507473$BCBBFCFA-E159-4A9D-99AC-F7BE68AE9A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a2e818f1743dfb7fd3f369482033910f6d993b1","datavalue":{"value":{"text":"Principal Typings for Explicit Substitutions Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507473$777F6353-C212-4CFB-A331-8809C1DF904F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"328c21f406a8fb88a1664a679cdd75cfc3d0f739","datavalue":{"value":"1142.03337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$58D1ADD7-BC8C-4D20-8B5B-66A5BDB22889","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb58740dfd2f006816c41ba253ba1120e6a6b834","datavalue":{"value":"10.1007/978-3-540-69407-6_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$3139F67C-4169-469E-8E86-033F5BDEB920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507473$C44B6101-7AED-4A8B-AF35-BBBEDCE653B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507473$E28D539D-65D9-4B3D-BEFC-92B9B78E0666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507473$0BAE65C0-BBB7-4852-A026-DE7B11785E5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"825fe9d63267fff51faac6ffa3ce79c82f92e1da","datavalue":{"value":{"entity-type":"item","numeric-id":3507413,"id":"Q3507413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507473$D32486A6-0264-42ED-B77E-2647E5689E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507473$F2F9ED31-85B1-41D0-A6FE-409D66A21BF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$977B207D-89DB-4DFB-AC29-EC3A2AFBACDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$2DF86C14-DD5C-4299-BAAE-A3C62287F551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"161f886c7e3085a9a3dd4521fd889eed57826a71","datavalue":{"value":"5291074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$3FB4062F-1F94-42BA-95CC-035360701E85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507473$C2649337-3326-4FA6-BF42-4A9DE28FCCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507473$C9D8CC81-5A7A-456F-9C63-FDDCF7552465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be022abc921a9831b4e8390d0fa74c6a62f70c82","datavalue":{"value":"principal typings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507473$9AEB312F-6CCC-489C-A285-AAC035BBE974","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"14597bbc872296208258192aa31622285c2d3761","datavalue":{"value":"Q58001486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$1AD476E7-6B11-410D-A67B-E3D4B240C3DE","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":"Q3507473$54D21CF8-FFFC-435E-9962-C9E4217C58E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"513ab887edd4f645729732861eb22e4ba6994750","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69407-6_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507473$DB489DF8-DB2A-46FC-BA97-A392E6CF1DC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"128acb75caeb19c91585c2ed20917241f1b3c237","datavalue":{"value":"W1806229404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507473$234407A2-6D78-4607-B0B2-5B735F391AD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95edd9a83f73448301f89ab4c48fe4d55261a87a","datavalue":{"value":{"entity-type":"item","numeric-id":4931603,"id":"Q4931603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959e3a1e96214226203c521d729a456b9daaf3e1","datavalue":{"value":{"amount":"+0.9221015","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":"Q3507473$C6DCCF59-96C9-493F-AB0A-1628B7DEB482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21481f4370a1a9fd4c9ec8efcec8f450ae1ad60","datavalue":{"value":{"entity-type":"item","numeric-id":5277970,"id":"Q5277970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55eecf5092ffdac553344bb1738d9c77c6a61e6","datavalue":{"value":{"amount":"+0.9060143","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":"Q3507473$26B8F094-BF13-441A-A29D-F04E14DEFB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3f35ea59237d1fa968a514d62ab6fd9d3703a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681363,"id":"Q4681363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ed8e5a5a26d2eb3cf96e9b1411a64ca1248cc7","datavalue":{"value":{"amount":"+0.90058506","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":"Q3507473$32D08ADB-6A2C-49F2-88B6-D54AE5D2F36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600efe4f58f1e6a12d345b86d99f8295fffced5","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e166375af2ba38bb119b117f106f859f9ad7ed2","datavalue":{"value":{"amount":"+0.8993114","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":"Q3507473$5165CCEB-DDE6-4F9B-9162-D266199C37E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abb0949ad5bf144f5d84b6841f1cda23dd2a6a4","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4394ae2278670a86e4a260604b325a50f918ce8f","datavalue":{"value":{"amount":"+0.89693224","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":"Q3507473$00C3ED95-3B7C-4188-B76F-CF40049A9BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5ba892fb50d0b2422e83b3c16041977fa38eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3070d7c32c52a4e132b9d23dccf8ccdd3884642","datavalue":{"value":{"amount":"+0.8929229","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":"Q3507473$DDE9060F-D24C-4B20-B509-15074A35D2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b82fdd68ff5e1081cdbdc1ff2b8e0cc9e827e4","datavalue":{"value":{"entity-type":"item","numeric-id":4405688,"id":"Q4405688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3070d7c32c52a4e132b9d23dccf8ccdd3884642","datavalue":{"value":{"amount":"+0.8929229","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":"Q3507473$BD69827A-92B9-4EB1-BD14-C420F0813813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f536dd4897b55633cd8707e2d26ca95080188d","datavalue":{"value":{"entity-type":"item","numeric-id":5371956,"id":"Q5371956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb63912084cafb0899da2a54ea895bd229765959","datavalue":{"value":{"amount":"+0.8928229","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":"Q3507473$E5257B5B-F8D3-4C2E-BC2E-C675690C4724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95f93fd90cad66d67d245ce96649add6270b51f","datavalue":{"value":{"entity-type":"item","numeric-id":4259970,"id":"Q4259970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d879cd214e31c89432dc7dd756f6c465f9641c","datavalue":{"value":{"amount":"+0.8926877","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":"Q3507473$E1ED93EF-B4E9-47EB-BD33-42B7FC88EF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc16ca82b3e003bb51faf975a29e863bfa6f595","datavalue":{"value":{"entity-type":"item","numeric-id":2713354,"id":"Q2713354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c077f42156474d4f61bec0c7b241ed3ed54a089","datavalue":{"value":{"amount":"+0.8898591","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":"Q3507473$84F15B3A-D769-4EE9-B790-D7033599DB99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal Typings for Explicit Substitutions Calculi","badges":[]}}}}}