{"entities":{"Q3754617":{"pageid":5784523,"ns":120,"title":"Item:Q3754617","lastrevid":51683687,"modified":"2026-01-19T11:26:20Z","type":"item","id":"Q3754617","labels":{"en":{"language":"en","value":"An interpretation of Martin-L\u00f6f's type theory in a type-free theory of propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002090"}},"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":"Q3754617$6E34DE0C-F3C9-4C76-A630-9449C95DA705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea36ebfa867ec1019eac474df8de91a6394c9da7","datavalue":{"value":{"text":"An interpretation of Martin-L\u00f6f's type theory in a type-free theory of propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3754617$86A10EB7-4FF0-49A1-8007-8E9E70943B5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6e6a3ac837051de54db8974166f05fb265cb370","datavalue":{"value":"0618.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754617$7FFD164E-AD5F-4C07-B989-861EB248E67B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ec67828349955511cba99a1ecafc69b89b0133d","datavalue":{"value":"10.2307/2274128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754617$688C11E7-9D45-47FE-94BF-1B400F2FDD2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754617$837BB5E4-1C12-4B9C-9B05-B9B26A98FFB1","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":"Q3754617$7FBD142A-0B44-4A18-9A1A-A01F78360DE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3754617$CE9BA82B-F622-4B26-A6B5-337957CF7C72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754617$786A020C-1C34-4EF9-A4D2-FD09D2CFAEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754617$C609E290-4256-47F5-8624-FF16218BDCB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43f33df43f7fe1ff954a8bbc89c68718df8b62fe","datavalue":{"value":"4002090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754617$BF55DCBA-1919-4C6A-A68B-F42EA127043D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b639845dbc0c45e2f93c050b61b426eb87522368","datavalue":{"value":"Frege structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754617$87E4A436-3906-4521-9682-C4090484B8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d584dd1651835d3a968633360ea41624ebea08","datavalue":{"value":"semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754617$762020F7-30CD-4EC5-9D8F-D849FAE57E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754617$A74B89B5-0D34-4D86-B313-9C9828FADC05","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":"Q3754617$70985DFE-A992-4B03-91DA-399B39E21160","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11ad491b62dc5917749523bfec41b1c7a36fc736","datavalue":{"value":"https://doi.org/10.2307/2274128","type":"string"},"datatype":"url"},"type":"statement","id":"Q3754617$AE5FC130-C9FB-4D99-A146-6CBAEFCEBEFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e79ca33236633366fc62e1b89115b4e667c7b17","datavalue":{"value":"W2089366670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754617$EC358046-199C-444D-9F66-0A2BEF7BE05C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd19583f0e94abf57ae064fc1358695b03ddec0","datavalue":{"value":{"amount":"+0.7712095379829407","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":"Q3754617$FC97A800-F87A-4B7A-B6BA-2858C3D862E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81952157bb300f42ac2ba803b51500f32d7784a0","datavalue":{"value":{"amount":"+0.7645149827003479","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":"Q3754617$C5073807-96A1-44DD-803E-7D867BA8D2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a2d7fcfdb352c8e445e61aca2b6f783f913fae","datavalue":{"value":{"entity-type":"item","numeric-id":3768897,"id":"Q3768897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc97a0ca5628a7f6f7f8bc129308883b4a079aa","datavalue":{"value":{"amount":"+0.7565529942512512","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":"Q3754617$EBC15947-34B3-48BE-B131-41A9F4C5C90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239145f6ec15dfb224d6888cd3025a20fd705c96","datavalue":{"value":{"amount":"+0.754345715045929","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":"Q3754617$80F4B06C-CC9E-4130-972A-4A247CA10C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba919e1924eb6dbf4450f84a8ab75e84164ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3823123,"id":"Q3823123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d6c8d9e74c4eb5b51f465f8529ea69ce1d2722","datavalue":{"value":{"amount":"+0.7543140649795532","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":"Q3754617$E8FA2B38-79E1-4A86-B943-097E42A20BC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3754617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3754617"}}}}}