{"entities":{"Q3377758":{"pageid":3388462,"ns":120,"title":"Item:Q3377758","lastrevid":49809523,"modified":"2026-01-10T23:07:39Z","type":"item","id":"Q3377758","labels":{"en":{"language":"en","value":"Extensions of intuitionistic logic without the deduction theorem: some simple examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015952"}},"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":"Q3377758$72FCC5F6-9CB1-4951-BBF8-6559F826FCA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faabc280e403bd2f84085e7bd797a259a2251b88","datavalue":{"value":"1098.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377758$AE0AA114-BEE7-46C0-946A-597D9263564F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377758$07A2A7BB-338A-4BA4-8468-425AC0F623F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c49568d53c8ad1554f70d0d5613f2d9e8132fc7f","datavalue":{"value":{"time":"+2006-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3377758$8D9DAB06-BA67-4D7B-BCEA-91FAB46472EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377758$E4BF2B20-2AA7-4198-AE46-677401C16516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7344313a2338c651fdf1cc5b9eb14911cc1fbae8","datavalue":{"value":"5015952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377758$362C2C45-AE13-43CB-B84C-E65C16D3C2FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6be7d147145c0485bdd7e882fee26f882c11cf","datavalue":{"value":"Deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377758$EE663855-2FF7-45C2-A3A7-650D70A4BDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17841b1f4e2237bf5c49b0fec543926410fba003","datavalue":{"value":"clasical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377758$6B6A498A-1979-41A2-A310-19C07A3A655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377758$F35AB7C8-32A5-4838-BA04-146FA9F14C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377758$06F78CD8-9553-4B8A-AEAB-89640452D39A","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":"Q3377758$31CC4D0D-CB57-42CD-B13A-5BD466FE4DF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defd24fc339edf0c0220caae0845e83f238ee998","datavalue":{"value":{"amount":"+0.7808340787887573","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":"Q3377758$9DAD7073-9F5C-4D3F-90AB-8A64BD6A0BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f70e36f261017494fd0d05f2896dee1ad54cf8","datavalue":{"value":{"amount":"+0.7559106349945068","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":"Q3377758$3E6DB02E-3549-440E-9FDD-A6D266A64136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549c0bb617887d9d15aeb3507db1de67d38fcc6e","datavalue":{"value":{"entity-type":"item","numeric-id":4904131,"id":"Q4904131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb972019aee48fbe6ec186bbc709c6aafdbde13","datavalue":{"value":{"amount":"+0.7551836967468262","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":"Q3377758$74E9AF0D-37AA-4C27-ADBF-F5087AF2E6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce837ee6b8b02263a9dac499022c3762e14d911","datavalue":{"value":{"entity-type":"item","numeric-id":3480040,"id":"Q3480040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bc0619665f70cde5767df0b8e869ee07f43711","datavalue":{"value":{"amount":"+0.7539469003677368","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":"Q3377758$9056F5FE-DC9F-4049-B9E9-0AB085C60CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3f24c8b3343b08f69b1e1254dc5910bc0a93b5","datavalue":{"value":{"entity-type":"item","numeric-id":4803958,"id":"Q4803958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83e2f709b0668f6b2b15c7a7c71ca835dd1f442","datavalue":{"value":{"amount":"+0.7493679523468018","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":"Q3377758$23FE4AF8-318F-4B64-BCDD-41969F77719E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3377758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3377758"}}}}}