{"entities":{"Q4650260":{"pageid":6679841,"ns":120,"title":"Item:Q4650260","lastrevid":48410833,"modified":"2026-01-04T15:40:18Z","type":"item","id":"Q4650260","labels":{"en":{"language":"en","value":"Strong normalization proof with CPS-translation for second order classical natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133207"}},"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":"Q4650260$48655EEB-671B-4C97-A62D-52DFA763AAD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6493689aa51112ef9a4765a0dca03dd760e3e6dd","datavalue":{"value":{"text":"Strong normalization proof with CPS-translation for second order classical natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4650260$C395165E-DE72-4D8F-A254-C799B033433A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"002201f8609c2334796c42d01b572bd00d546abd","datavalue":{"value":"1058.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650260$F181B1DA-24D6-410A-A059-804D9824DA39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650260$FCB62687-020D-447D-A47E-A05687C1919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650260$5A44CCB0-AE1A-40D6-9845-906670768E0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650260$67B6E2CF-F838-4FEA-B03C-46A3FCF8EA34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bb430d98445fad0c07a301b258c507df3dbc1f9","datavalue":{"value":{"time":"+2005-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4650260$9E4B4919-0FAD-4E85-A6ED-76C7677CE0C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95bf8c5f1aef686c1899e4993ac1dac75a529d52","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1058448444","type":"string"},"datatype":"url"},"type":"statement","id":"Q4650260$6DAC04B3-9E59-4C77-8615-61728833D983","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650260$33844AE0-5345-4E47-9CD6-29C654678FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650260$742DAE34-7CFB-4BD1-9CC0-C7E37D0CD940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86f88ae2340699bd081ec3a4d9818a1ff16e226e","datavalue":{"value":"2133207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650260$36887C7F-7DB4-4C0A-A34A-299795677FB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650260$A796BBD9-66D1-48F5-B7BE-3B596468FB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2443d46b9781eaf654c2170e9579ddc41424d6","datavalue":{"value":"second-order classical natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650260$EC562681-2D77-4C68-B1B4-37B832364ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7547b0f63b18775f2a3e5101db1500e9847e1299","datavalue":{"value":"CPS-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650260$AA85431A-4CD3-4D5B-8C24-5BE163BF66A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"735ef72e5bdf03f4357fa6ec9406b67bfc1a7dfe","datavalue":{"value":"augmentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650260$7775283D-926D-4386-94CD-D0C4BE75C303","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":"Q4650260$7F853923-266C-43CB-B339-73A18804D4A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13b2f3d8b72f50c75d4895c23cc2474342da5ad2","datavalue":{"value":"W2128981898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650260$8A45FD66-A027-44E2-9414-45D2EEE2F1CC","rank":"normal"}],"P223":[{"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":"Q4650260$F650D26D-8227-462A-B020-2EB0C8D8DAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89ddbcbedbc2944384a44feb02b02519cd3b018","datavalue":{"value":{"entity-type":"item","numeric-id":2729625,"id":"Q2729625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650260$4175BD27-E85C-4913-B79F-B41A3AD91DFF","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":"Q4650260$B34B0CC4-9567-41C3-85EB-CE8415F82C91","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":"Q4650260$33A75A06-D8A7-443A-8905-074F61BBFB38","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":"Q4650260$08B6A728-DDE2-4EAF-888C-35AC22D81CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650260$A0007FB0-10B1-4E46-BC0F-5A7DF0D4A3BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7e033d57dd4819b192c4dca5ee2d24d8852f7e2","datavalue":{"value":"10.2178/JSL/1058448444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650260$3E5DBFED-E013-4719-B9BD-74AF4DF9C640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae0ba9505536d3f0b78c45eebf87c11a1d7e89c","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefd86c3fbcb43e7918474644c0cb49cdc158b85","datavalue":{"value":{"amount":"+0.8395163416862488","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":"Q4650260$A4E8FEEC-D052-4A96-8DBE-46697DB437CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1ca4040b354cdf0d9ff0e3012f34bdce31cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98950ac27406238c53000d9cf51f41e182dcd253","datavalue":{"value":{"amount":"+0.7985202670097351","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":"Q4650260$E3D9DF70-FC44-43A8-BC06-4AB9BB9A13C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d97faa2ac5a7df01c3b864c90903470d7e32d38","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53db801f02d8c3e31bccb58abe8b0d67092004e3","datavalue":{"value":{"amount":"+0.7937646508216858","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":"Q4650260$70858795-DBB1-4D68-84DF-4E0EDECA4BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cb7f50ff15314687d4e9e68913f9827f827e","datavalue":{"value":{"entity-type":"item","numeric-id":2482841,"id":"Q2482841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb110e59c87b9b25ed2829e4acac4157dc40129","datavalue":{"value":{"amount":"+0.7891039252281189","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":"Q4650260$01EB48C2-1C8F-48B8-86B7-4C56ABDBA7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887b1ba280687b3c3d827cadbd35ae5187a866a4","datavalue":{"value":{"entity-type":"item","numeric-id":5477358,"id":"Q5477358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf7cb55b7e69fc157e2646d4517aaeb2f319b32","datavalue":{"value":{"amount":"+0.7875797748565674","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":"Q4650260$29A9DE84-919D-4263-AA41-9E3D7B89066C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4650260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4650260"}}}}}