{"entities":{"Q3754790":{"pageid":5784696,"ns":120,"title":"Item:Q3754790","lastrevid":51695159,"modified":"2026-01-19T12:54:38Z","type":"item","id":"Q3754790","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002342"}},"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":"Q3754790$7166268B-6E68-4048-B5B1-04AC06F030DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd2802fc06935af3af6e837d99c2b7d558350d47","datavalue":{"value":"0618.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$8C4EF330-862D-4F5B-870E-C5D0BEFDB955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf770a6e8d2db82c8d6a3832f0b71c15ee489cc","datavalue":{"value":{"entity-type":"item","numeric-id":515875,"id":"Q515875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754790$DD3AA187-8F36-4612-939B-1C0EAB018137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3754790$B2C00B0A-4592-468E-82AF-2F72B6549927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$B842905F-7E81-4350-8367-2F4DDF9B025F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$224CD45C-0A42-4BA3-968C-CE2BE3B742D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$33DCDB86-FE10-4F79-859C-460FEDD2E025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$BFE552CB-2CFF-4B2F-90B3-649366CAC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$E505336E-CD90-4546-A9FC-EE7CCB55E58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$BBBC2603-6F03-4F12-9B76-FC39FF6E4198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb1c64ea1e82e7e8deda7ab4fdb938649493a67a","datavalue":{"value":"4002342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754790$869AD938-421B-476D-95B6-E8D4787DBF4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2777304edf3fe56377b005a8268dee76799594ce","datavalue":{"value":"doctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$3D6BC4B7-1436-410C-A3F1-1CE1A2F2B497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb9588b3cf099e559906225d0623d18b43b25ac","datavalue":{"value":"hyperdoctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$81025DC5-431C-4173-BCD8-10BD48A2530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"807dbd39d591f0a325f18e5e09db7494411fd899","datavalue":{"value":"categories of posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$C45FAAEF-4222-446E-BFD0-C27172F2143F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dee5d35d400aec9a9fbc74f835507eec545f6e","datavalue":{"value":"regular monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$C424106E-B819-4DCA-A233-CEEE13F73114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$B9FDB28D-0B3C-4653-AC43-0E30AC47F868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$B0B3CBDD-B4C4-46C6-8644-4AA23A3FCE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$508FE190-04EA-4BE3-948A-72D926A75AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754790$FE6FBF32-AA1A-46F7-BD6F-75594E251C40","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":"Q3754790$D23C006C-56A9-412A-9262-717B6BF566FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447578d6e327f6e0d0b571590fb4adaae0c182df","datavalue":{"value":{"entity-type":"item","numeric-id":2448299,"id":"Q2448299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ff663bee68d6c78f395cd69f364102048e754e","datavalue":{"value":{"amount":"+0.8908834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$041F4B64-EDCF-4241-BBF4-6659B3883091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b07c44c979d694d8830de2d3c1cc823e2c7c035","datavalue":{"value":{"entity-type":"item","numeric-id":1685383,"id":"Q1685383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b3d75cf7ea65df92d9a4298481dd132d4ada76","datavalue":{"value":{"amount":"+0.8870484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$5AE61432-7C24-4C8C-A3F3-A35679C4D243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1af2d3907f6f6349aba4ec732b1a33829a82fe5","datavalue":{"value":{"entity-type":"item","numeric-id":1180695,"id":"Q1180695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a5d5862af816d1c2c5455f0ccba8f34571604a","datavalue":{"value":{"amount":"+0.88271004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$CBEE4563-AF93-487A-B7C8-FABE727B9BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf4c632889d8f22c02fc9069c42a0c6b4e78398","datavalue":{"value":{"entity-type":"item","numeric-id":6132481,"id":"Q6132481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bf8922cb63302ca2ec8fecc59f553935e1b385","datavalue":{"value":{"amount":"+0.8803774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$88F8E849-C7FC-4EBD-ADE6-D9EFC0865A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa89f5376a564edf30f7aa873c088332bf49dc3a","datavalue":{"value":{"entity-type":"item","numeric-id":2676587,"id":"Q2676587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca18983819330c980c696b3fd93e99a967d959fc","datavalue":{"value":{"amount":"+0.8789625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$BB6B9A78-CADC-47E5-8D80-4A236F1EC5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b1e465e16f2773105db263531ead9b6587e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4981145,"id":"Q4981145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ae2c5c7a39fcd683147b23fbe6d8d459518511","datavalue":{"value":{"amount":"+0.8784574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$DDE71B5C-306C-41E3-9AC2-89DAE8ED7618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4e1b7ef1d20ad48a4905cce0ba9af6c3e074b1","datavalue":{"value":{"entity-type":"item","numeric-id":4489077,"id":"Q4489077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2f0a40150dee1bba3100f161e2e56b844c9af3","datavalue":{"value":{"amount":"+0.8782992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$4E58C9E4-A13F-4D9B-80B3-784BEF54FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9713b3e8f7964c0360b0fa6f1b810a85109677","datavalue":{"value":{"entity-type":"item","numeric-id":6059637,"id":"Q6059637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8205ca59691da90acb9da750218b905830e65c1e","datavalue":{"value":{"amount":"+0.8781693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$155A510F-CF5B-47AE-8121-04CEA54FB2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6ce8fe908a190389a1f4bd489a73122613a508","datavalue":{"value":{"entity-type":"item","numeric-id":3501797,"id":"Q3501797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c5778c45a247986bb0463c300ca72ddc9b9e2c","datavalue":{"value":{"amount":"+0.8778172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$5720DC15-38ED-4D2F-995E-3569A5996B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c97802547fa540e663c0141f8aece2702b6e7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5155115,"id":"Q5155115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59031de4b375dafd8e8d0305ff4ae50e7b445ac6","datavalue":{"value":{"amount":"+0.8775398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3754790$9AD415CA-6A5E-41F3-A744-43D79240E9FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3754790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3754790"}}}}}