{"entities":{"Q5727654":{"pageid":7757208,"ns":120,"title":"Item:Q5727654","lastrevid":92973263,"modified":"2026-06-05T03:17:00Z","type":"item","id":"Q5727654","labels":{"en":{"language":"en","value":"The separation theorem of intuitionist propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3191269"}},"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":"Q5727654$3C6E2A19-286C-4C13-AD24-2016F6561C57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8d9a8513546465209966f4a20b123cf5ef3515","datavalue":{"value":{"text":"The separation theorem of intuitionist propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5727654$C1CF89D7-7851-46F7-AA1F-F5D87FFBCBE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b79a74a3de079a11a7fc8fe95cf287be19e1faf7","datavalue":{"value":"0117.25302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5727654$16FBDC0E-C053-412A-BE91-3A698D3995E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9b93906d7aaa02fceb71ae3197032f9fc55b7d0","datavalue":{"value":"10.2307/2964545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5727654$213CA46F-40A2-471E-806B-82F7C1EB2985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8069d4045a290b598b3aba54c0d238a953b6a46e","datavalue":{"value":{"entity-type":"item","numeric-id":770857,"id":"Q770857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5727654$269169C9-BB1F-4731-9962-ED196EBABC5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5727654$ED502C7E-63E3-444D-AE22-861765FCCD99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5727654$21AC1E4A-EFCF-4284-8323-7CF3D80A5CC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86c0d385bd750f07a1a7a6a22a366c64f91537f5","datavalue":{"value":"3191269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5727654$98463E75-1436-40CD-8DDD-594E6C0E34D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5727654$3985882B-5A55-488E-9724-31B0A0182344","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":"Q5727654$BEA5DB9D-1952-4B6A-87C2-5BD2916F107C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd93cca8a75c9e5a8c2e75fea48071df0e09b1eb","datavalue":{"value":"https://doi.org/10.2307/2964545","type":"string"},"datatype":"url"},"type":"statement","id":"Q5727654$14FD4B33-3E50-424E-A227-44F09A368EA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06f2d744cfef8d2cd91ac4b46a213aad62c1f051","datavalue":{"value":"W2022177274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5727654$BA245937-5D25-440A-9BCA-7D1165ED91CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb1ac68bacb40e69c0c6bba80ea19c5630fa5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5772797,"id":"Q5772797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5727654$E5340A8E-89C6-4A02-B5B5-6283F44F2C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The separation theorem of intuitionist propositional calculus","badges":[]}}}}}