{"entities":{"Q1780899":{"pageid":1791641,"ns":120,"title":"Item:Q1780899","lastrevid":48499297,"modified":"2026-01-05T00:40:44Z","type":"item","id":"Q1780899","labels":{"en":{"language":"en","value":"\\(\\bigstar\\)-autonomous lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2175880"}},"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":"Q1780899$9CE52170-9471-4EE4-80C5-9E13E915B3B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4e6ba7fca8bdc5a9f16a226610d3ffd5bea924b","datavalue":{"value":{"text":"\\(\\bigstar\\)-autonomous lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1780899$39E4E0CE-8788-43FE-8022-B57906F4D7C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54dadd6059af0377935eb3ff15462c9117ffa57a","datavalue":{"value":"1067.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$3ADE1871-9AB9-4F29-A76A-04174DABB899","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$52ABCE19-DB02-4997-B8F7-E80FED8F22BD","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":"Q1780899$92A4D0B7-09F6-47DF-93AE-149543323514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"790e1ec6d145b854b322b39beaf6c6285a4fe919","datavalue":{"value":{"time":"+2005-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1780899$B4BDDEE8-29F8-4DB9-B446-A7DE1FB1B314","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$A353954C-B5FB-469C-BA5F-87005F4E649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$9FE60A83-F8BA-42C8-AC76-4F4E8B658FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$BA6AF68F-D002-4F9C-BAA3-836BF5349BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$38DB3826-158F-4BFB-98CB-635D2E3C580C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"109ce60eba99b9201014265ee3529cefb2ad34fb","datavalue":{"value":"2175880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$4E78EC0D-B6AF-48DC-B252-5050AEA64BBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98379766bd5d0a8b742f85f0a935594bb236c674","datavalue":{"value":"lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780899$7695C894-0C79-43DD-AFF9-8F3146FC2B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780899$35787940-4F61-4350-A8BA-513F95E4C660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780899$7FAD7215-CFDC-4C17-88FD-67C0699212EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526afd21613e00e9527fa20505aa7555d9862b3f","datavalue":{"value":"\\(\\bigstar\\)-autonomous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780899$25D1CE89-9F8D-44D5-BAFD-C35D920D6BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780899$02E552A7-310E-4B85-A36A-E2F9FB6BE6B6","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":"Q1780899$C1683D11-ECC5-4407-81F7-81F3D54DD381","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beb4dc2768e55b16474072e82493b15ef81b5484","datavalue":{"value":"https://doi.org/10.1007/s11225-005-2979-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1780899$8261E447-8407-4AC5-9581-532222C63B73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aca751df665e8f0379a0b5ee22694478389ee7f3","datavalue":{"value":"W4243241284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$EDE98959-0E76-4A7C-8DA2-6D252C2AF601","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb37db8b0fe2e049067d0406eb9465e37ea29ca","datavalue":{"value":{"entity-type":"item","numeric-id":4893735,"id":"Q4893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$A1ACADE6-B1F8-412C-9F2B-A7C14EF6A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc12852c03e47e8962f7c13c13ab61a3d46c956","datavalue":{"value":{"entity-type":"item","numeric-id":4039742,"id":"Q4039742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$7A0E74AD-5B63-4228-B8B0-1D2F43E229AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$DC5F4C2A-7D4B-4E04-B55C-599BC1A4B0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218d23f44841c1a2d9c1cd86fdb127074d76b46b","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$03FE732D-88BE-4F7C-BC79-89DED24E86E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$1D3CA9DB-B994-406C-B214-4A5B6BF8D417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$1BE99EF6-C850-4CFD-A89D-DC31D798E705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b554d61218d9928b6258d017dec992409deea4","datavalue":{"value":{"entity-type":"item","numeric-id":3475268,"id":"Q3475268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$7F783D0D-F6CF-4995-877C-B2EE536EAEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$702713B9-4172-4D78-B02C-08FC08BF9972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c7774a17b83f967cda2ae8c5b7fb8e1f4343b1","datavalue":{"value":{"entity-type":"item","numeric-id":5522820,"id":"Q5522820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$0E23683C-9D29-43AE-B378-2CDA828660E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$DE939A6B-C7B7-4453-B8CC-2C18554273E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$C0D8D4E6-0D52-4AD1-9FC7-6F2A861AF41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$BB217C89-D5C8-443E-835E-AEDC04ECFB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$638661CE-2E45-46B1-A58D-C52B0DE0E515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$9C54EF3E-A226-416A-AF03-1F2C1EC78121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$86EA2EF9-2D99-4B84-BB3D-523EFF8E376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6384d5b624d1d94f727f31ddc4e4008ee983a98d","datavalue":{"value":{"entity-type":"item","numeric-id":1407529,"id":"Q1407529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$89FA987C-92A0-4162-98A1-BA51507C40AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$D3BBEAE1-B705-4E14-9F33-7E5E1E5AAFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bad9706ff06efdd720e88acc5363206c6586325","datavalue":{"value":{"entity-type":"item","numeric-id":1405838,"id":"Q1405838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$4D3D81D1-C90C-4059-82FF-A3E847D7DE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$A2B42638-3B73-4EBF-870F-4C5451072CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e21e91615987f4f1b01915f5be4811c90c6414","datavalue":{"value":{"entity-type":"item","numeric-id":4022820,"id":"Q4022820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$1B10C130-1DC0-4D20-A7F4-4D6B8155FB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780899$EC365A97-82F9-4675-9DE0-ED91A8F79FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd4aa8af3d9e3e36d7a4f11542cfdb1cc46ae21","datavalue":{"value":"10.1007/S11225-005-2979-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780899$381549A8-C719-438E-8D90-FC2602A3BEDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c3a42fd4fa87615b13bc4f79b17cb63d4f6459","datavalue":{"value":{"entity-type":"item","numeric-id":3624914,"id":"Q3624914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2075efd47da70181945525ed0956b9e4d4d1ae27","datavalue":{"value":{"amount":"+0.7984300255775452","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":"Q1780899$B348CEDC-A627-4827-969C-A80E1E9A4D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da1a45820639601708e8eeb42f514dc3c1ec4e5","datavalue":{"value":{"entity-type":"item","numeric-id":2500766,"id":"Q2500766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9563bf39a81e8b73d15379a5bf6868319ca30b25","datavalue":{"value":{"amount":"+0.7942585945129395","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":"Q1780899$CEFFC909-D438-49A8-8EFA-809415F67268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858b266d5e814d6613adbaefb412cf19d40aa069","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66912fb8850be6179312c7997fcc4583b1d6e0fc","datavalue":{"value":{"amount":"+0.7653140425682068","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":"Q1780899$29BAFA4B-A4D1-4C25-88E8-BC7FD2EE5A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448a17555c07e0116bce6af2ae3982030aa4e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a9f34782b66342573f5aefc7e8e3d799ab4a8f","datavalue":{"value":{"amount":"+0.7567192912101746","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":"Q1780899$ACE29EF9-906F-48BB-A161-009F7CBFFB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675449c72be0c542f208c333835305e45a6244b6","datavalue":{"value":{"entity-type":"item","numeric-id":673964,"id":"Q673964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b524bbf705248eff38d7ac3eff6031b15717fd84","datavalue":{"value":{"amount":"+0.755892813205719","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":"Q1780899$CB87970F-8A9B-4063-9806-CDA0F0BAA6BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1780899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1780899"}}}}}