{"entities":{"Q1317983":{"pageid":1328733,"ns":120,"title":"Item:Q1317983","lastrevid":67412532,"modified":"2026-04-12T17:27:09Z","type":"item","id":"Q1317983","labels":{"en":{"language":"en","value":"The fibrational formulation of intuitionistic predicate logic. I: Completeness according to G\u00f6del, Kripke, and L\u00e4uchli. Part 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 537006"}},"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":"Q1317983$7D9548CA-2E99-4A7D-A9E6-150E7C31367F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f3ba592b66c2a79b3203808c459dc411f1be3a0","datavalue":{"value":{"text":"The fibrational formulation of intuitionistic predicate logic. I: Completeness according to G\u00f6del, Kripke, and L\u00e4uchli. Part 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317983$926BB986-961F-486C-9455-482EFF4E008A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc167dc6338d1a2cd61fbf69ac39df80fe205d11","datavalue":{"value":"0808.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$A8971989-D23F-48FE-B100-9F4AEBD7DAF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317983$B068AC88-3ADA-4D19-A2E1-486746300069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6acb06c5a7f890cdec1a0ca11f5a5d569db7c34","datavalue":{"value":{"time":"+1994-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317983$6A05C3C4-C74B-48B8-9CF6-43E948188614","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b555a36074fdea551acb46b39ca2449c75181c82","datavalue":{"value":"Reviewed together with the following paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317983$72A01FEE-9B89-4267-A3CF-C5ED24B6F65C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$B9B920C8-F876-49CE-A5D9-4F4CFF0B7A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$759B350E-270C-46EB-862E-E5CF13B8C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$655DD367-BE27-49A1-954F-51D1F7838DD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df7b702f11ae14757b1ea5ca9bdd501144f46b4b","datavalue":{"value":"537006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$BCC7EF7A-67D6-4084-AFD9-16207B3B396B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317983$3D441DA8-F60B-4295-BB63-F062DAAD1B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07487bafb104f546819729f6af6d7a939ddb5af8","datavalue":{"value":"functorial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317983$AA2FAA46-4865-4C35-ACE1-A54B3E2E8550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c805b7f2d99ebdb19c2f9ccb21b84fd298a8ef2b","datavalue":{"value":"fibered categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317983$FB61C5BD-AF6A-4CEE-96EA-D9D9C64A784F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27b4b4a3436b1207f4838457565d20775c09012","datavalue":{"value":"category of sets- equipped-with-a-permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317983$C183F131-4DA7-47AC-8466-952BA216A661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317983$E36BA25E-C032-43CB-A916-5915E48CF141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317983$7B45B66C-5B0D-414A-8CD4-AF18936C3697","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":"Q1317983$E4DF6A21-DD32-4676-BE5D-DBB0DB55A237","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c33a5cfbf0598e274dbe00d44c201b255aa505f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634727","type":"string"},"datatype":"url"},"type":"statement","id":"Q1317983$75682324-9C27-4335-91AC-1DDD49DA5B7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc3bece13defa0114023a8de9c16799d2978577","datavalue":{"value":"W4240266424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$9C4BB13A-EB56-43C8-B340-8919F9257EA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b952e9584ac5289249cee9174c6793049946a923","datavalue":{"value":"10.1305/NDJFL/1093634727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317983$069BD554-95D0-406D-AC70-51FD1FAEEC32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The fibrational formulation of intuitionistic predicate logic. I: Completeness according to G\u00f6del, Kripke, and L\u00e4uchli. Part 1","badges":[]}}}}}