{"entities":{"Q638480":{"pageid":640328,"ns":120,"title":"Item:Q638480","lastrevid":63325911,"modified":"2026-04-11T12:06:42Z","type":"item","id":"Q638480","labels":{"en":{"language":"en","value":"Admissible rules in the implication-negation fragment of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947126"}},"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":"Q638480$B30522CE-5C45-410A-B82E-7AB8A983785B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81edbdcf928225404bc462c7f2699842992ca3e4","datavalue":{"value":{"text":"Admissible rules in the implication-negation fragment of intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638480$DEA8A264-0150-4A2E-A4B6-D7940146A3E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8936a9a113902396b7e34e0b385af0dfba7245ed","datavalue":{"value":"1225.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$E4B43356-2904-42C4-A6AB-63488657F050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$29CC78ED-B5A3-4E48-859C-50F24BBAAD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$F3E34003-FB06-4222-BF5E-F6F963DCBA69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$2D64FC9C-FFFB-4F0A-B531-77CCB711B51E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28ce2fef0076f9b8b7c93bbdc314b820e86bb25b","datavalue":{"value":{"time":"+2011-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q638480$8FF1A60D-FA60-4883-B5C4-2EC6C38F43B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$6B54EA37-D9C6-4848-B3BC-A74434953DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$C1B232EE-712D-40E9-9620-340552412023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$D756419B-1E04-4B31-8B7E-90971024A345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48af2927af13804c686dda4555ce31b2678a619e","datavalue":{"value":"5947126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$C08F5A10-1560-4380-83AD-99A44CB99E4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q638480$ACB0A23F-5498-4690-A1F8-E2BED08EB4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q638480$9878F61C-71B8-4F95-936A-27AF347C0263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q638480$1A91A109-85D9-42AE-A72C-A7EF27901593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q638480$E077B671-F8CD-488D-AFF4-CA8602CD1DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q638480$51BC02B5-D342-4734-BE62-5AA85FF629DD","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":"Q638480$0A18A789-97EE-41B3-A004-75D38D115E7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8595aaeb02c648b9c21338cfa9c270a414981259","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q638480$453EC6BA-D167-4C92-B8D7-E2043C4F6AC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fff71462a431c9a01a900749618e03c251bbfdf7","datavalue":{"value":"W2069051622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$13437DE6-C08B-4B6F-9F41-82112B58DE48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$59FE6071-059A-4210-A898-66726C3BB9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$B33B8F16-826C-4B15-A51D-4F2C7B3DE550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$EDE99B91-CD3B-4FAC-BABF-92C0FB6485BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf9f35305cec81383dab47d3302a015808f01f7","datavalue":{"value":{"entity-type":"item","numeric-id":1038654,"id":"Q1038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$E1220850-F4C2-45EF-B6C4-399AA7D55FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dac38f16d261644fc5f7dd64cd00e25f1e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$D149B42F-6661-4B9B-B60F-D6E01B1790ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$A59489A0-7902-406B-B150-66BF24BC99FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$60993F97-D5D9-410E-A24D-6E63378DCA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$16894668-21E4-4AFE-A314-B0AA4301A9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$69A2D1EA-B5B4-4184-AC50-ACBFA73B4A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$18BE010A-2BDE-4720-8416-E3504203865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$3BEB014B-ED8D-4E26-ACAA-9FA22F731F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99833e4d3a78240d8e0401c991313b094b54d60f","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$3F03E084-67A4-4FE9-85F8-7EE13AAD6BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$0617FCCC-F1E7-46F7-A960-9B982901BDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f502d4e56a8abb89118bae401233dc90ef92b2","datavalue":{"value":{"entity-type":"item","numeric-id":3553916,"id":"Q3553916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$0E7562A4-90BE-433C-AB79-A5A07384AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be035adff077ea27e9986c4ed93034cde3f0bfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3069724,"id":"Q3069724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$A634FDC2-282B-435B-8EC2-F54036DB3A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$6A41AC08-0E03-4626-89A2-D4CE1A30FACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594d875116270968f78b59859b738c6ed734d60c","datavalue":{"value":{"entity-type":"item","numeric-id":3229402,"id":"Q3229402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$D03C5A6D-8544-4020-B491-6BFE9C6C347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$46B9DC72-C4CE-478C-B407-1159D4D082CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1600a11b8df70aa7107a23e670c832566511a29","datavalue":{"value":{"entity-type":"item","numeric-id":3472080,"id":"Q3472080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$91261B50-5190-45DF-A469-BBC3927C835A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f079dc0bd0225722bd196cf11659e391d430ac7b","datavalue":{"value":{"entity-type":"item","numeric-id":4133602,"id":"Q4133602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$CF3EAA51-BDF0-4BEF-B8AB-461C8949A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caef83d8c323369d390f06220cb4f544d73185f7","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$873C756C-6E80-45EA-873F-0508D4D1D49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700f9b34d2efa42b05af0ea397a4801365b2f650","datavalue":{"value":{"entity-type":"item","numeric-id":2562773,"id":"Q2562773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$28540CBE-3161-48F8-A6C6-74976780ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0309c0557f9fc758ee71fe6eb1957c36e39215a","datavalue":{"value":{"entity-type":"item","numeric-id":4133597,"id":"Q4133597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$A28E9A77-F903-41C1-B2A3-75B2EB49A12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$277ABB51-E16F-4162-AAB6-D1C5E715D39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$3416BB71-3463-4A79-A4B9-908CEBD94869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2be3f0535d766ce89e4865b3c83af4395f82fe1","datavalue":{"value":{"entity-type":"item","numeric-id":3762312,"id":"Q3762312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638480$1B6870BA-A385-4775-B231-2A42F715CEE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b32ed72fbedea29bb594e494e24f5de5256a0f66","datavalue":{"value":"10.1016/J.APAL.2010.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638480$9796C9AA-17AA-4E57-B2DC-2E13C666616C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee0f26e85e2e2e5e7401f4e3f865e337e6c579","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c8e5c6786ba85bad550f010c94386b1887d887","datavalue":{"value":{"amount":"+0.8304151296615601","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":"Q638480$2AB6CE79-BA11-4BFC-973E-088E7C559E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c938a79167e2d96812f708bfb7b073d565d4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850eb5e401380d8b37d2e5e435c1fac6dd678226","datavalue":{"value":{"amount":"+0.829821765422821","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":"Q638480$E4EAFE87-9733-4533-BFF9-497DFD3CA2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d283e422a422eb8cba9adc3a9758adb8f819b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4726223,"id":"Q4726223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24e80870f8b101c3a8f7f9a28f2edbe3b792c06","datavalue":{"value":{"amount":"+0.8264557123184204","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":"Q638480$49AD3E06-A590-4063-8F52-503C0FFB92E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fd68bf959172cc5ecca6fe2e17ae959fa74b28","datavalue":{"value":{"entity-type":"item","numeric-id":2746913,"id":"Q2746913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e014d3f4f6bc3418031b90058440d8b637a0a009","datavalue":{"value":{"amount":"+0.8195186853408813","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":"Q638480$3CC51FB8-6766-481F-95A7-58C6B3E7981D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cf0d497decdf60a79930ea9fef3149ff60dde2","datavalue":{"value":{"amount":"+0.8188781142234802","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":"Q638480$7305AF09-4DA9-4956-9E54-A6F3C0F23100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Admissible rules in the implication-negation fragment of intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Admissible_rules_in_the_implication-negation_fragment_of_intuitionistic_logic"}}}}}