{"entities":{"Q40967":{"pageid":41023,"ns":120,"title":"Item:Q40967","lastrevid":105427640,"modified":"2026-10-09T10:08:00Z","type":"item","id":"Q40967","labels":{"en":{"language":"en","value":"Pseudo Hoops"}},"descriptions":{"en":{"language":"en","value":"AFP entry PseudoHoops"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"eeb24b37edfc4ce23a1adecaa28da75291b08a07","datavalue":{"value":"29253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$D285071A-1AC2-47C5-B967-4537C2FEA855","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"ac800cf670d835b8a2a734e1e1e83c90ca5fed35","datavalue":{"value":{"entity-type":"item","numeric-id":5692888,"id":"Q5692888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$2E304AAC-5CE2-44D5-8276-800A379A8F6A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$2BF1297D-C872-4CD3-A869-DAC544906AAD","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3c2f30dd6957fec47bccd7070502e7c5185899c8","datavalue":{"value":"https://www.isa-afp.org/entries/PseudoHoops.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40967$A68192DC-41F0-4286-B654-D9F9CA0D168F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$41D2BAB8-9655-46FD-9D6E-F8E3A2A90DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$89FBBAB9-1E10-4795-8851-2EB219F6789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$6F27FEA7-BD80-4A88-8D27-67B952F417F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b50fc0bb13fa24d727c960e97501e2c7bce333","datavalue":{"value":"54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$311C6AB8-C982-4713-A1B0-86629E6A26EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$74FB71D6-A38D-4633-8B26-9668DB6C56AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$5252C28E-AF8D-45A0-935E-2D9047ADC42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be5267d4895a58dcc5cf7a7e416f12795fbbed35","datavalue":{"value":"28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$C6C69126-96D8-46C7-8D29-EB822D903279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$7FF5FD24-CE23-4A53-A2BA-A5C667B8F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2becadfb03f0a4ea19120ee675d7cd2fe8450d8c","datavalue":{"value":"6.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$B5D2281C-A1F1-4812-B112-181C341D3128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93076a1a8c615f863327f87c5c1e8b50f41d7e79","datavalue":{"value":"8.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$41021447-A7B9-40CE-AF90-A2FA1EB7BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9196b5b9f1526e279c18435c356a0745c73a1600","datavalue":{"value":"54.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$32ADC146-A01C-45F2-91A8-CD117AE3B099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d686bfe0ad6b5389dbe234187d1c022fa609f87","datavalue":{"value":"81.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$1A78F56E-5102-4B81-862D-927A7715CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$A9D531CB-66CA-4681-9353-360B3CD5B9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"077ca14cf3a261051d307ffe58aed9c2f05bf601","datavalue":{"value":"28.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40967$4D71D547-B2EA-4D09-8707-4A338159186A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"164fb480adb60690f4bda932e3c3978988b36c4b","datavalue":{"value":"https://isa-afp.org/entries/PseudoHoops.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40967$B1002D58-D548-4457-9B1E-9E618F177280","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"86782c1ea99ad9daadb4dc7f7230198f36086fff","datavalue":{"value":"George Georgescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q40967$76E5BBAD-56F2-473C-929F-AED274A14BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"a91a5bbff9c2ef06e09cf7844af1eb5a4d0bc2ad","datavalue":{"value":"Laurentiu Leustean","type":"string"},"datatype":"string"},"type":"statement","id":"Q40967$CC182C56-10E2-46E3-9DDC-75BFB3B9C471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"e58535bbff9a4f8205212cab6c53fba3387933bb","datavalue":{"value":"Viorel Preoteasa","type":"string"},"datatype":"string"},"type":"statement","id":"Q40967$86879482-7FE1-49D7-97B2-12D67FF0E548","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0853c326b89b4ebf79a6a568447d01b6f294b23a","datavalue":{"value":"Pseudo-hoops are algebraic structures introduced by B. Bosbach under the name of complementary semigroups. In this formalization we prove some properties of pseudo-hoops and we define the basic concepts of filter and normal filter. The lattice of normal filters is isomorphic with the lattice of congruences of a pseudo-hoop. We also study some important classes of pseudo-hoops. Bounded Wajsberg pseudo-hoops are equivalent to pseudo-Wajsberg algebras and bounded basic pseudo-hoops are equivalent to pseudo-BL algebras. Some examples of pseudo-hoops are given in the last section of the formalization.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40967$F7DC00DA-0929-4504-902B-72363458D24C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$C078DF6C-D1A0-4B0C-9DB3-F165F9000B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997744b17d1ed487c74981dc37b3271e77786200","datavalue":{"value":{"entity-type":"item","numeric-id":5574737,"id":"Q5574737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$B5495D61-709A-4485-8868-E407CAEA530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd81d472b907cf6cbb465b8d34ddff69fc967c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5679040,"id":"Q5679040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$4C5A8611-B11C-41C4-BEEC-4C123ADE2238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4e41725e5bedfe912df373765bc929c953b18d","datavalue":{"value":{"entity-type":"item","numeric-id":4542632,"id":"Q4542632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$E56FFAEC-C815-4E86-844B-2261861D56C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c3b88289ab48c73bd4ac9ec0050012522ed031","datavalue":{"value":{"entity-type":"item","numeric-id":5692888,"id":"Q5692888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$31EBDC88-05F0-4A6F-B8C9-6B3E03C98E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$0A3932F8-AB4E-40F0-AB39-43E3CC48B4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$F4017813-1254-47DE-A713-91441C343995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894b153525483d659921aae617ccecc6f7826fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$ED31A87B-E633-4689-A1C4-9B8A880EC545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$B3F25E12-8771-4142-993E-ABA5B51B832A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40967$C9330C8E-4284-4D6F-84A4-9F8AD6B0B732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f068843f9315add96297843b179ce51fe6fac16d","datavalue":{"value":{"text":"Pseudo Hoops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40967$B8F03B07-634E-4438-A20E-1E52A0E129F2","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$04D5F90C-F5AB-4A48-A9D1-6F57FA6A3485","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"aa4063b6762439611785d47c082c0b40208f0442","datavalue":{"value":{"entity-type":"item","numeric-id":7361523,"id":"Q7361523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$1BC50DCE-E848-4353-B778-55C9F89FA9BF","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40967$24C0FAC1-238D-4DF6-B4C3-3E57BDF8D1B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo Hoops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo_Hoops"}}}}}