{"entities":{"Q1893725":{"pageid":1904467,"ns":120,"title":"Item:Q1893725","lastrevid":71087877,"modified":"2026-04-13T19:24:00Z","type":"item","id":"Q1893725","labels":{"en":{"language":"en","value":"Inhabitation of types in the simply typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 772327"}},"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":"Q1893725$FE148AA1-3A87-4A43-BCFF-DF3D96D79F24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d1638e2ebbbcb8aba1a79de6865d05cc18fd4a7","datavalue":{"value":{"text":"Inhabitation of types in the simply typed lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893725$1EB94982-B5ED-4ED2-A15B-A289206CFF62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d771c31d2b02cce4d3c8c565eabb7af981cf2e","datavalue":{"value":"0832.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893725$FC1BA6BF-5CD0-4D4E-B799-03E33A1F86F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"219a2f47f22fa561a103f4e2d26eaefd86ad9ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1104310,"id":"Q1104310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893725$85ACD936-150F-4F9F-B9B2-64BD549E6613","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893725$7EB68C62-CCED-4545-B211-A1FD2C680481","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df2091f56edb46baab3d2fe39f03e68cc5a43a6","datavalue":{"value":{"time":"+1995-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893725$CB8BE186-87FE-4175-A289-E6E23E0B94FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893725$76E1ADAE-3D5D-49C2-BFCC-6DCE3BBD5BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893725$02E1E98A-5A65-4294-8175-919244B4805E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed6c1f1cc8b0f5cb270679821a8f6cdc05b4a6a3","datavalue":{"value":"772327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893725$EC6089CF-58C5-432E-8635-D6CBA6E526B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8812e2bd9d8c7d2980a98e59d38c32058261f61e","datavalue":{"value":"intuitionistic implicational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893725$B6BA21A2-EE9B-4BA2-8ABD-53BB61ECA7D6","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":"Q1893725$FAF8BCAF-2E00-405A-9EB4-6A77667892CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f01cfa258b5f16f640f24894b6ec32d34f90ba40","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1074","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893725$2FD9C0D6-EC36-4B5B-BCE2-8175C22C5ADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"517af91308fd60e1499e5b5534c170a9d9d90c6e","datavalue":{"value":"W1983748102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893725$46BED5D6-AE7C-4BB7-A274-4AE3E0DCBD9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b169f76d608b7887d938f8b37a8a511333ee0d42","datavalue":{"value":"10.1006/INCO.1995.1074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893725$BD8A4BA7-3F2B-48C8-BEC3-03D24DD6C051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f507d2580ba13f72c8103d650a07b565c2bfe3","datavalue":{"value":{"amount":"+0.810576856136322","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":"Q1893725$1DE63BA2-5681-419F-A779-4F89D263A56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577b46ed0afb46f602df71296e463a1f781f520","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc00c7436bc9be23e086e26ce0aa614d359f7fc","datavalue":{"value":{"amount":"+0.7741530537605286","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":"Q1893725$E3A32862-D719-44BF-A43C-D1AFBA0D3F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b911e268c026e3c062c07b2367ec2f53e83f2ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4286212,"id":"Q4286212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47d253777b07b97f48e02e8ceb6f003c6e13ff7","datavalue":{"value":{"amount":"+0.7605065703392029","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":"Q1893725$4D2881B2-6D42-46AD-BB3E-FC3FFB294D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423149f484c1d5f5317f39be9d386ada038ca9cf","datavalue":{"value":{"entity-type":"item","numeric-id":5111311,"id":"Q5111311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d017313bab96230eebfce3a36240708206f292","datavalue":{"value":{"amount":"+0.7438079714775085","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":"Q1893725$DD606D63-FC22-49D9-ABCB-6146B29A1CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inhabitation of types in the simply typed lambda calculus","badges":[]}}}}}