{"entities":{"Q5096234":{"pageid":7125810,"ns":120,"title":"Item:Q5096234","lastrevid":94458686,"modified":"2026-06-05T06:52:15Z","type":"item","id":"Q5096234","labels":{"en":{"language":"en","value":"Some normalization properties of Martin-L\u00f6f's type theory, and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572014"}},"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":"Q5096234$35472DC8-EBEB-400E-87FF-559C1097F286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e9296ac93f28bc4c0c53cf9ec2d2bc11723ea36","datavalue":{"value":{"text":"Some normalization properties of martin-l\u00f6f's type theory, and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096234$ED9D1CD8-1782-4C1B-A741-A58A15E0D9BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a7c933264b41ade9c9b0df1d9f4a87a545a79b","datavalue":{"value":"1493.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$EAB1320B-D048-4FF6-879A-BB708ACC7120","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf29b4d5335af4c9272593a29eb037d14be7f567","datavalue":{"value":"10.1007/3-540-54415-1_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$603DEC0F-EFF6-4D9E-B858-CB5783D7F535","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$C258D805-A6D8-4EDF-98B1-3C0163D86073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096234$31EA65CD-B86F-4E80-91B8-40BCA792C40E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$FE983D44-0127-42F6-94CD-91E188A12B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$A8E2254C-C541-4AC1-B15A-5CEF13110747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$1C81339D-F26E-43FE-9AC7-4B2851BCDC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$09981E1A-DC5C-48C2-961E-770ED2C9CAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$2891984C-F960-40A1-8364-70B7DB4DCCF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"685bbe4a8070bf121c55c969197219f0997618f1","datavalue":{"value":"7572014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$7D67DD99-A9B9-4A93-B5A5-821C99DDFC56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$62F11800-BD5B-48E6-8020-D3C7CB61239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008c0652adbb92fc29f999e1cff965654b89fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1917067,"id":"Q1917067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$3AE7A424-BCDC-49B0-A272-612AAAB8114E","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":"Q5096234$5AC27412-5834-49EC-B0A8-FB7B099DC0C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b32f7f8b715265694cc25aa7786b29f2d1dd9b3","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096234$9A97A8F2-337D-4460-81A9-846AE2AFF30B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0deba7ea8ce86d20d8433d8c1a2b4456183a4cc3","datavalue":{"value":"W2110543549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096234$843D8BF4-EC36-4C5B-9781-84A9D300F062","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$D11DE897-760C-4EBB-BF76-45E5E8C4A069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0445152e056b327286215039947692dcc08243","datavalue":{"value":{"entity-type":"item","numeric-id":3789525,"id":"Q3789525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$59D960C3-FCE2-4618-88A4-C72AD73E411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$C3B4ED60-F288-4110-87AC-D4F7A143BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$396AFFE6-DE12-4C03-881A-007F860872BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$A14FEA8A-4956-440A-B4BD-5645555AA3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096234$051698CA-44AD-4C45-A5F4-D7424790EEF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77712f4cc98ec0c4d908ea915b17c7d54555c1bd","datavalue":{"value":{"entity-type":"item","numeric-id":809071,"id":"Q809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3610a2a170c9d6d7915f0f8992e3f5d16699ae4d","datavalue":{"value":{"amount":"+0.8093243837356567","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":"Q5096234$40B6EA91-9BA3-4275-9DD3-B553048B6353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d07a4988dc073891426b72b4a6bf7aeb335300","datavalue":{"value":{"amount":"+0.779747486114502","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":"Q5096234$F132B6CE-C6F5-47BC-B9F5-D2E32DF17D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81687b63ee04b4d5b3d7408428fcafd50bae5c4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d07a4988dc073891426b72b4a6bf7aeb335300","datavalue":{"value":{"amount":"+0.779747486114502","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":"Q5096234$D6A36C82-AB24-4008-BFFA-11E4E8988700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b991a071f203d440014a7d18ad39c4a875108b","datavalue":{"value":{"amount":"+0.7728866338729858","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":"Q5096234$C18BCA7E-34F7-4CDD-8A4D-E1AF0D74E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409a97d2d13091b193fb2450fa50f8d23ed91989","datavalue":{"value":{"amount":"+0.7689447999000549","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":"Q5096234$BF36E568-9303-4509-BE66-4FD3ECC22AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some normalization properties of Martin-L\u00f6f's type theory, and applications","badges":[]}}}}}