{"entities":{"Q1840977":{"pageid":1851719,"ns":120,"title":"Item:Q1840977","lastrevid":69048063,"modified":"2026-04-13T04:04:16Z","type":"item","id":"Q1840977","labels":{"en":{"language":"en","value":"Propositional manifolds and logical cohomology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568516"}},"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":"Q1840977$B5385157-1E91-4623-982B-D96492790F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e056ac73b2f0cb33defde445bccba60b665ad87f","datavalue":{"value":{"text":"Propositional manifolds and logical cohomology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840977$F1474FC0-0920-4E42-A437-12F983B2BB05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a0e3e2b93cb11175e3432a38d49d16546f7919","datavalue":{"value":"0970.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$AD357CEF-B96F-4477-8045-47051BB75F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"913e95dd878f0f333cd5d2c0d17dbcba98d0d74c","datavalue":{"value":"10.1023/A:1005275414361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$426925EE-23A6-4915-808D-C791A6B5EA64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40e3fb53299bca114c6ca6281a741daf1236402c","datavalue":{"value":{"entity-type":"item","numeric-id":1840976,"id":"Q1840976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840977$174DCA9A-DD0D-40E6-B5A2-03120AC285F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d45151ce35097bcc75f489546aeaf130a2d59f1d","datavalue":{"value":{"entity-type":"item","numeric-id":302386,"id":"Q302386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840977$8222167E-9AC5-49F0-9B6A-9B59A1B14570","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840977$394EA593-F05A-4913-B7FA-D38CBE8D0FDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840977$C329CF17-D01A-46E6-84DB-49FDAB8E9158","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b4acc2c73f37393ab247b4a82360ab3dd071e37","datavalue":{"value":"The authors outline a definition of propositional manifold and logical cohomology. The introduction of the notion of propositional manifold is an attempt to study the geometrical aspects of logic, and it is a generalization of the Boolean algebras of propositions. An application to mathematics is also considered: two Boolean algebras of mathematical propositions are not equivalent if their respective cohomologies are not isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840977$F751D477-F769-4F50-A51C-EB226C51224B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$01B3D141-6817-4CD9-8532-57085EF95DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$D4EE3B7F-C39A-4072-B254-3E01F5B302E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52b50d253ef04356d4573b1d859fdd816c04dbb8","datavalue":{"value":"57R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$6BA88496-A92F-4DDB-B3DE-C3A1D51C3A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e0066bd6b09cdce209fd7d86806c170c5f699ee","datavalue":{"value":"18G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$F083C260-327E-40A2-8F78-DA2C25BA9140","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0c258fa36175c555166b99c2c90482f1ae952af","datavalue":{"value":"1568516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840977$197C9C36-50F4-49B0-B506-34A62AED933A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cd26d8428fe9ff0e3597d6fa388b384ea47e5d","datavalue":{"value":"\\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840977$58977465-F0C2-4F39-B669-954A927D1799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c6629f4eba297f87cbf9c76d18e3f697bf88188","datavalue":{"value":"Boolean Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840977$66486C91-4225-44FE-B761-093A4B133E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"802c07dbd51c5f9dfc594f81d6da6f5571951a6f","datavalue":{"value":"propositional manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840977$2D7DDA45-0227-4DD7-A2F3-16B159294C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0678030eff4840d1741091a56e5aaf8059c68460","datavalue":{"value":"logical cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840977$E6B8B817-884E-4D86-85B7-DB1E2402C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840977$2B8D815A-C124-44E8-929D-26C66EDE3ECA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840977$10466B93-D981-4618-B817-259ACBD0AA63","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":"Q1840977$FCACAAE1-F040-4E72-8656-4E77B7B8DB96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8efc68892fb1ff7b757ae36273066f4e150f2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4803968,"id":"Q4803968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c78b445f2a8e1c4c8c59b7ed8787d81da53e15","datavalue":{"value":{"amount":"+0.7121161222457886","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":"Q1840977$CB7738C5-64B6-46A1-8EAB-B7861C8A64BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fc5309f2a08e4b2abe5c78720a5b168391f196","datavalue":{"value":{"entity-type":"item","numeric-id":2323692,"id":"Q2323692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f22d0d984f574f9488706628ba5d0369da4857","datavalue":{"value":{"amount":"+0.7104275822639465","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":"Q1840977$94F268F2-928F-452B-A9B2-FBCD9E25EDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5072156d63c68a455fd142a90364f8898210896f","datavalue":{"value":{"entity-type":"item","numeric-id":1571062,"id":"Q1571062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ba2c4634dd7045a804d57c40ad0e016051b4f4","datavalue":{"value":{"amount":"+0.7077305316925049","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":"Q1840977$9C271A4C-46CA-48C6-9FBE-532EF60A0DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23c11f660b1706ff55e7890c4a2d9ce33815c69","datavalue":{"value":{"entity-type":"item","numeric-id":2289699,"id":"Q2289699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e96bbc1f9f5b4aec1a3a0339f310f6e77f5771","datavalue":{"value":{"amount":"+0.6976563334465027","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":"Q1840977$DE78B66B-F574-45EF-AB9F-2A23B53B4A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68912054e25daf407873cb7d2e34089ed8c31610","datavalue":{"value":{"entity-type":"item","numeric-id":3009136,"id":"Q3009136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c8856de3d9e7583b2c993e29943944bc6d4fa4","datavalue":{"value":{"amount":"+0.6948099136352539","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":"Q1840977$33F9B479-ED90-4A62-9AB3-8E54BBB39C93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional manifolds and logical cohomology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_manifolds_and_logical_cohomology"}}}}}