{"entities":{"Q3259069":{"pageid":3269777,"ns":120,"title":"Item:Q3259069","lastrevid":45807181,"modified":"2025-12-19T06:13:07Z","type":"item","id":"Q3259069","labels":{"en":{"language":"en","value":"Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3141326"}},"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":"Q3259069$29AED145-437E-40B9-8491-792547AF2B0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eba9aefc478991c58af4304c6a2284a7b304135","datavalue":{"value":{"text":"Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3259069$2CC26F4A-1377-40CF-B5D9-4836224D4761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"469ff70cfdb68bf05d445a6489b9d2cf2e1d6b65","datavalue":{"value":"0086.24601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3259069$EDF0ABDE-E142-4536-82C2-AD127B33577E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb1a30b50940d810a1830b5484144816365b9846","datavalue":{"value":"10.2307/2964291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3259069$CC35FDEA-F625-4A65-B9E7-610F8B3CA3DC","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":"Q3259069$6D4D5AEC-E9FF-4ED4-8201-99B0A3A32A43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eff49425df1fb73d895b1b592e51cf569fcdb0bf","datavalue":{"value":{"time":"+1959-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":"Q3259069$CF4179C6-33E6-4030-87EE-07C7E6A195AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30d6c32a263a20d77676d1a5b959f75ccbec02ca","datavalue":{"value":"3141326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3259069$D0898966-0013-4DA8-A69D-CC4ADEA8499D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e52d3efb7f97d74890a026183b5a92a080ef346","datavalue":{"value":"philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3259069$43BE7CEB-AE9C-4940-ADB3-F526D20A7E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3259069$69893B8F-90FE-4B33-8903-3133863FF8E3","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":"Q3259069$0B1D05B4-926C-42EB-993F-5047DA12CDAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bfa6034267f3f61ef3029e17604377b8cbd02ed","datavalue":{"value":"https://doi.org/10.2307/2964291","type":"string"},"datatype":"url"},"type":"statement","id":"Q3259069$4D5E4587-F0D1-4A64-ABD5-B5B499DD61A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8b6732391598928a9cc973c71d790964656e3a8","datavalue":{"value":"W2144086150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3259069$8FD646A7-3815-4FB5-95BF-5F1AD0916480","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3259069$C98B752B-C81A-4DBD-8AA9-D3C7F94CFB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1d97d729b495d4976b6442a2e4af96303aadb0","datavalue":{"value":{"entity-type":"item","numeric-id":5787742,"id":"Q5787742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3259069$0C9E1C22-AB7B-480B-99D3-F15017A33E29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3259069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3259069"}}}}}