{"entities":{"Q2856059":{"pageid":2866779,"ns":120,"title":"Item:Q2856059","lastrevid":42276768,"modified":"2025-06-04T04:02:59Z","type":"item","id":"Q2856059","labels":{"en":{"language":"en","value":"Between \\(\\mathrm{Int}_{\\langle\\omega,\\omega\\rangle}\\) and intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6218406"}},"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":"Q2856059$4B25F4E0-DF7D-43D9-84D7-706530100928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce704b55feb4e2067b165fb00d26af2064407f01","datavalue":{"value":"1273.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856059$D40A7307-CD73-412F-A551-DBACD28C829E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49961f8f05963b4b9fb4ada0a07a7b103787b5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2751813,"id":"Q2751813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856059$C7E7138C-EA46-4661-93E2-99C74AF7F170","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e41e95550d16033ed81f1eb7c35b7c5a600767d","datavalue":{"value":{"time":"+2013-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856059$23540FF9-1EBA-403C-8B49-7F106E095A25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856059$83D74409-D831-49D1-BC32-1867F06A9F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856059$E68E9672-7B00-42BF-8805-70587CB7386B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc7d95e146e097e0bb5f9bdd371fd34da87278dc","datavalue":{"value":"6218406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856059$8E1F0287-0D2C-41F9-8796-0A3E51E4A550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62833450a1217dcfcbe720e8caa3bd6f2d4a6ac3","datavalue":{"value":"paralogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856059$339607A9-64E5-4C05-97BA-795E5669FC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf52622563065ed4c7fa2b280b8c5e13a91a3467","datavalue":{"value":"paracomplete logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856059$FC47911C-9622-46A7-8D8F-ED4475A91D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856059$32F57C9F-826E-4064-946E-9F2BABD6D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6acf8512a7c5f4249c75789ade20b01aa3e80795","datavalue":{"value":"paranormal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856059$75ADC33F-1D70-4480-91E9-5108C14DE247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856059$F85E4C95-9FA3-4462-A59C-3FC62BFB8E20","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":"Q2856059$2CE30CDD-D145-477A-87BB-19FD1873CFC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"404c591782183acc7f38503784564cb01079e241","datavalue":{"value":{"text":"Between \\(\\mathrm{Int}_{\\langle\\omega,\\omega\\rangle}\\) and intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856059$0171D60E-183B-4279-B933-A20D9929DB98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856059"}}}}}