{"entities":{"Q2841227":{"pageid":2851947,"ns":120,"title":"Item:Q2841227","lastrevid":83724689,"modified":"2026-05-07T10:14:52Z","type":"item","id":"Q2841227","labels":{"en":{"language":"en","value":"The simple type theory of normalisation by evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190920"}},"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":"Q2841227$CD03D30B-C1A6-475C-ACF2-E6223AE6E90D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ee7a20bbcf8d1564fd3ca2c4ab662ae17cc2cf","datavalue":{"value":"1268.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841227$E504A462-EBEB-4C8E-B326-4BD760D3F3D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfb672a5214a0ce53fb434d5f405d2384e2105f4","datavalue":{"value":"10.1016/S1571-0661(04)00272-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841227$D87A99AC-D4A4-4018-A7B8-D5C2F7EBD934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96bd72a5e73758bd30e2ad91ff0a0a3698c24ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1045891,"id":"Q1045891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$7CF23B2B-9798-4A86-A618-812F6A5580F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$CF707441-0DF7-464A-A8C0-1FA37589E718","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841227$3D2C817E-E747-4285-A1C7-7C21BE5EDAE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841227$FD3FB12F-AB7F-4EC0-AED9-4AD4D0C97F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841227$87FA7BAB-4F71-4376-8041-A6D1A5625C9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0026d4d2b1d2e5ec511af72b36ab50521bbc8829","datavalue":{"value":"6190920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841227$E04C4657-5461-41F2-A9BA-582181EA8DB0","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":"Q2841227$20B83B56-839B-48E2-9042-BA90639B2BB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$126028CF-5618-4345-8D36-869FAC222737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$59DE7F51-6815-469D-BDB3-611F76DB5F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$694B8788-84FF-4CB3-80CC-EC26BE138825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$C0F71A6D-DB0F-437E-824D-9750AC0C77B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e08309da05a83f18dd51d23ac1b29390a177f54","datavalue":{"value":{"entity-type":"item","numeric-id":1349901,"id":"Q1349901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$FC5E30E5-1B66-4ED8-9828-5106B611D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$CDFBDA10-111A-450C-8935-656846FD2371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c22f8f7f95b56b278664d00f296311bc9c99054","datavalue":{"value":{"entity-type":"item","numeric-id":4494371,"id":"Q4494371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$2B1AA61E-AC56-4F0E-BEAC-51245D56C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcc11f73fbf5252e0f39d1c3803dd33e7147dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4362917,"id":"Q4362917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$41135E72-A2CF-47AC-91AE-3851B42C6E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526bed8032ccb2cb82ed669a4b9ed1af4bf2a6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4358459,"id":"Q4358459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$79620C4A-F254-4A0C-86A5-C000D513F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841227$C6636458-8F3A-4739-8965-998199CC98FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55ed9bc8479cd8e5b0fcc9d99baaf450e0a21725","datavalue":{"value":{"text":"The simple type theory of normalisation by evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841227$29F298FB-E620-46A0-A213-F2B1841E9598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffa40b503cd2c081dc61973c12ce0b002c625e4","datavalue":{"value":{"entity-type":"item","numeric-id":5277972,"id":"Q5277972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d7513b24bf302c70bd398df86faaa39f6a5881","datavalue":{"value":{"amount":"+0.8498820662498474","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":"Q2841227$933CBA3D-8527-482C-9FA9-4098DB35353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb14c3611ef288786bdc24e8e8433e8dccbf6833","datavalue":{"value":{"entity-type":"item","numeric-id":3644739,"id":"Q3644739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d57caaa4552cdca8d292b825a4cc097f3846f0","datavalue":{"value":{"amount":"+0.8495572805404663","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":"Q2841227$ECF2A192-DA7F-4EE0-9690-BE089B145945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ba777ec3d69929aae1fe702e999be4e6dd481","datavalue":{"value":{"entity-type":"item","numeric-id":5308449,"id":"Q5308449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71040bd9dbfa7263fc17d677923000a3c28aba53","datavalue":{"value":{"amount":"+0.8442005515098572","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":"Q2841227$1E07BEA0-6857-41E4-B478-E74DEF4D6418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4400596c9af62ac251c02d13ccbc6f6903f92a85","datavalue":{"value":{"entity-type":"item","numeric-id":4818938,"id":"Q4818938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f98886f044a23e94c1d01fc2cd8aa7638a1af6","datavalue":{"value":{"amount":"+0.837654173374176","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":"Q2841227$A7CCA313-29E5-455A-B1F9-7DB75EB5B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0936483cf1d4bbe312da2105c45d60ab35d4a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5313717,"id":"Q5313717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee52aeb57cf0067441906ebfc97ac8cad6dbc730","datavalue":{"value":{"amount":"+0.828177809715271","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":"Q2841227$DECB93BF-A29A-467E-9D10-B5AE8B1261BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The simple type theory of normalisation by evaluation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_simple_type_theory_of_normalisation_by_evaluation"}}}}}