{"entities":{"Q6399366":{"pageid":13532634,"ns":120,"title":"Item:Q6399366","lastrevid":56054443,"modified":"2026-03-03T14:34:47Z","type":"item","id":"Q6399366","labels":{"en":{"language":"en","value":"Generalized Realizability and Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6399366$3383D37A-09B5-4CC9-887C-53A154594420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a56af58cfd4d3b017f8833425a5cd2b6e7283d16","datavalue":{"value":{"time":"+2022-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6399366$C7AA2E19-11C2-4C7B-B5A3-224CB5967021","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"1e478145b23bb7c3df75c1beca51c6b87aa57e45","datavalue":{"value":"2205.08276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399366$94A9DB83-9DF1-4167-A0C0-CFD121F6B3BE","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6399366$3C9DC7D1-DEFF-4A4D-91FA-8D1EDFAEA336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399366$BC5EB8BD-1605-492A-AC64-BF15A499C9DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399366$505ED982-170E-44B1-BC30-BFE00852C80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399366$2431F87E-1E4E-40AD-9852-A4223F3AD255","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75f7a40451ea5320c08698cb9c6e970d93727592","datavalue":{"value":"10.1145/3565367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399366$636114AB-0E45-4661-B828-1796EBBAB447","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":"Q6399366$B456BED8-1F06-4A73-B385-DA7A205F2FC4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f8fe1aa46b55bae4e6962ac29baf253be4b3b25","datavalue":{"value":"Q130808726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399366$CB5EC2E6-859E-417C-8109-50BDB4FFD122","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"e6bf64feddac70e90f7dce67ca2dbcac727270cb","datavalue":{"value":{"entity-type":"item","numeric-id":5886518,"id":"Q5886518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399366$B33A244A-AA99-4465-960D-C70B08AE1BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6399366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6399366"}}}}}