{"entities":{"Q1132864":{"pageid":1143613,"ns":120,"title":"Item:Q1132864","lastrevid":42898895,"modified":"2025-07-15T20:30:07Z","type":"item","id":"Q1132864","labels":{"en":{"language":"en","value":"The intuitionistic propositional calculus with quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3654085"}},"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":"Q1132864$EDC5AA60-592D-4522-A0CA-8CD7B7ABA600","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47fc96f6b045f1c361a0e66d329908c9c9a30a96","datavalue":{"value":{"text":"The intuitionistic propositional calculus with quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132864$C922536C-6E3F-4FC7-B197-7764A2459497","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87028f48427251f2e914b351f607ddecd8bc01ed","datavalue":{"value":"0421.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$D4D9B3DB-CF76-4643-B6BE-3C042BDD8217","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d996f5af41c2da89175415cf0af1970e76e468e8","datavalue":{"value":"10.1007/BF01147694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$4125ABFE-FDF3-4ADD-AE9B-3F02A360E200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"835ab55c3be98925b4ba18de550ae45a7eb3f0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1132863,"id":"Q1132863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132864$80161C5D-7E7B-46AB-B6A9-60A7BEF182AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132864$669FFE8F-6CBF-40E4-931B-F65CCAAF0473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1132864$FDFEB979-2386-4066-B1E0-A4CE1460A3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$61692D7F-541F-420C-BD0E-1BA600178C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$5A19D6DD-B718-49D1-A087-11A57341E9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$E92B8E90-F092-4671-BE9B-D60B9E516E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$7E09B25E-D398-46BA-85E4-F39278F2E8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$F6B54E98-5776-4694-99C3-B4A884878ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b7b8eb44e04b8a0fe3a6b58fbd071bf153a01b","datavalue":{"value":"3654085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$B283EB48-9759-4389-A41E-6AA5722C4229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9623bbf35fb9a22b530b3428ddf9d5ecffaa0ecb","datavalue":{"value":"intuitionistic propositional calculus with quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132864$82780ADA-6E18-4A8B-AE2D-937A9DA86BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132864$F2424C22-7FBE-4AE6-BC08-7B32BCC292BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132864$959E5369-EF02-4F5E-A614-29D1AEF86C64","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":"Q1132864$9B5A0248-74C5-4D0C-8047-07CFFE63F0AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0e62610a46dfaa857940ae1385ecd9c9dcd53","datavalue":{"value":{"entity-type":"item","numeric-id":4777262,"id":"Q4777262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132864$3F39FED5-8814-453E-A377-59FE0A9BBB28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f21be857ff0a5f68c37a7bd166eb343d95b70ca","datavalue":{"value":"https://doi.org/10.1007/bf01147694","type":"string"},"datatype":"url"},"type":"statement","id":"Q1132864$4110F117-9771-46D0-A37D-5288C76F7921","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f90ef21c1a512c2e0eced3d0b9fcc21783e61a8","datavalue":{"value":"W1974944279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132864$815E22FD-9BA9-4A02-A1C9-6AC743ED32F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1132864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1132864"}}}}}