{"entities":{"Q5957911":{"pageid":8134713,"ns":120,"title":"Item:Q5957911","lastrevid":47759470,"modified":"2026-01-02T15:09:43Z","type":"item","id":"Q5957911","labels":{"en":{"language":"en","value":"A(nother) characterization of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719226"}},"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":"Q5957911$86080BC4-650A-44C2-A07C-A91682547848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a34c173b22ddbc3db83e8b6594282c5a506742c9","datavalue":{"value":{"text":"A(nother) characterization of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957911$A064FB6C-BC81-4BAA-B47A-3BE0F5F4C772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8adb4fc5257aa97bb7670f3fbd04ac74c06156c","datavalue":{"value":"0988.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$496FB159-FD2E-472C-99C9-11092CE4A506","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ef3b462571e0e4915e323494896b1dc7d28bf93","datavalue":{"value":"10.1016/S0168-0072(01)00056-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$EB18F218-70C0-4690-81F4-BCB6270E4A0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$CBF46BCB-426E-4E8E-9F04-230A4709685D","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":"Q5957911$7197CB1D-9B55-403F-939A-BF28864C5CAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957911$4CA1108A-6BB6-4A6E-AF6D-EA9B067B55DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$DDE0F0B3-2F47-442C-89A7-C3AE1DF3DC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$54C15DCF-A44C-46DE-AAD7-FD0BB061215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$D71847C4-1E23-4086-880C-FB263B7A2C4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4d13d1b2e4c384ec8322040ecd49a63d909dc5","datavalue":{"value":"1719226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$9F9595FF-18CD-4A34-B4C6-D3323C995504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957911$59AADEF5-746D-4897-BAD1-FEBBA09DEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957911$E10FA799-C821-42D9-95EE-E7C879015D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957911$9C0B9DA8-FBFF-44A0-815D-66F032BA8B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957911$C77C6B97-3A92-4271-B9C2-7CA3281D7CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957911$9E6327E6-06F4-411B-9762-7F2D79875B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e62186768915d5051bb82c777597284d5989cae","datavalue":{"value":"Kleene slash","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957911$76127FAD-B5A2-466C-8509-77558FF4DC0A","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":"Q5957911$F6FFC086-69B2-4642-A41B-D68C24F1F60A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5180eb41236c7621118030b2f5ed2f4353f0530a","datavalue":{"value":{"entity-type":"item","numeric-id":5631083,"id":"Q5631083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$6B4329C3-5A3B-4D87-BDCF-852368D349C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db554ee5e65552a2b667ebc3cadec67f7fe40da","datavalue":{"value":{"entity-type":"item","numeric-id":3936721,"id":"Q3936721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$60FE0769-25B5-4275-8819-0880FDF24B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$3EBAC08D-8686-4217-8024-09D305D1B55D","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":"Q5957911$B7FDBA7A-589E-4BB9-A1C9-7C6EE916CF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$3C854888-23AD-415F-B5BB-F9D558ACFF94","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":"Q5957911$6D66226C-4DAC-4DE2-B7A1-813D264EF57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$E480B3A4-E245-4C8A-9E56-C32C5FA6A00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957911$07F62FD5-2093-427D-83C6-818D1D1AA4A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1385db787c8a22d5b3d8159442a175c44774dbb","datavalue":{"value":"Q127972724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957911$1CC3AC3A-8F31-41AF-9E67-53D2F8A1CBCA","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":"dcdbdec9353026283843c4d8e484e2786cbc5bdf","datavalue":{"value":{"amount":"+0.8261985778808594","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":"Q5957911$741952A4-88AE-4EF2-81C6-19F20B8FB187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d353193d645f492418de14fa5d803186eb43d85","datavalue":{"value":{"entity-type":"item","numeric-id":609765,"id":"Q609765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b942d7d098a1e0748ec511f98b8f868a5e151286","datavalue":{"value":{"amount":"+0.8139885663986206","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":"Q5957911$C27BD8F4-E4AA-4F2E-894C-428CECA7FDCD","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":"8b67366add8327ededbeeca186b5b2b966a37977","datavalue":{"value":{"amount":"+0.8008400201797485","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":"Q5957911$F02282F2-884A-4C35-BABA-0E1E54FAFD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bb280d3c2c58a8472d5ca01a2caba1b99b3b5c","datavalue":{"value":{"entity-type":"item","numeric-id":638480,"id":"Q638480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9895785d642dacdaadebd5edf6adacb464dcfd","datavalue":{"value":{"amount":"+0.7955004572868347","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":"Q5957911$F33768AD-63F7-4A5B-9305-41BDF41FC663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac97c08cd0b3306d59e224cac8e266a86759826","datavalue":{"value":{"entity-type":"item","numeric-id":4279242,"id":"Q4279242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2f729fd770b4be11cce3c8d8800be593e3e5b4","datavalue":{"value":{"amount":"+0.7931243181228638","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":"Q5957911$08920D14-0019-4821-B677-3C4BAD94E634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957911"}}}}}