{"entities":{"Q818927":{"pageid":820775,"ns":120,"title":"Item:Q818927","lastrevid":64572201,"modified":"2026-04-11T20:47:46Z","type":"item","id":"Q818927","labels":{"en":{"language":"en","value":"A semantical proof of the strong normalization theorem for full propositional classical natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014160"}},"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":"Q818927$E86D59BF-8664-42E9-A312-E07F12F0EF68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a9d7e90e65f6d7a407a033b0388a7b96206d54a","datavalue":{"value":{"text":"A semantical proof of the strong normalization theorem for full propositional classical natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818927$C6EDA536-740A-43E9-8D58-9355E0149251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3747357f07f5c50cda427ce413f770357b9e4af","datavalue":{"value":"1090.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818927$BDC37F4E-1535-497F-B6BB-54A1BF9AF2F6","rank":"normal"}],"P16":[{"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":"Q818927$4F6B70FD-51BA-4B52-BE6E-B6B32D3C248A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d98715daff21d7c75f3cdd719e2cf7258168bd","datavalue":{"value":{"entity-type":"item","numeric-id":732056,"id":"Q732056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$D790A52F-19B7-4FD2-8301-C7B2BC9EF4AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$B1FAC6E5-3437-4B62-8694-6BA6EBC4FF65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818927$E2A868E4-C4CB-4EC2-816E-97CA0A15986A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2b794e7dee28bac37b9a9a78e1adb7944bf30ba","datavalue":{"value":"https://arxiv.org/abs/0905.0358","type":"string"},"datatype":"url"},"type":"statement","id":"Q818927$59FF0466-DDE9-4924-862B-0E9ACF59B6FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818927$BE0DB438-81E4-4886-AE17-408AEF88B88D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"180af8a9dce339971a27d4765965f93ebaa84497","datavalue":{"value":"5014160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818927$CB891C4F-8C65-497A-B02F-478F5E58511E","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":"Q818927$7B307379-E81E-4B90-B03C-80294B3ACBB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf0265dd8019133bd98668ce9582e8e09b6d08bb","datavalue":{"value":"W2002953392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818927$20DD439F-F067-4433-B359-85170D0C0A47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"115adf875681b76e6e24dffcf58a246bfd7b0a90","datavalue":{"value":{"entity-type":"item","numeric-id":1861541,"id":"Q1861541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$423827F0-446F-444F-922A-BE57636B4ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ceeb9d1d61c6f5a256858dc451469f1b7db716","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$DF2A7D18-F82D-4DB7-8C77-BEB4F088D743","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":"Q818927$4CBC55C5-FE5D-4B00-9CC7-D6EA0EC138CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$8442D90C-16EB-4320-9EC2-56B11DB36A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$4A776F87-9748-4800-91C0-57B7BF3EDC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd017d35f44f14a51ba00ad5bb8a601ffea5446","datavalue":{"value":{"entity-type":"item","numeric-id":1772778,"id":"Q1772778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818927$C942C809-E217-4604-8720-6B239EF0E301","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":"Q818927$DA0E50D8-962C-4188-B560-69A1CF15D605","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":"Q818927$7F39F8FA-0158-41FB-86F3-DF93746FCAAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dcd5a1537bb1034e6824fc6b05cdd868695cfe9","datavalue":{"value":"10.1007/S00153-005-0314-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818927$F772E6C0-ABDA-4404-9A09-76175ADA5689","rank":"normal"}],"P1643":[{"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":"fdfe03bb1ab0615b5da6f6fe2e228b39876ccbc4","datavalue":{"value":{"amount":"+0.8798556327819824","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":"Q818927$6AC01734-4B28-420B-974F-B487E3FF00F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c53e1a9cbe2144d1e715170d918bededfd1ad3","datavalue":{"value":{"amount":"+0.8657549619674683","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":"Q818927$37F25063-0BA1-4D51-9CE7-60C95C3EE8CF","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":"9eafea55cef06d0d51b41f150f1ea78af4f8f3a4","datavalue":{"value":{"amount":"+0.8656310439109802","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":"Q818927$6E2CDC4E-FDEE-4922-B326-9D81212315CF","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":"aa83f89c0d7dda56f8c84b032e4788b0ec515c44","datavalue":{"value":{"amount":"+0.8624554872512817","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":"Q818927$AC2DA6B1-4BE3-4877-ACA6-FF3325D0D2F8","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":"1d6958ddfe5a06adcd29329ba71ce2b8d21ed9a5","datavalue":{"value":{"amount":"+0.8583947420120239","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":"Q818927$7603397A-02B0-4945-AD3F-FBD4A7750FB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantical proof of the strong normalization theorem for full propositional classical natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantical_proof_of_the_strong_normalization_theorem_for_full_propositional_classical_natural_deduction"}}}}}