{"entities":{"Q3593501":{"pageid":5623406,"ns":120,"title":"Item:Q3593501","lastrevid":58211055,"modified":"2026-04-04T06:14:53Z","type":"item","id":"Q3593501","labels":{"en":{"language":"en","value":"Arithmetical proofs of strong normalization results for symmetric lambda calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173453"}},"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":"Q3593501$395E5A62-2897-40FB-A85A-533093EAD408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63dfcba730cbf7348239efe2634ed027f3eae695","datavalue":{"value":"1122.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593501$C326E57E-267A-454B-9CF7-C791F4102C2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593501$1BBF0C3C-ADFF-45AA-9A59-559D909EB3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593501$CBFA8739-B1CD-40EE-826E-C2DBC0D35250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6452a8a0408f27542935d3024f201ae02ffe1a","datavalue":{"value":{"time":"+2007-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3593501$E30CDC21-74E7-4350-8E97-97583E209596","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e10619514e219e4f6ef4292a8fabc01c2b4f658","datavalue":{"value":"https://arxiv.org/abs/0905.0762","type":"string"},"datatype":"url"},"type":"statement","id":"Q3593501$DADC683E-88E2-4C15-B92A-192D2963D5C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593501$2F4A24C4-7878-438F-975E-3DF84301483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593501$EEE5B313-1E25-4930-9EE8-C0C496CD3672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99b78724589a595dd4960b239e89acd9f90c277f","datavalue":{"value":"5173453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593501$CA6B2C19-8AA5-4286-94E4-F3D15EB5777B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0685bbdeb89e5eec1211596d8f3804e81ab315","datavalue":{"value":"symmetric lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3593501$8F366E3D-4941-46F8-9323-DF4504125FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3593501$365CAE70-1A05-41F7-B8E4-626184BB696E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3593501$63E99FDA-AF19-46D5-9765-F98E5C4EBD1B","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":"Q3593501$0CAB3A1F-B8B3-4EAA-8973-7B54B566CCC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41218928b8e812851ddfaaa5e2bdc5d7db555a0","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d079086eca1e7cfe66290093d95e8c7ac8c71f19","datavalue":{"value":{"amount":"+0.9244257807731628","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":"Q3593501$027AB103-5E8F-418C-8A11-1282A81255F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311129986e338c879f28527b6a269f8381609c7","datavalue":{"value":{"entity-type":"item","numeric-id":5367073,"id":"Q5367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc262edee30a099a3c36c99109f3785b4a48a0e","datavalue":{"value":{"amount":"+0.9125425815582277","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":"Q3593501$1E134053-D68A-44D4-83AA-B73B8D7FD68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378f33955b6e304d54ef59f2d34fc42eeae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":1407527,"id":"Q1407527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e3c53361b3467ba82cfc8ad34f37cac990f2f6","datavalue":{"value":{"amount":"+0.8640457391738892","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":"Q3593501$EF82637E-A8B8-4E7A-8E3D-08C341B4BC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e3c53361b3467ba82cfc8ad34f37cac990f2f6","datavalue":{"value":{"amount":"+0.8640457391738892","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":"Q3593501$BA46090B-3101-4468-8348-8DE17E24C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9e9ec6b2cede43c610c23b53e50d77f5e52021","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f652221a9f44aca578f12a85d2e5c778b10853b9","datavalue":{"value":{"amount":"+0.8571444153785706","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":"Q3593501$501ED0DB-8947-456B-97F1-216FFEAD012B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3593501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3593501"}}}}}