{"entities":{"Q412015":{"pageid":413782,"ns":120,"title":"Item:Q412015","lastrevid":61656132,"modified":"2026-04-11T00:46:01Z","type":"item","id":"Q412015","labels":{"en":{"language":"en","value":"Lattices freely generated by an order and preserving certain bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029772"}},"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":"Q412015$4FECFCF1-47E6-4642-A04D-C724127A89B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7a9005536ba8db6dfb22fc35817d14a0ece11f8","datavalue":{"value":{"text":"Lattices freely generated by an order and preserving certain bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412015$75C04EAA-3E5B-4DEE-A3D4-5F8BB84756A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88db5635ae35d78376e7a3b81e3d9f8d5936cfac","datavalue":{"value":"1272.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412015$81F86B5E-D8BF-4F09-8E22-31205C3582A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$FA072002-81C9-4553-989C-EDD2033EB2BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97df402d3a91ac31bfea85893aa349af566173be","datavalue":{"value":{"time":"+2012-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q412015$AC1522AE-0E8C-4B73-A373-72722D78B171","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"110651b7a81af80889384f57e87805bb223c306a","datavalue":{"value":"The paper presents a description of a lattice freely generated by a given partially ordered set \\(Q\\), preserving chosen (finite) meets and joins. The elements of this lattice can be expressed by lattice terms with variables from \\(Q\\). The order relation between such terms is determined by a recursive algorithm with five basic rules: four of them are the well-known Whitman conditions, while the last one uses special ideals and filters, called upper and lower covers. This construction was presented by \\textit{R. A. Dean} [Can. J. Math. 16, 136--148 (1964; Zbl 0122.25801)]. The contribution of the present paper lies in a simpler and more natural proof, especially the use of upper and lower covers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q412015$BB5B6292-4962-4DE9-AC1F-BF7085B14E57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"641ab91e199f4fbed34ff343dc7504b475dc5ace","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$14DC67E0-21B3-45A2-945D-C8959CC289E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412015$D9FE69E9-6F8D-41DA-8BF0-396C3B245D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412015$321C4FF9-E7C9-4F80-8426-93380528E097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8535becb1715a166bfe90e418393b9bcddb3110a","datavalue":{"value":"6029772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412015$D96A3D18-B643-4A67-8C12-443AB2CED3B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7cf29cc57e0ae8df8e063d70bf471ffcd0883d","datavalue":{"value":"freely generated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q412015$C79375AE-1769-4462-AA84-4975D0806AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q412015$442952BB-13C4-4E6D-914E-352FE43C186E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2131291c5cf28f71d0f5b46d94c82ae4603c93d","datavalue":{"value":{"entity-type":"item","numeric-id":1167750,"id":"Q1167750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$F4F2E52B-66B1-4FF4-9BCE-C2E64FC26A55","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":"Q412015$8538B57E-75AF-45E8-BF97-04A7A0891EBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1d75c3041678dbecc164ee0894c370e83d0105a","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0171-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q412015$F1720929-05DE-498F-8B99-DD1E10867E10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d9c3937d337dcd839797408320447e80875b071","datavalue":{"value":"W2090141270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412015$60C14C9F-5BCD-423F-8274-4FECAF2F3164","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"669daea431836fc2130f88ef3ca3b5dd23f748d5","datavalue":{"value":{"entity-type":"item","numeric-id":4835521,"id":"Q4835521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$3EEDA59A-FEF0-4CFE-A3A6-BE39834840E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70d4cbf4dd041d25091ef26428da555192c60d1","datavalue":{"value":{"entity-type":"item","numeric-id":2536068,"id":"Q2536068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$9A50B797-5489-4A6F-99BF-530D71974A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddea4e78320b35092804d2ccdeab5253d7dfc36a","datavalue":{"value":{"entity-type":"item","numeric-id":1182531,"id":"Q1182531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$A7D206AF-9E6B-47D9-BECE-19D740AB0D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c661a41061c3f73be7c53f2f635075b3ac5df6f1","datavalue":{"value":{"entity-type":"item","numeric-id":800399,"id":"Q800399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$71C9ADD5-7AE1-488B-BBEE-BB3AFB34893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f26567ada080faa8a91d1e952affb34d33b7684","datavalue":{"value":{"entity-type":"item","numeric-id":5734466,"id":"Q5734466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$33E56A9C-0D8B-48E2-827A-18E673B25F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbbd41f3df60cd5a0d12d6723e9387cf4261091","datavalue":{"value":{"entity-type":"item","numeric-id":5834608,"id":"Q5834608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$3E253C18-7A62-4A0E-99BB-8FC3470A13BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc0d97cda021a47a36ad57afedcdda62e25f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5803323,"id":"Q5803323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$52E31140-C715-49A4-86BE-CC27C7875CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9acc2eb5e2d76b0fa37034dc41941899b10c533","datavalue":{"value":{"entity-type":"item","numeric-id":5472328,"id":"Q5472328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$94C3830E-3235-4F23-9C7A-C8F0C9598DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9c59a6bf59159897b82df47dce1aa068c36dce","datavalue":{"value":{"entity-type":"item","numeric-id":2577726,"id":"Q2577726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$1BFDC243-A9EC-4464-BFAF-81305A999A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56283f17940727be5c4791633f772cddf625721d","datavalue":{"value":{"entity-type":"item","numeric-id":5606614,"id":"Q5606614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$E0E9B577-0D9E-4814-987D-31BEDA483AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$A1BFFEFC-2EDF-4A01-8345-7231EF341497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d590eaaab36386d7087f35fec151e3e4fd9226","datavalue":{"value":{"entity-type":"item","numeric-id":5635418,"id":"Q5635418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$2958CCFA-62C5-419B-8F77-1FF838BA9727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd0a6009a9268b363e6f11f302e791a8f479d11","datavalue":{"value":{"entity-type":"item","numeric-id":2646843,"id":"Q2646843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412015$67CD3493-636F-42E4-98EC-4C2A288F567E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcfb3f5b8ec36d0058216cee8ec228228168c7a6","datavalue":{"value":"10.1007/S00012-012-0171-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412015$2E5673D9-A1A0-4DE1-8E53-36A8E23277F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a05102de1dfbb8cace2d37d5226c56ae38a1dd3","datavalue":{"value":{"entity-type":"item","numeric-id":3318819,"id":"Q3318819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403b7a7de1f95f549ab3e1279f8b137b6af6612e","datavalue":{"value":{"amount":"+0.8049536943435669","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":"Q412015$DBB47D23-3622-45E1-BC56-B52610C624F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3047353b79e8e384e9f7b265f73edc443c424d42","datavalue":{"value":{"entity-type":"item","numeric-id":4320209,"id":"Q4320209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361e7698195a2b58cd4e706c170a9e0619cd227d","datavalue":{"value":{"amount":"+0.7471867203712463","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":"Q412015$39319A9B-A415-40E2-BD8B-114F30C61439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd4c14d0c872f8a84a5bf1dce903d0f280f621f","datavalue":{"value":{"entity-type":"item","numeric-id":998779,"id":"Q998779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f3669e4ea40ab3f3d7f4648aa04f326d5aae9a","datavalue":{"value":{"amount":"+0.7440141439437866","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":"Q412015$FE6475B0-205C-4512-8A9F-D188276325AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc255e5050e101770228e55ef8cb186590633047","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21544119aaead3a15599eb03da0099fc9c32f5a","datavalue":{"value":{"amount":"+0.7436960935592651","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":"Q412015$DF17BD66-2503-4EB3-A0C0-8A2E53FCF861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05b6f3b2cf181d2ebdd7e8a192bcc3896121e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1586754,"id":"Q1586754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57597d4042c344084a7b4c2c1294351874b00811","datavalue":{"value":{"amount":"+0.7423622012138367","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":"Q412015$8EBD8346-36F1-4A50-B1C9-B4959F32EAFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattices freely generated by an order and preserving certain bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattices_freely_generated_by_an_order_and_preserving_certain_bounds"}}}}}