{"entities":{"Q4903715":{"pageid":6933294,"ns":120,"title":"Item:Q4903715","lastrevid":51637763,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903715","labels":{"en":{"language":"en","value":"Characterising strongly normalising intuitionistic terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128567"}},"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":"Q4903715$0F1E2EF3-45E9-4784-9F35-09E475E79D4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"256575e02f19dbe316ba738e1e14a5d67a95e17c","datavalue":{"value":{"text":"Characterising Strongly Normalising Intuitionistic Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903715$F90251A6-9EE3-4955-8780-4EEE0F0F6318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54bd4c3696edd824db7d8e4ab27fe5e0f74a358f","datavalue":{"value":"1277.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903715$7D3AEF9E-188E-4C67-B9A8-C0D7057FD8A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8c181a49844a0c1f6baadf219efa95dc0524f80","datavalue":{"value":"10.3233/FI-2012-772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903715$69946478-6B02-490C-A2D8-FB04A50A7C7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903715$9EA363B3-DB8B-4135-90F0-B49C4989C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce0ce92a3ed785a05d622f72a3c118d17b9cb61","datavalue":{"value":{"entity-type":"item","numeric-id":1709699,"id":"Q1709699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903715$AFB7AEDC-14A5-4B64-940D-3780358CC403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903715$00342266-0C16-49D9-83F4-D516C180FC53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903715$F6B50B0A-6CD2-4CD8-A40C-689E1883F002","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-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":"Q4903715$0A259205-EB0C-4F23-8928-2B4ECB543810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903715$00202A00-D8F1-4A64-A494-F98BD7369519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903715$C8A62A02-4AE9-4494-8FA7-A9A405AD32F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903715$607ABA35-B5B2-4A97-A38A-D5835EBC1D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db01cfb39052643ef6e4a5b8646ada478d7c4c0c","datavalue":{"value":"6128567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903715$F26C3878-73C5-442C-95EF-A0E070D0512B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903715$60961D27-8FD2-497B-8D97-7929FD320F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903715$406BC27B-2BE3-474E-B576-3B6AB856D392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903715$0C67D65F-39D3-4691-9E5F-0DDD73E987E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903715$A6558456-3C79-4EA7-A0B6-A4968868CAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903715$C1EFE393-7E53-4A68-B264-C9D5F205E026","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":"Q4903715$B648817C-9FCB-4E56-90D4-953EC9806E9B","rank":"normal"}],"P1643":[{"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":"f27d816659782ecc81c9303402e8f99dd89dd447","datavalue":{"value":{"amount":"+0.9633949398994446","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":"Q4903715$DB903940-E699-4801-8A29-12E2E0D9D789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"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":"Q4903715$395BDB5C-C659-41A3-B4DD-F38253F9D904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b84bce97fd8169d550d2f16cde57e76d521d8a","datavalue":{"value":{"amount":"+0.8414792418479919","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":"Q4903715$D1EB7930-A87C-4439-9A39-38ABE5A2C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55cfa6f8279009629969d6b119d073bd5113682","datavalue":{"value":{"entity-type":"item","numeric-id":3044339,"id":"Q3044339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cb084ca951a074b6d9b75f6d326b19bdd39548","datavalue":{"value":{"amount":"+0.8386386632919312","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":"Q4903715$DF487DD4-B7A1-4CB7-A8DD-D44C85AE00E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9aea3c6e10092c4b3e30585f49137fb7ac34fb","datavalue":{"value":{"amount":"+0.837531566619873","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":"Q4903715$1AF25E93-5BBC-4C46-AF82-4CBA425D1524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903715"}}}}}