{"entities":{"Q4993849":{"pageid":7023426,"ns":120,"title":"Item:Q4993849","lastrevid":58390179,"modified":"2026-04-05T00:28:02Z","type":"item","id":"Q4993849","labels":{"en":{"language":"en","value":"Characterisation of strongly normalising \\(\\lambda\\mu\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7357614"}},"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":"Q4993849$1FE5DB60-F513-4565-934D-5F0C501445B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c46d2ef3f5857fe9838f0ef96e6f1ae8b19163","datavalue":{"value":"1464.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993849$C660614A-8D79-41E3-8799-2A6CC36AE80C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993849$9FE3EBB4-0A07-45C8-BC57-72371BBB738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993849$4E1C489A-950F-4049-AE35-C0C682D2B665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993849$2BB095CE-2E14-493E-A556-430F49F145E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf9bde99ed3c9f1a4df3c98d61827e461c1007e2","datavalue":{"value":{"time":"+2021-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993849$21A9627F-55A7-4867-AD2F-B05328AA16FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c9af9e60326e71f4ebcc0b0741e4d8a597d0d62","datavalue":{"value":"https://arxiv.org/abs/1307.8202","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993849$564150D3-2198-4FB9-9B8B-3771F63A0A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5adee4023e4f968d587020d61b88639c8dcc7a0c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2012.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993849$79FE8D2F-9CF6-4D71-AC0C-77EE8904C2CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993849$CB3B20A3-599F-4638-A4FB-144F0E479DDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c193d893dd488911aef0b50da31dc3d7e1bcb84","datavalue":{"value":"7357614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993849$B730F526-6BCC-4665-B052-EBBD01DED66E","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":"Q4993849$E417B278-B301-42FC-8B8A-7AC4A3512A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3abc597af2389deda6ba5ff5959910b759808a7","datavalue":{"value":{"amount":"+0.8852788805961609","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":"Q4993849$0E82E2BA-3D8F-4495-A908-2DD69529C343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdadb6450071ea39a8c8def87c4a7b58e9fa9539","datavalue":{"value":{"entity-type":"item","numeric-id":4608725,"id":"Q4608725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37316e93870aebc70a19af4eba4e328b9d9b9f4e","datavalue":{"value":{"amount":"+0.8758822083473206","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":"Q4993849$98C51A90-3126-4DDF-BA90-0DEEC50243EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad294ac104e314aec214589bb780ad8a88daf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4903715,"id":"Q4903715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604d6b44871ed192d0ddd32cee5b2eaac769a70b","datavalue":{"value":{"amount":"+0.854259729385376","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":"Q4993849$14CDC720-FBDA-4485-A936-D810D7F57D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f32f30dd3f2a256638a3933b340079570b7052","datavalue":{"value":{"entity-type":"item","numeric-id":930871,"id":"Q930871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9459aa94c015f323d5ac1f0987d96fdcbe29b806","datavalue":{"value":{"amount":"+0.8390927910804749","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":"Q4993849$3FF03540-5AF4-4881-9EBA-C31DC498E6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db012f8738b23c4c3ab59ea47a38d30150d1a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3499751,"id":"Q3499751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9d868238b6d305cbbb9aff2bad5cfe2da4f9dd","datavalue":{"value":{"amount":"+0.8269161581993103","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":"Q4993849$74F5FAFA-B50F-49D7-8A0C-5341DA3AA53C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993849","badges":[]}}}}}