{"entities":{"Q6151561":{"pageid":13285868,"ns":120,"title":"Item:Q6151561","lastrevid":58726953,"modified":"2026-04-06T12:00:51Z","type":"item","id":"Q6151561","labels":{"en":{"language":"en","value":"Varieties of unary-determined distributive $\\ell$-magmas and bunched implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7814920"}},"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":"Q6151561$AFE1E428-B7EC-416C-8278-9DEEE5EBA7C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a67041e899588a46f84acc3a21dbe7ce006d2a8","datavalue":{"value":{"text":"Varieties of unary-determined distributive $\\ell$-magmas and bunched implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151561$DFFC448D-26F8-4F3C-8351-7367A0003119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa103b4e96b41d1d0f01bf4239aae6ed103eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":2695341,"id":"Q2695341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$26515A67-02F3-42F9-BF93-45B72D0CC028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$BDDACE66-0C8D-4DBA-ABAF-D07921A479C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5cba234109655691fc6dd998006e0108ffa666","datavalue":{"value":{"entity-type":"item","numeric-id":2695342,"id":"Q2695342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$42483265-F891-42D6-AB3F-098473FCC7E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$DD9B885D-41C8-49BE-AA90-9E9EDF92869A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151561$10700C64-6313-4286-A901-6696247C6AC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6998763faedead8d11832c8cce1d3c8f36527f8","datavalue":{"value":"https://arxiv.org/abs/2211.02804v5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151561$F9D44EEC-75C9-4518-9A1D-24B9E19A61A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151561$8D4CA833-95F7-4C9C-9ECC-37B8A8464B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151561$29B72428-C5E7-4750-96ED-B5C94689026D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7dc6e940d3e7fa8935cc4eba045ca4e54f537c8","datavalue":{"value":"7814920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151561$07C863CF-5F25-4475-B435-FA80CF35219A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c67424a05f67381e3817d00cdaa7b74d31e33a","datavalue":{"value":"distributive lattice-ordered magmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151561$EACB7140-B98A-409B-9E18-0814F5CE9E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291647504522a6c8e9d759a54549b30f02a9eca2","datavalue":{"value":"bunched implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151561$85EA8891-C573-4579-A6A1-1FB3A4B08217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151561$653400E1-1C6D-48DC-931B-06FC6082F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7b31a4d4aff4d6e2626254c66b676d1347ad29","datavalue":{"value":"enumerating finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151561$697417E2-A5DD-4C3D-937E-B5F09302AC25","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":"Q6151561$91AE7DC2-154C-443A-9284-903BC0E38F25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaf3c58462ca6b4471b9c1787414d5e7b68f8e05","datavalue":{"value":"W4391681788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151561$A3C610AF-7059-4212-B934-CC2A5BB1EA13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cb8447cb70a9a356ee73a752db0da6dd2143f3","datavalue":{"value":{"entity-type":"item","numeric-id":5098709,"id":"Q5098709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$71E369A9-DD3D-413D-95E1-B25D0C3D2500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$7A9C6623-F4A6-46E8-8EF2-2A7CF02C0E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$999F9AAE-C4FA-4BB3-A226-748205CBDCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$CAC32530-4F2E-4C43-BEDF-68CBC1015638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842908e6c13ec392e360c75e594280d6b516707c","datavalue":{"value":{"entity-type":"item","numeric-id":776989,"id":"Q776989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$86495296-A996-4BE7-BD9B-C0859CA1687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$BBD6F4F8-4B69-4961-BBDD-8294BF16C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$DD285F03-7B51-4BE3-AC90-62C411B19495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$9A8CF584-D92A-4CF3-A53B-D5FED4713EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25439c32c8c851aa59683b8b203347c13af02bb6","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$3042A7F3-A5D2-441C-813A-824CD53C2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$6DCCFB44-943F-4A58-A769-A7E368644184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$06D2634A-26E0-469D-B84B-1DB7BD16306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$531A1089-E533-46F5-9E44-5268252FC1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f04386ceffec4dc5ee1ef8d99de42f8d3616d35","datavalue":{"value":{"entity-type":"item","numeric-id":1914067,"id":"Q1914067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$31A71F49-396C-4353-89D2-67AA5FB08699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e08db462f80e00a7991f4e0a584361f43aa443","datavalue":{"value":{"entity-type":"item","numeric-id":1970930,"id":"Q1970930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$3D3079D1-DD1D-49B0-AEE5-584438709C6E","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":"Q6151561$106732A9-8A9B-4633-A1C2-76D949A181BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ff45bc02ee3672976452a9be524c7c206ad90b0","datavalue":{"value":"10.46298/LMCS-20(1:12)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151561$32EE2EBE-2243-4F02-8439-D38FC3F1BCE2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151561$498D1625-0389-4DE1-A3DC-6CE6F0A9ACBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151561"}}}}}