{"entities":{"Q6922550":{"pageid":21038146,"ns":120,"title":"Item:Q6922550","lastrevid":84137669,"modified":"2026-05-11T02:25:19Z","type":"item","id":"Q6922550","labels":{"en":{"language":"en","value":"The higher dimensional propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8100457"}},"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":"Q6922550$C032B8C4-B5DB-4DF9-A75A-F04854AFE6F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48b77611536d46e298a7b093258eb73b5cb8ded6","datavalue":{"value":{"text":"The higher dimensional propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6922550$6FDDF255-91C2-4A91-95CA-35472E2A719E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b7296764fa6180f34538644ff78d6eabfeeefc5","datavalue":{"value":"1573.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922550$C5F88CF3-B3D0-4B25-9267-3D4ACAFD0731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0de7a04410972ab9d5f348797e0f000d414e4de7","datavalue":{"value":"10.1093/JIGPAL/JZAE100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922550$B16578D3-DE80-4F2D-B96C-1D5F38EF2F62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$5ABAFB78-6F7F-4066-A9B2-08F7816B468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$DAFBEDDF-4AB2-4149-BDC9-80103308573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"831ebde1d772ba8e4bc69b9b64a21d3f6be31090","datavalue":{"value":{"entity-type":"item","numeric-id":284970,"id":"Q284970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$47910CE9-27AC-4C2F-AB73-77ACE1B0CDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$E6B356E2-7F8C-492D-B9A7-33B478BDEB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$4D1CEDE8-1D37-4CFD-BA52-32B6F397E032","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$C320189B-34A1-48C1-AAC3-48353DD6D09C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67b571ae3ce5d75bc39c8248f19a512a27075c5d","datavalue":{"value":{"time":"+2025-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6922550$0E6D04B9-DDA6-4B0E-AF82-F2DC02741F39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922550$4CA3FFA1-0573-4B82-B458-8A2D104BB1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922550$DBACE49E-9AEE-4C3A-A865-FBFB7F8690D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922550$34930A43-5487-498E-B032-6432965FB8B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488c176ae58bc15f369b5449ad23316557f9648f","datavalue":{"value":"8100457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922550$8C149E52-6627-4BE0-A967-0F4220C1538B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922550$15F70FDB-D67D-4B10-8E05-DA4C61091B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc4d3c70aeb2ae4fcb186b8473e17f629f7e06b","datavalue":{"value":"Boolean algebras of dimension \\(n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922550$B2AD053D-5D2E-4AB8-9ECD-DC7A6C51888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30200dc925b708b0661f5b0e12b473c6c55e74af","datavalue":{"value":"classical logic of dimension \\(n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922550$6EE1244A-0D78-45E2-B83E-28CFCEFAFD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922550$DF25A83D-23FB-4716-BB0C-67D98306682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922550$0336985F-734F-4CC6-9B22-A32E43C0F917","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":"Q6922550$FD223BEF-3B8A-4BFC-B041-239462FD4F44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$2E6AA511-FD40-4B24-8166-0DB3D942FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da866ea10bf4b91a02468fd2c7b3694ea947fe","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$28518D78-4457-4C54-8F5F-2C1DB3795730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd99276c611a0b07b3afe6756018507155148f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$6866F039-8985-48C6-91DD-11C2218C051A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851a317bef1bc95fa0e969debcd708d4d1668c3f","datavalue":{"value":{"entity-type":"item","numeric-id":6911835,"id":"Q6911835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$50AC784D-7BAF-4872-BD5D-92236F56825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50b243caf34dc580adcb4042b92c0c5727dc361","datavalue":{"value":{"entity-type":"item","numeric-id":5210625,"id":"Q5210625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$E837B688-A385-4834-BD4D-477D234D498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$EE675C99-4D29-43A7-A8B9-85ED9BFF1BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4990d1da40f41df63d1b1cf33b30e19f9a38eba0","datavalue":{"value":{"entity-type":"item","numeric-id":5705945,"id":"Q5705945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$AD32515B-42BC-445E-88C1-CBAFC8DA5ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a256bb3b785a27b6e3e58f52fb4df728e5eaca3","datavalue":{"value":{"entity-type":"item","numeric-id":385019,"id":"Q385019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$B7F1611C-7144-45F8-AD68-0400FDE29AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8282ae76075de46eda753bf93260923ef326c373","datavalue":{"value":{"entity-type":"item","numeric-id":6601769,"id":"Q6601769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$D757E50B-090A-46C9-BB48-6A37D5DCD337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9636a73b754cd6072bad3d3f034217fb03c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$F1FDF50F-7383-4D3C-A7E3-4A3DCCBA8ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d6431af4b98d228739f53f49a134a57c9abe5c","datavalue":{"value":{"entity-type":"item","numeric-id":5410346,"id":"Q5410346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$FCAF4D39-6FAE-4C66-9763-384B391621AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e281255931d986dca3a8e220de475e1a83ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$5F2BF8D0-33D6-4559-94EF-651CE76AA32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b679607c346622ab6303d661479b8875e1e3f8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3599151,"id":"Q3599151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$3E0B15F5-DF33-47CB-9DD6-63DB782455BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d85d7a12e32173b9f15b60c5e4b0f7ec083346b","datavalue":{"value":{"entity-type":"item","numeric-id":2851928,"id":"Q2851928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$B0F9A6D2-F632-4DA3-A5F7-5A6499543C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$25CC07EF-C9C2-4857-A6CF-A3498BA00012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27977df79d6bbeb6481968cc99525988cdded261","datavalue":{"value":{"entity-type":"item","numeric-id":7007501,"id":"Q7007501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$4D49389B-4B6B-4DD1-B6B8-8208CD539F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a271e92479b876d46c8465df3c6544b55a5330","datavalue":{"value":{"entity-type":"item","numeric-id":4586422,"id":"Q4586422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$59B048B8-BA78-45AD-B338-686F19F2C24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd722e32e529970c4a18a1bec3d5c4a72ca54448","datavalue":{"value":{"entity-type":"item","numeric-id":353355,"id":"Q353355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$072994D6-7CA0-4BE0-80FB-7DCE77AF1AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e73bcbe223f2cb013de881e70b4e47e3e97141","datavalue":{"value":{"entity-type":"item","numeric-id":1922889,"id":"Q1922889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922550$AF2C0D77-A52F-457B-8224-A11028F621F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The higher dimensional propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_higher_dimensional_propositional_calculus"}}}}}