{"entities":{"Q1881230":{"pageid":1891972,"ns":120,"title":"Item:Q1881230","lastrevid":48356113,"modified":"2026-01-04T11:31:31Z","type":"item","id":"Q1881230","labels":{"en":{"language":"en","value":"Strong normalization of the second-order symmetric \\(\\lambda \\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2105973"}},"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":"Q1881230$8DA4E46E-7E3F-4355-AA6D-D07E87A57322","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d965f2bd2c790d3dd4739faa558fa789934f2d","datavalue":{"value":{"text":"Strong normalization of the second-order symmetric \\(\\lambda \\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1881230$E9057538-8A0C-4A8B-8F6E-785BB85EF6E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c09ecc6c8f7b1fce20b29cca919e68665c7bb90a","datavalue":{"value":"1051.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881230$5B064768-60FB-4203-AE95-46785570AC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b293349db5b1a008c9f278c97d504e3ea82fdb1","datavalue":{"value":{"entity-type":"item","numeric-id":736822,"id":"Q736822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$CD72C077-B4AA-4108-B48C-3649D9DB9C38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$B5550A69-0543-4DCD-B440-6BA984993FB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29de6f99438d78c87225620190e8157f855aeaa8","datavalue":{"value":{"time":"+2004-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1881230$8CEBFF40-B5FA-462C-A430-F018B6A5DC0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881230$48E8C304-AE06-4E9A-AA0F-2E00EF60AB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881230$0FA7FF99-A9B2-4B19-A8A6-18170D77B6F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e1608fa259016c1a650dd67f9835a405b86c10f","datavalue":{"value":"2105973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881230$ACEA4324-C615-4954-B186-D3701221ABE9","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":"Q1881230$E4163FD6-B31B-45D9-AE7B-C410113D2D98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30c4ad463717464703c3fd8abb7f3776ce6ce0c0","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1881230$5324CF11-760A-4AF7-800B-92B615A4ED13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06a2a7cd6123c0aa719ea5fc5fefad524a345d97","datavalue":{"value":"W2020997960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881230$6D25E768-9FD4-456C-8CAA-27092C0449A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cadbbe9dbc04b1a29d3c16afd66252c0bbc9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$9049BFE5-DB5D-4CAC-85B1-8914ABDA0540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bbc5e5cf625f0e0c3beb1d0ba5fa007c6b864c","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$32E1E861-D823-4F0E-95FF-12225A481451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$AF10B2B8-9629-4EA3-B23B-809380C695BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$A5023BFF-D22D-4D3E-980A-DD880D0E117E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d1f198a8d979a72c541959c750e0d0512ea5e","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$98CD3D3F-5DA8-467E-9201-C9BEEB962594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$94E3BC35-7F99-4FFE-825B-6164E4EDD36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c6bd3bf97ced9735fbb1a96e54e3086ae3fd4a","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$94A5E382-B95A-4AC2-941C-B29649DB9A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf181b45619b20c6b760b7164002a5460678265","datavalue":{"value":{"entity-type":"item","numeric-id":678254,"id":"Q678254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$3615B28E-6E32-4FFB-A6FC-F62336D9F27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$1B6C0323-6986-46BB-A520-CF846D328486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$44B7DDC8-D643-4405-88B3-05DD18C71C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$A078FE43-034D-4598-978D-0C9CBCBB7085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32b51866fd239a0892a034c6a60af0d099d0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":2753693,"id":"Q2753693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$B34D1DAD-3A26-4586-936E-CC70830E0AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$FB82DC00-8738-4AF4-B1BA-D74B11C372FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1881230$F1D11A3A-DD45-4A89-8BFA-0609A1F86B82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93a3f7151b8fc132f763e013d7a6e6839b782cfd","datavalue":{"value":"10.1016/J.IC.2004.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1881230$F2C99AE6-5ACE-4EAE-AA20-DA023CA226DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf8d9f38390e860597c391b0a34415c705810d","datavalue":{"value":{"entity-type":"item","numeric-id":5714454,"id":"Q5714454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c0753a46692598ddadfa6292d8e8faa3f6a4cb","datavalue":{"value":{"amount":"+0.9774577617645264","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":"Q1881230$B30C1EC8-7D73-4E72-9022-707B69969F71","rank":"normal"},{"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":"5fb5d7f3fd8926f3ec08c9fa213b3ae6fca8bec8","datavalue":{"value":{"amount":"+0.8565475940704346","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":"Q1881230$BF34F1A9-249D-4FA1-B629-A29438CD2384","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":"5920ac8803f5a79611398cc93c5a46bb1b71a7b7","datavalue":{"value":{"amount":"+0.8320941925048828","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":"Q1881230$BB7AB6F9-C2F3-4DE8-9D15-5AC12FACF7B7","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":"abd96891cf6bcc36531369229b197d804893cb92","datavalue":{"value":{"amount":"+0.8320940732955933","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":"Q1881230$87E3B51F-0C9C-4AF4-9A27-9F75B1FCCB02","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":"1b8684865d1f387e68f126a87dcf08b1e14c66f2","datavalue":{"value":{"amount":"+0.8290326595306396","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":"Q1881230$5877A512-F05A-4676-9E42-521E979C2A03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1881230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1881230"}}}}}