{"entities":{"Q4586413":{"pageid":6615998,"ns":120,"title":"Item:Q4586413","lastrevid":53201255,"modified":"2026-01-24T11:04:12Z","type":"item","id":"Q4586413","labels":{"en":{"language":"en","value":"Deduction-detachment theorem and Gentzen-style deductive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935917"}},"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":"Q4586413$4713E769-8F75-4DB6-BF34-84F1B88529B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81bee4c0df3eea7fa2b1b7297b17fcf27e9c42c5","datavalue":{"value":{"text":"Deduction-Detachment Theorem and Gentzen-Style Deductive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586413$0CB7FF98-FE1D-4CA1-9B1B-3C13FF6F598D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62b03343d2825b1bb27fd2675ea31242cbe1366c","datavalue":{"value":"1459.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586413$941C3963-BC05-42DC-9E40-00DB03541867","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc442798a2f669a614cfdaafc69319a008f4ab70","datavalue":{"value":"10.1007/978-3-319-74772-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586413$78B6590F-53DD-4197-8E41-E6F5B153CD32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62987eb0f13b464daa8403f58fb0761452f94a63","datavalue":{"value":{"entity-type":"item","numeric-id":301371,"id":"Q301371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$D08ED51E-4CFD-45C4-84E1-E1FE7DB3676F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc5f0c21d147807dfba660a84962b5e83a716bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4586410,"id":"Q4586410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$A69EC38A-64D8-462E-8CEF-4CF7A700901A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a24106ed98c6c98e1c31528fd50f3a9463b492d","datavalue":{"value":{"time":"+2018-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586413$1C6E40CC-C05D-483B-A85A-D2FC01D8A0A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586413$3317F3C1-B934-43CA-BDD6-AF0EF1883EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586413$42F75B2E-A9EF-47BE-80AC-16AEBFB928BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d871d6b7057069fef7bf330b33371509ed47ada","datavalue":{"value":"6935917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586413$EC9096E8-EA72-4044-A210-6BA972BA37E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc61c6e701dc51e134979b840468102bcac64e1","datavalue":{"value":"deduction-detachment theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586413$73E59D83-B665-4BA4-9B9C-C83B004E80DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586413$5BA877E8-CABD-489A-B81D-39ACA8952925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586413$AA39061F-0391-4BF0-9033-B89D8045E999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c359ef3a479e441bec452fc1f4f9bc5b522b0e","datavalue":{"value":"closure relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586413$C7D11505-3986-48F4-8A12-4A80C0474544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b7e5458a7a5ae7b348650458881262cb368999","datavalue":{"value":"protoalgebraic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586413$7BE1F8F9-39C9-4314-B126-AC9FDBD32DED","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":"Q4586413$7A8317E4-9D17-4ED0-9C77-9B01C2BAF854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c4ec0c3b04440e64db443eabe950ae220da597","datavalue":{"value":"https://doi.org/10.1007/978-3-319-74772-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586413$B2E15D15-78A1-436B-A862-A0FBB31BF958","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2d7ae8e15b9d6c2f254a74064f68b16ac65d881","datavalue":{"value":"W2790629682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586413$296987E6-A410-4DB3-BDF5-AA1F37821850","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b923c95ec00337b72ff369dadf91b7fed96bf591","datavalue":{"value":{"entity-type":"item","numeric-id":3434479,"id":"Q3434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$DF06E7AE-5348-4ABB-920D-F0A624D76154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34f084b292be64219d879c7254d7f79a37dff10","datavalue":{"value":{"entity-type":"item","numeric-id":1219264,"id":"Q1219264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$0F9E6558-A011-4F06-AE41-CE553BAA2209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$63010F3E-9FE3-49D1-86F7-135AF682A7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$26641CE5-312B-4BB4-8BA1-3816BAE054A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480d9e6198ddffbf4560988f86365c29e304083a","datavalue":{"value":{"entity-type":"item","numeric-id":4508251,"id":"Q4508251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$F7A924AC-F372-49A5-A099-D7A5E51CC916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$C8C43EAC-8BA6-441B-A4B0-58FC2A501B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d1bf2bad4b60afeceee522f15ec0cf3ab22804","datavalue":{"value":{"entity-type":"item","numeric-id":5950711,"id":"Q5950711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$E35443D1-0F30-42B4-BFA6-BDB32F54F296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da25ca6923753292a42f96c30a1692609108140b","datavalue":{"value":{"entity-type":"item","numeric-id":2433101,"id":"Q2433101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$FC61A81A-2255-4087-9B68-912ED44A794D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50688616cb8c5804567563d6b6a343507d93ec05","datavalue":{"value":{"entity-type":"item","numeric-id":2772907,"id":"Q2772907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$7A5E04D1-A056-49CC-8AC8-87FA065A378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352ffea4175f3660cfe13292365d0074611b9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1146705,"id":"Q1146705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$CB902B5C-12C0-4EBB-9216-4408F0515E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3821b391eb1a2c705c22e3f26164574c0e7edf6f","datavalue":{"value":{"entity-type":"item","numeric-id":3342633,"id":"Q3342633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$476E8286-48AA-4B4B-9C94-36BAC793507F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a1edb5d0f41a1e3c3a2fac7424dcfc28af114","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586413$4515171F-F427-4C3B-B906-275198D47962","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6f5582182a4c833e3319bea6555806f07ac92e","datavalue":{"value":{"entity-type":"item","numeric-id":3434479,"id":"Q3434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00628ab42d3ff1dc1f84ce3dff44d2cb8e09a4f1","datavalue":{"value":{"amount":"+0.7631807923316956","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":"Q4586413$EBA07877-1165-49A5-B7B1-EED5F49965FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277739ebe82fe1199bb0d8d467361d5a409cfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4698605,"id":"Q4698605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5433d4c7ff2541cfdc68d0fab3d3cc9509a3a07","datavalue":{"value":{"amount":"+0.7549437284469604","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":"Q4586413$1C5BFE3D-7FAC-4312-96D4-968C735BBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348b7180f78bf47463663452e53d003828bf4160","datavalue":{"value":{"entity-type":"item","numeric-id":2753259,"id":"Q2753259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2158196a5e8df7993bed89294096d2ee434c5b61","datavalue":{"value":{"amount":"+0.751457929611206","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":"Q4586413$32E85D5C-D1A5-4CD8-AC45-EA505EEA3751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cde16e7c949252a46e1890d00a97b33d9a7cbb","datavalue":{"value":{"amount":"+0.7437794208526611","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":"Q4586413$205EA0C8-A38D-42BD-AFE3-EA8E71CF24F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21aba76d6e914f9b4d82b35d7986a449330ae05","datavalue":{"value":{"entity-type":"item","numeric-id":647412,"id":"Q647412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0504486707563d1ce08dbb92795442dd0324f3d8","datavalue":{"value":{"amount":"+0.7418344616889954","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":"Q4586413$570092C9-6340-4304-843E-78E773B61899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586413"}}}}}