{"entities":{"Q5015364":{"pageid":7044941,"ns":120,"title":"Item:Q5015364","lastrevid":58391550,"modified":"2026-04-05T00:36:16Z","type":"item","id":"Q5015364","labels":{"en":{"language":"en","value":"A note on strong normalization in classical natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440187"}},"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":"Q5015364$7F16EB0C-39D2-4083-AF66-BBB9974CC93B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0104708e7fc8f10ef41723ef92a9feb7eb3991db","datavalue":{"value":"1486.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015364$2EBC1156-F9AC-4138-9533-4365A9A2A938","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":"Q5015364$3F4D6C89-0D04-4EB7-8804-FFDAAB46138E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015364$2B8907EE-1D93-456F-BD3D-79ED9AFA8E6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"673d523059721e4b63632c8fe7b67e028e1cfa93","datavalue":{"value":"https://arxiv.org/abs/1606.06387","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015364$1730E105-FDB6-4B83-AC6F-A15083F9D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"368bb8033f8f5eb8a93297ac813bb19346e0232c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC16.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015364$E560C3E4-0168-43BC-AB00-5E081789CD31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015364$80B22624-FFD1-4255-9D7D-587647176C64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bb22ac344bb68aecb20c47c54084485fda6bf0a","datavalue":{"value":"7440187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015364$AB2B6A07-72C8-4289-9DA4-B3973D71DAF9","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":"Q5015364$3B492140-019D-4FB5-B869-4CB090667559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015364$AB7EF72D-0830-4424-B2C4-2B9F56AE665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015364$821BCFF3-A24A-4FDF-A573-CB0B044051A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb3a78bbdc3452fd4009af98c6e088b6a28ed53","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015364$D5CCC9BC-AA85-46BA-9075-8050824E8F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015364$7E1ACF9F-F441-4E4C-95D4-B0DBF7F941B2","rank":"normal"}],"P1643":[{"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":"92eda59e984c83b34362ac29344eeaf3464c4fb9","datavalue":{"value":{"amount":"+0.8801649212837219","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":"Q5015364$E7E3EA70-1C28-40DA-8FD6-02F9E70B461D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979744c10a372b30615f5d4ae26329d711b616f3","datavalue":{"value":{"entity-type":"item","numeric-id":636353,"id":"Q636353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4b26e18c316f6c1ce47a4e3aa2cf29c4091ab3","datavalue":{"value":{"amount":"+0.8422027826309204","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":"Q5015364$F66ABBAF-137D-4777-8955-9EC21F0B7424","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":"5d76c6ff7da4ebc63e6610aa2ad2ce2eab1ff474","datavalue":{"value":{"amount":"+0.8323954939842224","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":"Q5015364$3F5E37EA-D045-4621-AAB1-C41561D3EB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b6b94608699353d6852cb8e5488909e52aca82","datavalue":{"value":{"amount":"+0.8320772051811218","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":"Q5015364$DB46C13D-EF51-47A6-BCE3-A3FA73082F66","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":"ebb51b808748dd02d23fd60409bf7e274dc696f8","datavalue":{"value":{"amount":"+0.808908998966217","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":"Q5015364$11E56F04-5D63-487B-9A45-1AC4D1CED321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015364"}}}}}