{"entities":{"Q5704806":{"pageid":7734360,"ns":120,"title":"Item:Q5704806","lastrevid":96968201,"modified":"2026-06-05T12:54:45Z","type":"item","id":"Q5704806","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: Gentzen\u03c0 -institutions and the deduction-detachment property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2229394"}},"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":"Q5704806$6BEA0A70-4EB1-4925-8A4D-4FDBEA892193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0fa51a43f0d73ea833d1fd3ed7294b43ddc5e78","datavalue":{"value":{"text":"Categorical abstract algebraic logic: Gentzen\u03c0 -institutions and the deduction-detachment property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5704806$57DA3492-0FD2-4D4E-95A4-D12BF7AC4E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8760788d9c39143c45a43d96ec9d824592116c5","datavalue":{"value":"1077.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704806$D371EECD-2FD3-4E44-A10C-8E12D7A5A716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704806$A85550D4-0A6E-49D8-A234-5E019A3713B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704806$8E0420EA-BDE0-4999-9E8D-5CA9C0577222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57298f923c7eac3a70edb77063142c19eb17d67","datavalue":{"value":{"time":"+2005-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5704806$F5FB21E0-1D21-4996-84D3-EC98D6A794DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704806$027A3E6C-AFFD-4650-96C9-27D5CB0C49DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704806$598BA28C-6F72-40BA-8B67-6B57B5590458","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"733c2692fc6e7800de2e3deba4533a21b428c805","datavalue":{"value":"2229394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704806$DC8FB927-A2A5-41CA-86DC-B9E9A8978E91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$DC4F3B89-EEDB-43EE-8101-04B48B42AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$5279B3D6-B783-4EF2-95AE-3DA401EDCCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed73d6a1f1889d107213292640e2fcdbf3a2964","datavalue":{"value":"Gentzen institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$996C7B17-0475-4663-A28D-84CAF4CA77ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$44EBC4D8-2D15-4790-B128-B153DB7D4ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$DCF98021-E4B1-4BE1-A719-ECF3D6B6D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19893fa70f219532df6193dad75c5101409f5d7","datavalue":{"value":"lattice of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$60D515D6-EBD5-433D-9C21-B33D6C4599FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f92cc527656b9dd150c8d61b9a582db5466a21c","datavalue":{"value":"category of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$70010136-9037-4709-B13F-082B7D35865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfeb258942ae192415c813749d6b5221b271ebd5","datavalue":{"value":"Leibniz operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$1D58409C-0FF8-4035-B966-B82B6EE1ED98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22585e92e310a1e7da86eb90ea3ca312d8d0d891","datavalue":{"value":"metalogical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$6277E549-7512-45B6-BD2F-AE1E3691C8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc61c6e701dc51e134979b840468102bcac64e1","datavalue":{"value":"deduction-detachment theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5704806$9812AA61-6092-4623-A8B4-4E44BEFEE53E","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":"Q5704806$ED84C67B-8F3C-4AB4-9699-B3220D21440D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"249e56c70162f7e83190c934c90bf20d3ed84ced","datavalue":{"value":"https://doi.org/10.1002/malq.200310132","type":"string"},"datatype":"url"},"type":"statement","id":"Q5704806$5AF39D82-B0C7-423F-BA06-5BB68C8FA898","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c4242d130817ccc098646c4b136c2eb1ccd9bb","datavalue":{"value":"W2139985033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704806$5F2D4782-9CEF-4DA4-8647-365C6223EF97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704806$7112280C-5097-4D9F-B9F1-2600B3673983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704806$18F49B53-F4A5-448B-8319-10F1927BC65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac77129026675facf6a79a4faf8b1df0cdfc796","datavalue":{"value":{"entity-type":"item","numeric-id":4736393,"id":"Q4736393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704806$778A0A85-2482-45BB-BB56-C87FB057F2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e183e8e7145c43c41f5ae4889b564985595ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5704806$00E96E58-C3D7-433D-AFCE-A401C3D901E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce4ca7af114691109efab1f834b5f6f5dc8545a1","datavalue":{"value":"10.1002/MALQ.200310132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5704806$5581174A-7D4E-4974-B78C-985BBDED7F22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6003e5aeb7741dff9fb0f4f5822884f1d25bc414","datavalue":{"value":{"entity-type":"item","numeric-id":5449284,"id":"Q5449284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225e5e50032930bfcbe52ea4f92eb0a227489322","datavalue":{"value":{"amount":"+0.9757281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$DCA7B3A8-5B42-4189-9C25-15B0C2C69BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6f7eff70ce6474f6e3fd7ac19c92822945eb84","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb59429c129a8294089d82c4c2c7a0122c5c417","datavalue":{"value":{"amount":"+0.9547592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$E8692F18-6BF6-4978-90E5-0E29E20F40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ba31d85f4598eed02bb66d3a1bd5a5f3196278","datavalue":{"value":{"entity-type":"item","numeric-id":3632250,"id":"Q3632250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5e3bae14f1c61fa8fb995e09b6486a1a14fe58","datavalue":{"value":{"amount":"+0.95328456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$76E1BB95-0891-408C-A78E-A81F8AD7B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0afa930caf0f1b453980e8c871e877c65b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3629235,"id":"Q3629235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa93e52d4edba4b091dcb1ee3d5a71d31d4dcbf","datavalue":{"value":{"amount":"+0.9531879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$63004F1E-0222-4036-913A-8402FD98DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b026a681a39ac78d5ac210f503c45b1fc71001","datavalue":{"value":{"entity-type":"item","numeric-id":2354626,"id":"Q2354626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8842b83109fbd2243951fd550c8e3c8162ed68b7","datavalue":{"value":{"amount":"+0.949769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$2D69C379-AAD4-40A7-B9CC-40A5E67A3BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b191e6e55e8384d10d2ed3829fe7f2acd8ffc420","datavalue":{"value":{"entity-type":"item","numeric-id":5501724,"id":"Q5501724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d12d8887db8fee7096178906e62f2f2f4055b0","datavalue":{"value":{"amount":"+0.94614005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$5B64603A-4E89-411C-9427-CEF03DBD5DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2295ba18c75a02d8f19d09614d3ec79bd3a1c8","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baedbe28c40ab908ab76470fe43fc7694f5ed7f2","datavalue":{"value":{"amount":"+0.94568014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$038CDAC8-38DA-4589-B738-C87D0D26D87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0677fbe02ff40e18c409a601e85fce55975f909","datavalue":{"value":{"entity-type":"item","numeric-id":4928968,"id":"Q4928968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de570d4d577c1b838b6f65709dc03c48ea44823a","datavalue":{"value":{"amount":"+0.9446771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$59C677DC-2C06-40BC-99D0-4E777CE25BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e71a77136fda5b7e9cb011aa50c4d3d7751d29","datavalue":{"value":{"entity-type":"item","numeric-id":5441065,"id":"Q5441065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050f99b6c2dd02e32729620353bc20f994c09f27","datavalue":{"value":{"amount":"+0.93919206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$5B444E22-296F-4BEA-93EC-5977F23A0DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ca4243288449b02deeb00fa0f065afd7c670ff","datavalue":{"value":{"entity-type":"item","numeric-id":2971280,"id":"Q2971280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb31001eebff310b1a6e1b4b5cc9731ff453abfe","datavalue":{"value":{"amount":"+0.93870294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5704806$F3A2A570-8BBD-494D-967C-7F113BB3DCCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: Gentzen\u03c0 -institutions and the deduction-detachment property","badges":[]}}}}}