{"entities":{"Q4399332":{"pageid":6428931,"ns":120,"title":"Item:Q4399332","lastrevid":89613113,"modified":"2026-06-04T17:49:39Z","type":"item","id":"Q4399332","labels":{"en":{"language":"en","value":"Equimorphy in varieties of double Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180077"}},"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":"Q4399332$605DED65-0337-4FAA-A5C9-E47C9D7A175D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8369d900d0d468de524d186efb4b4bff7ddf4d5e","datavalue":{"value":{"text":"Equimorphy in varieties of double Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399332$866F483A-5C33-4AC0-99CF-BB5310EDC1C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce912db703126e523f1ad8e8e56e95e78eba133d","datavalue":{"value":"0908.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$FE156443-9282-45A4-A45D-EC977DD50A64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399332$A0AE9910-8CFC-401F-BB1F-13C93F939C4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a1c49fdde043a52a9f87390ec6cd27d65eb0233","datavalue":{"value":{"time":"+1999-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399332$88C0587B-9ED3-4143-9AAA-1083BE71AC0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6617ad5f2b8ab041c5f7648e1486edc5eb0752c3","datavalue":{"value":"https://eudml.org/doc/210576","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399332$78831676-50B6-48BE-8201-C1602741CC0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$78268241-5CFE-4503-BD6A-1BAD0592E3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$C3E8B438-7EEF-4113-A8B0-F828C6DE918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$BD00B403-0418-4B74-9717-062C7D27E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$16E39B17-1C63-49A1-9908-C8BE0B67A0D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3b271ea1399e13703bd6cfcbe2ebf2e37b67209","datavalue":{"value":"1180077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$D5770ADC-6C0E-4F1F-AB82-BA2FCBED443C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8c13b3bb02b7203c7568c2b7f5723dc1d033d2","datavalue":{"value":"double Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399332$5FAAED62-1D01-4C87-A044-DC6CEF1AB7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e86038b670025220fd28eec2af67f76172dada4","datavalue":{"value":"endomorphism monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399332$08D9981B-05DD-45DE-BA60-79D5D767B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c98b0d09a3a157122392961237bd07cedea9bb0","datavalue":{"value":"equimorphy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399332$B756854D-F8F6-4282-A461-5EA5598644D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d7719d818d3d4432e85b9e9799a413f8170541","datavalue":{"value":"categorical universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399332$0E068549-80F5-4F92-AC0A-E18533C039D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9951624d57e61c27112ff2fd7cc9c6c0b83f638","datavalue":{"value":"finitely generated variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399332$524EE97D-EB9E-4439-BBFA-5F2BD29CE551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399332$2EC82F36-6722-4D3E-975C-021FB2DA3C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d12c6860773e4b7465f098c35b7f1d608a627517","datavalue":{"value":{"entity-type":"item","numeric-id":409253,"id":"Q409253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399332$34218960-89E3-4E71-BD22-FB64CCDE7CB5","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":"Q4399332$B5DA947C-219F-44A9-A5E4-6BC7B39EA732","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd3509863fe5e6ab26c33e97119e0c8f6d8cb42","datavalue":{"value":"W210357961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$9FED34A4-6988-4CFB-AC5D-D1F02A26C794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3730f02623e2df471bbf573b4ab894c715b45193","datavalue":{"value":"10.4064/CM-77-1-41-58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399332$54FD4CC4-6B55-4D35-A9E6-690C3A350377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7573045720a72df4eccc585370407232eafd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4515319,"id":"Q4515319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7f4448d1b3bb95bea140745bd8cf28b9af25dd","datavalue":{"value":{"amount":"+0.8508457541465759","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":"Q4399332$F11E3EF8-FDDE-4AEE-B5CE-57F79E7D4890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ddd223951345546690624e6f4efb5c06d329012","datavalue":{"value":{"entity-type":"item","numeric-id":3818368,"id":"Q3818368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8764c306038e09df55548d3d2957cc54b73674d","datavalue":{"value":{"amount":"+0.7982948422431946","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":"Q4399332$5FF2DEE3-7561-4986-AEDB-62DE6787FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b231c6039b48da4de0a1ad456b3ed68236b9d394","datavalue":{"value":{"entity-type":"item","numeric-id":3691720,"id":"Q3691720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b40efdfe8d8fb00d32ff9db61ca4a9cb9e2212","datavalue":{"value":{"amount":"+0.7896689176559448","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":"Q4399332$944F2D53-65EB-442C-B672-EEF5BBA53BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66086bee620b40f4ca4f283216c6f6f3979aac0a","datavalue":{"value":{"entity-type":"item","numeric-id":2583587,"id":"Q2583587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8cb1fb2a4bb96cad1ac5f65dedf020f120d8e1","datavalue":{"value":{"amount":"+0.7876134514808655","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":"Q4399332$BA885952-42CE-414A-AD54-610851222745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9617ccfa30891be9da9e38eedd2e14c4a033432","datavalue":{"value":{"entity-type":"item","numeric-id":2971274,"id":"Q2971274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9b584692cd74febc69174a428a114969613ffd","datavalue":{"value":{"amount":"+0.780544638633728","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":"Q4399332$D3B4A3BF-9949-4EAD-AEB0-D1BC9AF303A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equimorphy in varieties of double Heyting algebras","badges":[]}}}}}