{"entities":{"Q3025159":{"pageid":3035875,"ns":120,"title":"Item:Q3025159","lastrevid":48512920,"modified":"2026-01-05T01:47:07Z","type":"item","id":"Q3025159","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186938"}},"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":"Q3025159$8E244366-2E7F-4C8E-AC24-F4C049004100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a7b05c63e9f833c9cfe14950499c794aeec4dc6","datavalue":{"value":"1070.03506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025159$55604736-9E21-4A90-92F6-141BD34F6D60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff92353fb34e95f211754f35aa330860b987a356","datavalue":{"value":{"entity-type":"item","numeric-id":740208,"id":"Q740208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025159$353100EB-D3BF-491A-8B4C-49ED364148AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9a884fa2d80273a4a078f72a8e177890f3925","datavalue":{"value":{"entity-type":"item","numeric-id":3025158,"id":"Q3025158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025159$DD6E6E8F-1B99-4146-983C-9714752C59FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f98c1d19066d37c1ac6c941e4755630a99bf33","datavalue":{"value":{"time":"+2005-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025159$73F45D7A-D721-4093-BA27-007E9468CF0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025159$F4E03D32-C865-475A-952B-CDEBD59DF034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeaa294af21dd7386db19be268c2b83e1b19fd1a","datavalue":{"value":"2186938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025159$897751F6-23C1-4599-BB8A-B4954BFEA7F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025159$E593DED5-5DCB-415B-9CC1-D3B8B1431040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025159$B3D6950E-2F85-4DE1-BD9B-7EFBBB205102","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":"Q3025159$E1769EF7-7FF3-4109-9037-8F4A65E5C02B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48cf5138ed6d167d90e9a1bad25e4a636e33e997","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e293fb3de6d69f41a006a8d4dc2e43d520d8f15","datavalue":{"value":{"amount":"+0.8640329241752625","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":"Q3025159$747025F0-45ED-43A2-B122-648D0FE807F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25874115f7b5639622ddada8abaf228c3ee7bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":3527294,"id":"Q3527294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d786174a4d1dbbff8a9fb11fcc5ad2bda8bf62","datavalue":{"value":{"amount":"+0.8200083374977112","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":"Q3025159$AFB2A1DE-1408-4A79-8F2C-73B65FF6D653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb90faa80ccafe87730c9c39562d1139e894903b","datavalue":{"value":{"entity-type":"item","numeric-id":3070573,"id":"Q3070573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1004855732e200234ddf28a754e3af124f9a9a9","datavalue":{"value":{"amount":"+0.814066469669342","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":"Q3025159$A4230D25-74A7-467F-8451-B12979D97C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edeef39e2e6b0a098b482604d0dcdd7e2ff4523","datavalue":{"value":{"entity-type":"item","numeric-id":3599178,"id":"Q3599178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b262e3b46f310bc625dbc4ae3c4df2752eae185","datavalue":{"value":{"amount":"+0.7986646890640259","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":"Q3025159$A25BCB94-A020-4976-8E89-5B5373E643A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9b9c2f4ffeebd07025734ad51fcbe205f263e3","datavalue":{"value":{"amount":"+0.7954853177070618","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":"Q3025159$2B19DAB8-1775-4222-B17C-8A659E6FF4FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025159"}}}}}