{"entities":{"Q919088":{"pageid":920936,"ns":120,"title":"Item:Q919088","lastrevid":65346486,"modified":"2026-04-12T01:57:51Z","type":"item","id":"Q919088","labels":{"en":{"language":"en","value":"On some connections between logic and category theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158912"}},"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":"Q919088$25D5EEE7-42C9-4003-94A5-8FB75633B179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de542c8d010c1cb1fb02028d584ae092288e280f","datavalue":{"value":{"text":"On some connections between logic and category theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q919088$7764CFF0-FFD4-49A3-A9CC-B3C1C2F096B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b3c3ab741c3c5729bc4b0d1f562d13fcbad3b6f","datavalue":{"value":"0706.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q919088$CCFB8EBD-21FE-4F44-A56E-C45FC1A0EB42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b767fd45a4cf58992468cd572cda38b2aa0af433","datavalue":{"value":"10.1007/BF00370824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q919088$DEA3E93A-F36F-4074-8462-9954952C1638","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q919088$19512FD4-7464-48A9-A9CE-46880A29FA2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q919088$273B0792-4A57-446D-8D23-C685E17296C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91f5e0a8357b55357e5c57b21677300b77bfa172","datavalue":{"value":"Categories may be viewed as deductive systems or as algebraic theories. The author is primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance for the foundations of mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q919088$80FB0534-E6CB-4DCC-A5E5-8D3A982E37E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q919088$D38ED760-3975-4494-850C-B1FCC1AF9DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q919088$818B8D75-1176-43D5-A8BB-7769B36D1557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q919088$F0F73C34-1E20-4AC4-B0FB-C8A7533C25AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9fc894b221b22529589da5eaaa2ff5438be3255","datavalue":{"value":"4158912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q919088$01A8D023-62B4-4435-B9C9-42DFED56EFD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q919088$318415DA-41FD-4808-A45B-6A2C345613FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q919088$11ED6F07-DBAB-40B5-8D09-29487C29F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd566c66f91f197fc2990adbacdc4531fe2a2cd1","datavalue":{"value":"structured categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q919088$09BBD168-0237-493D-86E3-4DB7470C9287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b34f866dc032b22cee17ef6c23578422c0dfef2","datavalue":{"value":"internal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q919088$4D10D628-1911-43F9-B01A-9B5F56229A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q919088$570D2CAA-61D2-443E-A162-A45EFB33212E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q919088$98268543-3BF3-44FD-9FD7-7A6CA83D4113","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":"Q919088$2E38CEE2-DC11-48FE-BA9F-BDAD5EA6BAD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q919088$9DF57108-F28B-4C73-A968-288E4DF3F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q919088$A931AF0D-969B-4381-B398-D1C997CA2DAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q919088$589A60BF-630B-440E-9C6F-AA2B34122B20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab23fb5d31690a8c3147a4d7785381ba3500e34","datavalue":{"value":{"entity-type":"item","numeric-id":2774635,"id":"Q2774635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4975d81fdf3702ef96e7d6182a2e0150b6d7e2","datavalue":{"value":{"amount":"+0.7851482629776001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q919088$CC4CC9D3-831C-448F-A18D-AEEEEDDC2945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ca89717656b385da9af6915c67e4e7d89caa07","datavalue":{"value":{"entity-type":"item","numeric-id":4735315,"id":"Q4735315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401a9ef4de0e232baeda98de4f85d30d203ffa39","datavalue":{"value":{"amount":"+0.7830435037612915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q919088$6A850255-D1FE-40FC-A948-A92A10B9178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c87b0c14b080abcdcb2516758f6a0ba60161e","datavalue":{"value":{"entity-type":"item","numeric-id":3768900,"id":"Q3768900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfd21e6bb083ff617f17f9cd2fd3c94c60e7fc3","datavalue":{"value":{"amount":"+0.7698259949684143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q919088$DA919BFF-1FB0-4ED8-B56F-5C6202EC6504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5202bf902aa72a70feb7f0ca9e080edee689804c","datavalue":{"value":{"entity-type":"item","numeric-id":4946229,"id":"Q4946229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5be65b615e22bf80b2e1fd0cf70608e11ee37c","datavalue":{"value":{"amount":"+0.7686322927474976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q919088$2FC26907-0C45-491B-A2C8-816C519B0F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66375a1f61fb216fff455b192b76e14950777fc7","datavalue":{"value":{"entity-type":"item","numeric-id":2909761,"id":"Q2909761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2140dba70f9d30746d6e524faab5d9165d04795a","datavalue":{"value":{"amount":"+0.7641588449478149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q919088$F7E48F78-0E64-4669-A82D-F18D0B4A1ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some connections between logic and category theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_connections_between_logic_and_category_theory"}}}}}