{"entities":{"Q7322996":{"pageid":31351174,"ns":120,"title":"Item:Q7322996","lastrevid":105120481,"modified":"2026-09-17T12:51:28Z","type":"item","id":"Q7322996","labels":{"en":{"language":"en","value":"Labelled KE for intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249194"}},"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":"Q7322996$48D13706-1BCC-46EC-939E-AD2AA8C71476","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1ba09932823e454c4678db3791d1b22a6d99b0d","datavalue":{"value":{"text":"Labelled KE for intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7322996$E0F6F20D-4DA5-44F2-B5E6-59C872B6EF49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c5094b0f65949a83e1e737e754a1d02341baffc","datavalue":{"value":"10.1093/LOGCOM/EXAG038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7322996$8C621FAB-7677-4FD8-9E67-E3FE0A6C14AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65a27ba6cffbde87699893b6bb8bc1a0057c584b","datavalue":{"value":{"entity-type":"item","numeric-id":6636663,"id":"Q6636663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$8882BDB9-E7B6-4C1E-B639-5205D4458F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea73f3fb05ffeb7ba3c1345410f1f8a70a9a4f22","datavalue":{"value":{"entity-type":"item","numeric-id":190385,"id":"Q190385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$344C0FB6-1226-465A-A2DB-73C1360773B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2880a57423a89c8ca95583376a053981c38d8460","datavalue":{"value":{"entity-type":"item","numeric-id":1601883,"id":"Q1601883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$9142CCDB-0DC8-4F86-B14B-4BEC5D7D9E92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$EFF77131-18B2-4E74-91CF-707725281EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7322996$40EE670B-DBE2-4AB7-9598-754D01CB57A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7322996$CC5E4272-8597-42CC-9F8A-DAC94DC573B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7322996$B603AC83-012D-48FE-B406-D183B089C518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b4984ed6ff4dc3cf214de45628a2cead8a48a7f","datavalue":{"value":"8249194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7322996$6D16905F-4623-41F4-A071-EC9E734628B4","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":"Q7322996$C888D536-F66D-459A-A510-7BC232FA5F91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$8B700C3F-F728-4893-9E64-519D4379E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c09874f62ada20ad54ff655802b6cdd0604cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":3460091,"id":"Q3460091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$D5A749C4-F730-4551-B363-EB7B61B33FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d9171bcd537f99ca73f137eac75de8cf775456","datavalue":{"value":{"entity-type":"item","numeric-id":5444696,"id":"Q5444696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$A911CCD7-EF06-4FDA-B955-75DDABAE62C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df75431271723f6978ad2aa758c96fc05b9eac0f","datavalue":{"value":{"entity-type":"item","numeric-id":1344886,"id":"Q1344886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$0FD3798F-8683-498E-9922-CB8CA2E2C91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc018a200b012fa08fa8e4b11016cb5dc509c75","datavalue":{"value":{"entity-type":"item","numeric-id":1370459,"id":"Q1370459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$F042C7AC-F089-4E0E-A563-C324B2D81B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$65976605-2DB3-43AD-A7A4-A1275FE55085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e024a65a7f17cce7add475a35263f5b8d0554d","datavalue":{"value":{"entity-type":"item","numeric-id":6636664,"id":"Q6636664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$1DC84EF2-C9EC-449A-8A49-E439DFF0C7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$9D380F9B-0A10-49A6-9BA5-4903DFC9D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee30f650a2d0435648a82cd673bdf9876d6fa53","datavalue":{"value":{"entity-type":"item","numeric-id":6987829,"id":"Q6987829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$90C94034-7D6F-4F21-8546-6F83FB4DF8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a670aae163c22f2639325695a7853c2de81d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2851938,"id":"Q2851938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$C84399BE-14EC-4495-95F2-6107B3615263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6151072dc1dc09c5656b7eb568753ce95983b363","datavalue":{"value":{"entity-type":"item","numeric-id":2055856,"id":"Q2055856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$89F9F52D-60C5-4898-8388-02DEF4E1165D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43b4ef1185e7b4911ab2344fbdf1b93633f0dceb","datavalue":{"value":{"entity-type":"item","numeric-id":2104497,"id":"Q2104497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$E66A87B2-E352-4E52-9C45-8E2969798C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaa2f3c94c7e7d74275c670f6ae5dbd36e62bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$5BED0CE6-4FDF-41FC-9B69-22716B5BF955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$72D7E96D-14A7-44CA-BC77-AE4B5C3D81A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbbff2b84430f48a139d9c8fb770312b000db4","datavalue":{"value":{"entity-type":"item","numeric-id":4444937,"id":"Q4444937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$1F448F46-9D70-4B32-905B-AA7F3E85F9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e718f89fcbab9620b7c88e51baa294aba1b12af5","datavalue":{"value":{"entity-type":"item","numeric-id":3086941,"id":"Q3086941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$DF2085C9-0ED5-45CE-9498-FE834E0F5148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffa56082557e8885a87ab41ce768616fcf161dc","datavalue":{"value":{"entity-type":"item","numeric-id":3382814,"id":"Q3382814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$A2519446-75E4-4AF4-87C0-2F8AB5521B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca7ab1e9ab8ddfd18235a6bc75423962b3df766","datavalue":{"value":{"entity-type":"item","numeric-id":4340932,"id":"Q4340932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$1D2CF466-5CAA-4D31-9E8E-0FB5F0C17347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7642d147ccb2e67467d8f1ff4b16b4809bdf4a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$B1AA75EC-4902-4F87-99DA-1A7989377F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a595a5a77e03a5752581523c5152bf0f896014","datavalue":{"value":{"entity-type":"item","numeric-id":4883282,"id":"Q4883282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7322996$011AC412-C52E-43EA-9CFB-6184632CB745","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled KE for intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_KE_for_intuitionistic_propositional_logic"}}}}}