{"entities":{"Q2774635":{"pageid":2785373,"ns":120,"title":"Item:Q2774635","lastrevid":47748403,"modified":"2026-01-02T14:32:41Z","type":"item","id":"Q2774635","labels":{"en":{"language":"en","value":"Deductive systems and categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1711099"}},"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":"Q2774635$3B377C0B-A338-4DAC-BA43-61216F67CC6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d230835d5a62522ee58a2af3f772de1faf65b6d","datavalue":{"value":"0999.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2774635$DDBA5D6B-C565-47CD-BC60-5F5474764FC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2774635$B11588FA-95AE-48DF-B8CC-B4E99D369EBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bff9458ea0d1d72654cacb31eedf4b4fee9b5c3","datavalue":{"value":{"time":"+2002-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2774635$8D348579-ED5D-4C1F-BBC7-72902268BEED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7121be5a09aad49904aa3a2b1177073701bd9a38","datavalue":{"value":"https://eudml.org/doc/122187","type":"string"},"datatype":"url"},"type":"statement","id":"Q2774635$474FFBF1-06D1-4ECE-BDCA-3F0E14C24D51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32aa222f852df3f290ecea7c464ed5857992bf22","datavalue":{"value":"18A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2774635$471FF8D8-71A0-44DA-9D7A-01B82177BB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2774635$BAC67025-0428-4414-BC3B-079EAC3C47D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2774635$A3661007-E19A-45BC-85A3-B69CA9025163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc8c15f0b12ab1566a8fb0393fe45aeeb3f47ccb","datavalue":{"value":"1711099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2774635$81CFDEDA-9172-4433-AEA9-3A97F7769024","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023b381c37bca4f970a40521738ce31aae66f5ea","datavalue":{"value":"Yoneda lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2774635$DE4E0982-5B97-4A49-A25D-FAE6421D32A1","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":"Q2774635$52571AF6-9FEA-4229-A04B-E80788409B7F","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"826ede3bf5425d8b3fa791393f5421d6f0048da3","datavalue":{"value":"bafkreig3flcg3bqy5uo4au4l5nv3sksd7p4f7dvgl3kjvsfr4ysyvwx3pe","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2774635$21EAEA30-9CA2-4C04-B2B5-3ED3E6AAC170","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3462088472d54dcb04c8a677c77db61426aaab7","datavalue":{"value":{"text":"Deductive systems and categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2774635$7F08C52E-502B-40AA-B7B8-5D23CF22446A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cee17a61fcff18bb7d8c3ada51d813b2f79bcdf3","datavalue":{"value":{"entity-type":"item","numeric-id":6486666,"id":"Q6486666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2774635$14FABF7B-B1DA-41A9-9E64-56DC561C68FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e5749ebaca11df452366ac02dcccc3877f46c89","datavalue":{"value":"The author gives various definitions of deductive systems and categories and proves certain relations among them. He derives the Stone representation of preorders and the Cayley representation of a monoid from these general considerations. He also gives a generalization of Yoneda's lemma for deductive systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2774635$6C28E309-A69A-445E-8E7B-152ABA3402BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fe45f7af617800d76401d9a73ca39516121e0e","datavalue":{"value":{"entity-type":"item","numeric-id":919088,"id":"Q919088"},"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":"Q2774635$542B36F4-7089-49AF-B98D-A1466C9AFE1B","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":"10669180fed14dca14c23ba27ff2d78c9754aa9a","datavalue":{"value":{"amount":"+0.7705745100975037","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":"Q2774635$D2DB0F46-BF9F-41B1-9EA4-15F6AD9E1A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277739ebe82fe1199bb0d8d467361d5a409cfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4698605,"id":"Q4698605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e856fa8193feeb6c9158b4a4820993c2dc2bbc","datavalue":{"value":{"amount":"+0.7457672357559204","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":"Q2774635$D0373E40-49D9-4E2C-912B-1595EA33C654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdd616512c91bc63e0873275ce995a3c743165d","datavalue":{"value":{"entity-type":"item","numeric-id":2347908,"id":"Q2347908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a38b21d9520485df9bf17fbd1a7593bf5edf93","datavalue":{"value":{"amount":"+0.7436645030975342","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":"Q2774635$DAE87AC1-49F3-4FED-AF6C-711ECB6BC2C6","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":"8b9489dc7dd3e6e109acbacba088bb30271c8cfd","datavalue":{"value":{"amount":"+0.7316851019859314","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":"Q2774635$6AC35433-95C5-4AE4-B2B1-1A45C8DB4EFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2774635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2774635"}}}}}