{"entities":{"Q5892381":{"pageid":7930199,"ns":120,"title":"Item:Q5892381","lastrevid":52782335,"modified":"2026-01-23T12:10:34Z","type":"item","id":"Q5892381","labels":{"en":{"language":"en","value":"On the Mints hierarchy in first-order intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703930"}},"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":"Q5892381$935E799D-CF08-4E55-B44D-E1A971867664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59a33f3e8203438a6af8cf4d596221a0a913a6f0","datavalue":{"value":{"text":"On the Mints Hierarchy in First-Order Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892381$77A60C74-9CFB-42C6-A772-BE748F04D84E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"826b30b0bc064a1e40f2a9671156e0ab18643be8","datavalue":{"value":"1445.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$08669CAB-FFA2-4CFB-852D-EEA7D8B59249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc94c467562e585de907204a517519669cf13d5","datavalue":{"value":"10.2168/LMCS-12(4:11)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$D36E7F91-7C41-48D8-B20F-BD9F315F7A78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$07D48AAC-F038-4E50-BBFF-E60343EE2247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$E3EE025F-BECC-42F5-BEC3-4FB55252757B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$1B2A555D-0A86-4E70-B15D-430C45D95823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$BEAB34ED-C61A-45F0-B22B-A3241438BE08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892381$DB4F8793-F79A-4C1A-B415-E0F47B6163CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$48B6AA0A-E66D-41E7-938D-06300802280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$67EF6930-8CB6-4688-A5CB-07F374D19B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$B2574AA1-21D5-4FD4-9972-4C9721FA02F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$25DECBBF-1C3A-4E49-ADE8-1DC65CF2EE96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1052f6ddfab83f10c678104ced0f046388d15524","datavalue":{"value":"6703930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892381$4CF3B065-EDB8-4529-BF13-FA42DF1EBDAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892381$A0BDBD7E-03C3-43E5-B23D-262FDF23AA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7539ec8ae5d3690164850b9270644628a04f5aa","datavalue":{"value":"Mints hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892381$F1F9F296-DECB-4CCC-8411-65EB9B261FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892381$0DC3A2D5-C51A-4325-AA89-7C299BFD860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892381$9F580ADA-F255-478C-9D2A-DAFF948AD401","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$FFD908BC-9FD3-4515-8693-3DA0BABB4A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$EC452665-75D6-4E04-B713-E9374223FB09","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":"Q5892381$A8B9CBA8-73BE-48A1-9CF7-15AEB068E7CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$6A475E51-0172-40AA-A72F-C00CDF04D70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$F3B500BE-ACF8-4000-8838-010868632BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dbb4032689e84f6793498eeb09f51fe34d965e","datavalue":{"value":{"entity-type":"item","numeric-id":4664249,"id":"Q4664249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$F3958670-E2D9-4B01-83DE-89E0322C75E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6186f47e3dcfb4b498da76d41817cf0b34688a06","datavalue":{"value":{"entity-type":"item","numeric-id":5834301,"id":"Q5834301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$10193135-CEEC-4C7E-A5BD-F651F962822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952423c04db1b8045e833200e12d27158942c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2503325,"id":"Q2503325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$709C90FC-B801-4FDE-89C8-88BC0400FAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303bfe9b76e69dc11e852f1b28a0854ea4c57e1b","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$73014794-CF6A-4F9B-9D68-CBDE0D73092A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1760682e44bd53ae9a340eb6fb1f43172b76cf32","datavalue":{"value":{"entity-type":"item","numeric-id":3259069,"id":"Q3259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$3A268EE5-C02B-47FA-AC14-93B8C1B76589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f49c058dcd38c2f3e91ae03ea2b79ab142af2a","datavalue":{"value":{"entity-type":"item","numeric-id":3612635,"id":"Q3612635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$E3CFD5D7-A389-4EFC-B882-4CEB46B9C30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f09c5d69de1399b2c035e1c5f68d80d6f8fc608","datavalue":{"value":{"entity-type":"item","numeric-id":2543316,"id":"Q2543316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$0BCBC0D7-4052-40E6-BD75-CB70668CE7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e17ba765a588f5157a31e5078c76c4c4b2598","datavalue":{"value":{"entity-type":"item","numeric-id":4109666,"id":"Q4109666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$BAD6FA73-3718-4D54-871A-A53CB971B7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$F4A23732-A9B3-4291-8E18-B5D381295672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069310831258c423c7187d29baf5f55ff0e5ebee","datavalue":{"value":{"entity-type":"item","numeric-id":5827958,"id":"Q5827958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$F12C417A-021C-474E-9D68-F98D2F3B5294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ee5d0c73adce18f3256936b7a4f60db1e7e666","datavalue":{"value":{"entity-type":"item","numeric-id":2897957,"id":"Q2897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$C7B93FE7-4F86-4479-9E5A-B7EA945E3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be259ac70e62da523fd10c0e112c5b7ca6c3b998","datavalue":{"value":{"entity-type":"item","numeric-id":2565987,"id":"Q2565987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$562C92DF-1B7C-48C8-A279-C3E6769202CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9809837d3fc3d14893c25cf5d91f033d66bdb88","datavalue":{"value":{"entity-type":"item","numeric-id":5277980,"id":"Q5277980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$1FFA3962-8986-479F-A0B7-CD9F125EFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6af045df06aad1148270bab3bc9d57b5be4675","datavalue":{"value":{"entity-type":"item","numeric-id":5278190,"id":"Q5278190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$685E19D6-8604-4C9B-A430-070A125E3702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb4bc1ae10846dfbb49a707cebf28d1aed9b25d","datavalue":{"value":{"entity-type":"item","numeric-id":5892211,"id":"Q5892211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$F793326E-623C-4864-B446-FA6360D89B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed20f83fd487438d204aa52efeaf12594ac9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892381$72354467-2C97-4BB2-8A44-AD343699B8E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd91b95d47cd7a7a7a2081f2a1ce2ac2dc212f1","datavalue":{"value":{"entity-type":"item","numeric-id":5892211,"id":"Q5892211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf29623fbfe1018d6420637e6238248001ee65c3","datavalue":{"value":{"amount":"+0.9728718996047974","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":"Q5892381$907A8F22-F809-4799-81F8-84400950095A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e78eb6d32875241f8067dfa254eae86c137df5a","datavalue":{"value":{"entity-type":"item","numeric-id":4924544,"id":"Q4924544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f439552b77057862b3f88654a71f816a8ded8e13","datavalue":{"value":{"amount":"+0.7348145842552185","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":"Q5892381$FB452862-CEF6-4FA7-BD89-E0B06D39CC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c2705436128f017b0c9c6f61a993299cbfe6d6","datavalue":{"value":{"amount":"+0.7289767861366272","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":"Q5892381$EF1CB99C-C50C-4D4E-B764-F0DF57F8AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831d2e210c078455160e06fb7b8bdcc81db73528","datavalue":{"value":{"amount":"+0.7203412055969238","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":"Q5892381$D819E9AA-52B8-42B6-AAD0-7BA76AD64C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4610a88c570fdaa1c16ab8ae42c1335941a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4664249,"id":"Q4664249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfbc71d00edf851d2186f29d8cf60fedeb94630","datavalue":{"value":{"amount":"+0.7153613567352295","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":"Q5892381$758ACF7D-E3E7-4A63-8DF2-AE6118301388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892381"}}}}}