{"entities":{"Q3981450":{"pageid":6011324,"ns":120,"title":"Item:Q3981450","lastrevid":87895634,"modified":"2026-06-04T13:06:59Z","type":"item","id":"Q3981450","labels":{"en":{"language":"en","value":"Normalization theorems for full first order classical natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 21869"}},"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":"Q3981450$78BB3FA6-41AA-4CC9-B1F6-40603C7F0525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2990f0369b3e626a214796b07f54842ad841ed72","datavalue":{"value":{"text":"Normalization theorems for full first order classical natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3981450$8CF8FA47-6657-4410-905D-7464A9178477","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aed2f126d60aa2464be5c25343298934622ad7b","datavalue":{"value":"0735.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981450$38E7BB69-C902-4743-805A-10DCDD31C77D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98499ec2ca85250a76674f4de37afcb88c5eb068","datavalue":{"value":"10.2307/2274910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981450$DA472DE9-1CF0-4987-A968-51F3E408B480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce808ae40a7985cda67209e2e51fdfc3cde14de","datavalue":{"value":{"entity-type":"item","numeric-id":1263981,"id":"Q1263981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981450$C6DA399E-4184-4DD7-B9F3-5FE8741A7DEF","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":"Q3981450$D2D83D47-5BBA-419C-AEC1-55C3F6F76328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3981450$00808AFA-EBE4-4FBE-93EC-191600779BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981450$84D33EF2-7527-47E0-88EB-AA69500316E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75a1b10cf6efc543fc86f4a15d092243092ef4ff","datavalue":{"value":"21869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981450$0C78F550-334C-454B-9CD8-96CAA2E1A0EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5dfa0205c9588bc6d19954052555f47f6a82f51","datavalue":{"value":"full first order classical natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981450$339EFA16-C546-414E-A2A1-B5B2A63B3645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e395ae2d636478627cecf428dd6a45aad417915b","datavalue":{"value":"strong normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981450$EE9FF753-17D7-47BE-8BA8-936C642232F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3981450$C9BA1B2A-5A5D-4279-982D-C8D7963EC320","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":"Q3981450$29245318-8C9D-4D9D-AAED-74D13877B215","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aa7f1252d3e5f22f12a85f748bb4c509bbe0867","datavalue":{"value":"https://doi.org/10.2307/2274910","type":"string"},"datatype":"url"},"type":"statement","id":"Q3981450$1851EC28-26A4-4106-9DB3-0BA7A99F0404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ce852c1ce5abf9561d182fdb0580f4d443c3a11","datavalue":{"value":"W2143121603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3981450$4C1ED680-2E4D-4149-AA60-72A6AEFA497E","rank":"normal"}],"P223":[{"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":"Q3981450$456A61F1-4504-45A2-85B7-817004F7EE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75072c5bce5a3ad953643dfb9953f029de8fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3781073,"id":"Q3781073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981450$502FCEAC-320A-43D0-9E86-8122983B3CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66101d7c220497845264a62fc655d0a0090b58b","datavalue":{"value":{"entity-type":"item","numeric-id":4194954,"id":"Q4194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3981450$67CC78C8-DEBF-4436-BCDC-5A74207C4B16","rank":"normal"}],"P1643":[{"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":"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":"Q3981450$1A3DA5B0-2F04-45C0-9272-C4B864DA6C77","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":"3a4b72b30bb44f3bee59604e41f6a41126d46b38","datavalue":{"value":{"amount":"+0.8361712694168091","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":"Q3981450$9CE8FF96-E020-4AD1-A271-3C391F7333A9","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":"c2dc7aab09c6b1c350059da4f4eebb56941cb3d0","datavalue":{"value":{"amount":"+0.8257565498352051","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":"Q3981450$E642413D-7B5E-49F6-994E-65895B6EDE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fed6b18240662fc0674cf2c7da78db6aad6bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3536e891c0da1063903d79d5e27c6f020d83740d","datavalue":{"value":{"amount":"+0.8240422010421753","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":"Q3981450$44429DBD-90C3-4C21-9C74-CD41828B2430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalization theorems for full first order classical natural deduction","badges":[]}}}}}