{"entities":{"Q1782236":{"pageid":1792978,"ns":120,"title":"Item:Q1782236","lastrevid":73624341,"modified":"2026-04-14T16:42:05Z","type":"item","id":"Q1782236","labels":{"en":{"language":"en","value":"Stable formulas in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6939322"}},"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":"Q1782236$1A93A07E-EB1C-463A-9164-BAB7AFDDAC1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a8de2670d399b0893bb04ecdb9011c41495f77a","datavalue":{"value":{"text":"Stable formulas in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1782236$3A792926-958F-47FE-954D-127AA2E6A185","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"845dfa3f0723dcfcc2bede16d3def57c2ee5dcdb","datavalue":{"value":"1456.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782236$39A1CE0E-ACDA-4232-89CD-7E8B1068C419","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b2a1f128a46970e6302b404d5da98df72e05950","datavalue":{"value":"10.1215/00294527-2017-0030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782236$83A3E284-3628-4542-B13C-C224D436C8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$49A75BD7-7DC4-45DC-8663-865C4192BD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$A0453DB8-484B-49BE-B922-18CA2C271E72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$E353B3E7-7746-44E0-9E8C-F1DAFFBE3289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718193faeaf945fe9ce440e932847a0b843702ae","datavalue":{"value":{"time":"+2018-09-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":"Q1782236$E367B11F-517C-4BB3-9365-B19DFA7A78E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24c31419e826367089bda0b78f348aca1b30715b","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1525420860","type":"string"},"datatype":"url"},"type":"statement","id":"Q1782236$89249476-1374-4D8E-AB99-D8CE32CAF884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"861f603f53789dd90905bba525722af2965b84e7","datavalue":{"value":"https://semanticscholar.org/paper/15ebde507fe5657766cb28913229b5e8b21f17b6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1782236$CD80CE42-791D-440B-9C51-7AB5CBB20BDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782236$50A1B66C-8A82-4694-AC3F-24A3F27D9ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782236$7395B25B-EFD6-4476-A476-4FAA982A0CC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a542160d90bfb2eab701774d484140932249c1a7","datavalue":{"value":"6939322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782236$C384955E-B59C-4B76-96DB-914CBC863A11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782236$1113DACA-00D1-404A-A29F-0164732787B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782236$E61DD33A-1A40-490B-BE36-DA3937DE0ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b4f715dca8fe71bd8f979ca4f5747cb1808547","datavalue":{"value":"subframe logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782236$7BD9AD03-1319-4C73-B302-14375D819B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760349e65279eb0bd705c0ae0ce7dc2ada38417d","datavalue":{"value":"monotonic maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782236$011A3025-1C1F-4A5A-985C-8014ED11CE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b33ca728f1272a72a02fd6d6db6f9b007341f9a","datavalue":{"value":"stable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782236$A3798643-B060-429C-8A89-117E0C8F86A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1782236$CB4A2F07-6860-48E0-9B4D-A060D3F53F60","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":"Q1782236$73F20479-8983-4CD3-9F8D-9A8AE76FEB29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da53914d43998a99c9383c086d225b14de85e2c4","datavalue":{"value":"W2799494962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1782236$6E9A78EB-9934-4441-A250-FBA491C348CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$525548A9-9D99-4AFA-9257-C58A13C1DDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a35036f3c2f465732e208b60a45aff5f2238bf0","datavalue":{"value":{"entity-type":"item","numeric-id":647410,"id":"Q647410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$DE9A8C64-B16A-4B9E-9BCF-0DCDCC38E4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83557badd8d67e934a4bba51305dcb7e415dfe81","datavalue":{"value":{"entity-type":"item","numeric-id":4899969,"id":"Q4899969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$4FA5D5A4-686C-47D6-B98F-DD1DA5456C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792fef42b85a3ec25283a772a91cc556fe1ff056","datavalue":{"value":{"entity-type":"item","numeric-id":509602,"id":"Q509602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$F64944CF-9C2D-4595-AA02-69A6312CF155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c6d71ad61e73464419c15048bcae35c6c3bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2805038,"id":"Q2805038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$0E8C40D6-9599-41DE-8581-7E1A5E310C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$70091B88-7B00-454C-AFA9-540DF034ABC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40a8073fc4584f2bd15f4ce7078fb6c946d0ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1005954,"id":"Q1005954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$C8FB59CD-F696-48CF-B9DC-8D8A07872557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2cdfb759dd464477a9b8d4d355ef9f87f05afca","datavalue":{"value":{"entity-type":"item","numeric-id":4636285,"id":"Q4636285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$B3A752A6-DB74-480D-999B-08F135B7FE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$F771EA0D-A567-4B8F-AFD3-862F090089A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$A89E0C90-1B5C-4551-94E5-C4D9DFBA2500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$414A074C-D644-4526-85D5-C213F6720FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$E56C9374-658F-4CE0-9652-7F8FA1DF2B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$18676FF9-3F77-447B-9800-F2A6906A0348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bd6b5a534f67b6b7d4c37a09d43bc1c1517c9","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1782236$D75750DF-6CF5-42DA-B7C4-955FE51C72B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6598ad4ce88d5fe1e20cb662f62976aed96809","datavalue":{"value":{"entity-type":"item","numeric-id":5215503,"id":"Q5215503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4beb73ae87299cdba8aae86175c796e181bc47b","datavalue":{"value":{"amount":"+0.9211801886558532","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":"Q1782236$4229EB1E-BE85-49E0-A380-8195F390FFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f10a6c5bc12b3703911d1ee69231e2131d059e","datavalue":{"value":{"entity-type":"item","numeric-id":1005954,"id":"Q1005954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7a44323de94e956308e83f3dc638f99bad44a4","datavalue":{"value":{"amount":"+0.8955766558647156","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":"Q1782236$45DFAF80-36FB-4965-ADF2-2E15FEBCA069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49424c2c9ebc9041688ba5d57f936aff5250fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5224694,"id":"Q5224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a101b5f69b8a019919813b1577b5d4ff0674005f","datavalue":{"value":{"amount":"+0.8041698336601257","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":"Q1782236$F7B5A3B8-3D25-4E1D-A71C-0CA3FF94D735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c42429fdc5fb941068d1f1304ee7dea4beef861","datavalue":{"value":{"entity-type":"item","numeric-id":4443187,"id":"Q4443187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75053385978be485cec9aa4b7a4264bd9db65264","datavalue":{"value":{"amount":"+0.7221699357032776","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":"Q1782236$DFB58A2A-B94C-4F6C-B97F-20CFE1D88CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9784489afbf62f5a4b079b45385bd62913bcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3120212,"id":"Q3120212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b621869b090483a80b5cb8add8f0370affc7112","datavalue":{"value":{"amount":"+0.7151575088500977","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":"Q1782236$68522163-A504-46AF-9687-CC9701CE9C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stable formulas in intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stable_formulas_in_intuitionistic_logic"}}}}}