{"entities":{"Q3644739":{"pageid":5674645,"ns":120,"title":"Item:Q3644739","lastrevid":88569716,"modified":"2026-06-04T14:52:31Z","type":"item","id":"Q3644739","labels":{"en":{"language":"en","value":"Typed Applicative Structures and Normalization by Evaluation for System\u00a0F \u03c9"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5631998"}},"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":"Q3644739$316C7351-EA82-4519-9EBA-CC7CA99CD436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a39d601d8cc4b0d8794d5461ffd853948f6cd4a2","datavalue":{"value":{"text":"Typed Applicative Structures and Normalization by Evaluation for System\u00a0F \u03c9","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644739$3E79DB3A-59CA-439D-8548-8D786CFCE7BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b9a2a01e450400ca4b022d3571c4ac26e2ea920","datavalue":{"value":"1257.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$EB9B1BBF-32A1-4863-8C9B-1017D4BB81CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f433d79352de77569cb86f7e9d4b937db5c3d502","datavalue":{"value":"10.1007/978-3-642-04027-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$D55580A3-EA69-42DF-82F9-EA724BCF1A60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$088B13D9-49AE-4DFB-B0CB-AAE5837EA42B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$39F6E996-5DD1-453B-BA36-3661D8D9EDA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-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":"Q3644739$180037FE-40EC-40BA-BE1D-AD799B5FF67F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$DB3FF61D-680E-432F-BF00-00EBA927F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$0527163D-07FF-4B2C-A72A-DB728F2D4C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$82A53BC6-80C8-41FC-9A47-29AAD0759CC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd5790928c074eb773cbdc33ab9998b894f3bcfa","datavalue":{"value":"5631998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$72F11905-179A-4FAA-952C-209104465FA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$E7CA21CD-A5B8-4999-B422-440B46BC81FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e74e65aea50b572ed5cc320d9d0d7a2d70ec494a","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$31159B96-7AF0-4DE2-9418-2E2B4A26997F","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":"Q3644739$BBBE3EAA-62CE-4BB7-90B3-597F8CFF8BA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56f12a20cc1973f998166305d84d4b04b421ff2f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04027-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644739$B238AE38-E2CE-4205-94BE-FDCF92162F9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e80fd51706078c163f10b610b62ede86d5ddd77","datavalue":{"value":"W2132573718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644739$1999C018-DEB9-443B-B7E1-532D6E43B446","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce707e697a20530a92b2f6202364b153c019a37","datavalue":{"value":{"entity-type":"item","numeric-id":5505577,"id":"Q5505577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$A315D024-B115-4C4C-9B03-61F1E7F266B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e82702a4b22d98959a9a92cab7d73afcce8a19","datavalue":{"value":{"entity-type":"item","numeric-id":3644739,"id":"Q3644739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$091B577D-D3FB-47DB-B870-3112274204DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ea65729b1033e784ad198279fc14710fe85dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3521979,"id":"Q3521979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$77C917C9-491B-43F7-9254-39581F3B6D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$8BF6B6BB-7642-4A91-B0B9-E19D2BDC254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d46720294da574628ada02ef80331e73e36967","datavalue":{"value":{"entity-type":"item","numeric-id":2794668,"id":"Q2794668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$EDA9595F-EA26-415C-9244-1F8407D55DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482e6c07034c1ee3cb0fbd84fc2baad6e36e38a1","datavalue":{"value":{"entity-type":"item","numeric-id":3452250,"id":"Q3452250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$DF44E4EB-1A68-41C0-852B-54BCD83D0497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$1BF9F7E8-44F8-4734-8F53-B8E9121733F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$5EF7D37D-78DC-45E7-ACE1-9D91B272057B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$555AAE83-A330-4828-A1D6-6DF9F5FA9E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$9452389E-E61D-4829-A89E-890729BFAE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$229B21DC-18FC-45B8-83CA-D771C8A46CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644739$5B01E82C-895B-4A08-8FE2-8EE3FAFEACFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cdad27cec952b4a067ef178a26a1ca88d8989b","datavalue":{"value":{"entity-type":"item","numeric-id":2841227,"id":"Q2841227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d57caaa4552cdca8d292b825a4cc097f3846f0","datavalue":{"value":{"amount":"+0.8495572805404663","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":"Q3644739$DC617489-F8D1-4B95-9A48-B9B9AEC9C411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffa40b503cd2c081dc61973c12ce0b002c625e4","datavalue":{"value":{"entity-type":"item","numeric-id":5277972,"id":"Q5277972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b9f0050c8f2a4b9a177706f874ec27d8da564e","datavalue":{"value":{"amount":"+0.8039760589599609","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":"Q3644739$124BA8A4-B5BB-4F09-882F-D77473287048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6b744c1a58c79e7cabf6a39ee48ab7b5aede5c","datavalue":{"value":{"entity-type":"item","numeric-id":5505577,"id":"Q5505577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4641d6f56ddd544f770b05965ae68a03b65a9287","datavalue":{"value":{"amount":"+0.7975923418998718","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":"Q3644739$0550360F-315A-4BA9-B529-7F099011CADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117b41f859d148f7f63b853afde1eacb203e24c4","datavalue":{"value":{"entity-type":"item","numeric-id":5371043,"id":"Q5371043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6df89d4fae5c2262a3c4c3b69dac3c2501ecf8","datavalue":{"value":{"amount":"+0.7927533388137817","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":"Q3644739$E5AAF238-EA10-47FF-8AC1-926E18E793F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a80c140824fdfb549646a03ad39713617d2b80","datavalue":{"value":{"entity-type":"item","numeric-id":3543648,"id":"Q3543648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114e0b09ff162a4b7f9427f88b86c8d1c2ec4ff5","datavalue":{"value":{"amount":"+0.7866564989089966","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":"Q3644739$BC6A3B05-5154-4FC8-BD83-E17CF2CBCEDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed Applicative Structures and Normalization by Evaluation for System F \u03c9","badges":[]}}}}}