{"entities":{"Q6180164":{"pageid":13315052,"ns":120,"title":"Item:Q6180164","lastrevid":58745352,"modified":"2026-04-06T13:53:22Z","type":"item","id":"Q6180164","labels":{"en":{"language":"en","value":"Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7791311"}},"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":"Q6180164$311B5656-7057-4734-BE32-FBE785FDE713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ce98b3359ff9970cfe95260c9927d95bacea61f","datavalue":{"value":{"text":"Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6180164$C02C4853-5A5D-4ECD-B97D-A3785E825E69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"421bcc4601eb41dd4bb0f8a1028e23f545c9f702","datavalue":{"value":"1528.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6180164$6BA77A6F-E26E-4C13-B5A3-A30F651284EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7a9ed56ee75de611a0f69c1b285edaed0b5afe5","datavalue":{"value":{"entity-type":"item","numeric-id":266651,"id":"Q266651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$3D5DD91E-4925-45DC-9ED5-C0D9251D6B42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$124EF0D4-D845-489E-9FE8-42D4A7546242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c91eeea891826b76cb87877342f41a3790a622e2","datavalue":{"value":{"time":"+2024-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6180164$1FBDCD50-4A74-4637-8D93-F11BA036D244","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57f09c8c8fc721176ad88505069653cdc6c3a04c","datavalue":{"value":"https://arxiv.org/abs/2110.09921","type":"string"},"datatype":"url"},"type":"statement","id":"Q6180164$D94817CD-769F-4614-9085-8D80C1289820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6180164$7FDECEFA-2B5A-4787-86CA-EF4FDD1A6B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6180164$AD448C3E-700E-4533-9F7D-01D7C41BF243","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66821d932a7dc261a5996bf474e97e766111d6ac","datavalue":{"value":"7791311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6180164$A692349B-4B53-4E25-8FE4-63EFBE15332D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$2DF78188-218B-48F7-80CC-9B3A8670D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$E4571640-19C6-4984-B225-69ACA5F3FD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$EC436450-114B-4FF9-B546-1C2998001961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b695804eda358a6aa88afb864d83be17947bb21e","datavalue":{"value":"general elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$D93AB2A6-EDFA-4E6A-8CFE-8F797CE0C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75727190d9342ffb4121d49600ebe06fc49533f","datavalue":{"value":"general introduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$3D12F972-187D-4EE4-9EDF-1CFC2BB6C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$97D2529E-2C07-40E7-AF56-C84752E89F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6180164$3B22C804-A498-4EE1-8203-0F3EB9B4E13C","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":"Q6180164$A2A78BBC-BA54-4038-A7F4-DFC89A4E142A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$DFA643C2-6573-4E9B-9884-CDCFC5DA0648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$0AA2A2D6-AF03-47CF-87D6-665A4FBF5D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c22a48c5755a62f5acaf4e9fa8a52ba7136feed","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$A02A04C4-BF1B-41AB-95F1-734EF9F5EBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7660a0cbce8062a7f3130cd8256139c3a47ab9","datavalue":{"value":{"entity-type":"item","numeric-id":3121549,"id":"Q3121549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$31F84069-5499-4F2B-9D4B-A52D0D8AA5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e681b0f6ffb77836256373a6a59e314d0d998b67","datavalue":{"value":{"entity-type":"item","numeric-id":3577741,"id":"Q3577741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$60543168-1339-4308-9EFA-B0A77938BD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f263d4c85701f41b586e5bc6925bb81c2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5213611,"id":"Q5213611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$F0C757CB-9EA5-4244-B75D-7BF6AC2ABB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679422b48af6293fe1af65299b808f109915509b","datavalue":{"value":{"entity-type":"item","numeric-id":3518563,"id":"Q3518563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$929A0A90-230E-4412-AFE9-B596054425A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$872F956C-1F68-4660-8F0F-F3F5BC155B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$826A934B-D514-4308-A49F-E89285ABA914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$F16C6CF7-2330-48E3-B577-152B5F7F5EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$14707968-877B-44A5-99E5-4994A7C8C6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942db4bfddc12df2ddb1123ba29dac9b74597e29","datavalue":{"value":{"entity-type":"item","numeric-id":5567835,"id":"Q5567835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$AF264240-E59A-4D9B-97E2-E561ACE5D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422744a29c3cc2d00c541d05b6a65c3b9575f618","datavalue":{"value":{"entity-type":"item","numeric-id":4663371,"id":"Q4663371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$99ECE131-86B2-477B-AD19-433482C90161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$FD6A7A61-AF2C-4E71-9280-9BB773C64FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$A74244FC-70EC-4FDE-B457-A7F732D7E155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$01A7ECBB-50F0-475A-B7BF-4029612CA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$B5495F2B-2F72-41C7-9DBB-E4D32380EFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d736c0732078a9d7eac3c1589404b797c3bb93f","datavalue":{"value":{"entity-type":"item","numeric-id":530609,"id":"Q530609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$33D64FC1-3CA5-4C3A-BA88-B3A7FBE1A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98495c20f6be115d3d30ca5b7bbc330521eae78","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$EE46DF1E-9D1A-4BD6-BA2D-A776BF532871","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"094382fc2bc9accbb00b88305d0c430340991462","datavalue":{"value":"10.1007/S11229-021-03418-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6180164$FC59D055-E964-45C4-9F8B-D393558E0F94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84cef56c0a2f1dfe098d02a22f1de82b6159650","datavalue":{"value":{"entity-type":"item","numeric-id":2118171,"id":"Q2118171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c567831807f455b0c6b9f67a058cbea4e554f1","datavalue":{"value":{"amount":"+0.845486044883728","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":"Q6180164$D051A35F-A3B1-4D75-9ACA-962205988386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de2f9ccea2b04a8fdfbfd3ea1736f37d4284f98","datavalue":{"value":{"amount":"+0.8278114795684814","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":"Q6180164$967F66AB-68CD-4213-9D9C-B232CC89817F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9611f28e1e165eba0ce23406e9adfff817a0f002","datavalue":{"value":{"amount":"+0.7906972765922546","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":"Q6180164$70B1FB27-D60C-4E44-B5E9-6E3B5F788C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec48413075941c56ef76ba4da1b4e6cd4daf0f51","datavalue":{"value":{"amount":"+0.7901864051818848","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":"Q6180164$07D43A66-D6BF-49B8-829F-3A47A6D0133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2729ae29272a9729462369259bc85a0ec3430fa","datavalue":{"value":{"amount":"+0.7849042415618896","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":"Q6180164$41FA0A19-F6EE-416C-8CB8-A1628E467B4E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6180164$620FF803-02CF-449A-B40C-FEDA69E15996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6180164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6180164"}}}}}