{"entities":{"Q4177542":{"pageid":6207143,"ns":120,"title":"Item:Q4177542","lastrevid":88486097,"modified":"2026-06-04T14:39:11Z","type":"item","id":"Q4177542","labels":{"en":{"language":"en","value":"A sequent calculus formulation of type assignment with equality rules for the \u03bb\u03b2-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3613010"}},"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":"Q4177542$928BFD6A-B4E4-4DE0-8E88-23C69FD979D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad6fc509ebdaf7a0e73518f3a39e66ba34a26c21","datavalue":{"value":{"text":"A sequent calculus formulation of type assignment with equality rules for the \u03bb\u03b2-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4177542$1B4B4468-F4C0-4466-BBB7-F1A81D308612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"542ca5d10a3a4510c2ac2def9e98099ea434845b","datavalue":{"value":"0395.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177542$720B213D-07C0-4917-B956-2F9A0BB426CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c14fd9bf7b136b636e7de4a5c6e7989a73b9d9d3","datavalue":{"value":"10.2307/2273503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177542$EC25CC3A-7168-43A3-AA5E-2A8AA3FB1144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177542$8840ED6D-69DB-4F37-9665-29152481E46B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177542$77BD6EA1-4345-4E9C-B72C-F4D64214D6B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4177542$750C83F1-81B6-439F-9D9E-7B70C5497124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177542$59748110-812C-419A-B28C-D6EAA3ADA952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177542$BF94B17A-E810-42EF-954A-D9D48A1D0E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97597f7fff4ca28d61539e4c6aa25818303a377f","datavalue":{"value":"3613010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177542$D3E7B794-A924-44BF-91F7-230A0CB909A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc4f94cfe07d42dc64c33a4efe9fcf71c217884","datavalue":{"value":"Lambda-Beta Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177542$77508ED2-13B4-4CBB-B646-2674E009194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b366cf16cc14c6f41320c7e1439f390c753f1b","datavalue":{"value":"Sequent Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177542$E4728D61-DC2B-474A-90F3-65C8FBAD2109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33af6b134fe0520c3b0fb9ccfcba1a272568ec20","datavalue":{"value":"Natural Deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177542$848A8C17-17D6-4309-9227-5D25BE72F516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6561b712e895d84150db81fef74ef9b7ca58da8e","datavalue":{"value":"Type Assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177542$482D3F97-7434-4F5E-A9CA-799A04AA069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b368b2734e6fe1723fe43fff0886c4760012b8","datavalue":{"value":"Cut Elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177542$BD72F2E6-9A1B-4414-88FB-9BC5F7B4C81D","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":"Q4177542$AC3636B9-5BCF-4616-9609-9FC1830B7004","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f543c9000b5e50b586f8208dc3a2ff4bb22cab15","datavalue":{"value":"https://doi.org/10.2307/2273503","type":"string"},"datatype":"url"},"type":"statement","id":"Q4177542$DDAE4CB5-6056-469A-899D-AB1BFDFC92F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f102933ee4af22eba1ea41527f717fff58442657","datavalue":{"value":"W1489404987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177542$EEB75B43-0A29-4608-BE04-0F922A0C63FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177542$D17870A3-1E35-40BF-8107-D28F6A7462F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45f47c65cbf54bc3759bb5ab2a9b9b91e856ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4147961,"id":"Q4147961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177542$92012208-D573-4251-AD2F-F56DB4FAFB3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sequent calculus formulation of type assignment with equality rules for the \u03bb\u03b2-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sequent_calculus_formulation_of_type_assignment_with_equality_rules_for_the_%CE%BB%CE%B2-calculus"}}}}}