{"entities":{"Q1104347":{"pageid":1115096,"ns":120,"title":"Item:Q1104347","lastrevid":66724266,"modified":"2026-04-12T12:25:27Z","type":"item","id":"Q1104347","labels":{"en":{"language":"en","value":"Substitution and atomic extension on greedy posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055677"}},"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":"Q1104347$E51C87DC-A564-4EC3-BD87-4EEF02A3E56D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fe1fafc7d7e118ec651ad30fb08d43c3a8a2374","datavalue":{"value":{"text":"Substitution and atomic extension on greedy posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104347$DBC39022-5262-4D84-BD52-E0D33AC8A574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67549d49ad1ee7ef6d31124b605f85fd9f50fa5d","datavalue":{"value":"0647.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104347$917F49F6-9266-41E3-9895-A5FBB035ECBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46f1272711db3ffa73f2df07e934857bd6a3ba05","datavalue":{"value":"10.1007/BF00400287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104347$A654EF6C-DFB8-45F7-905A-BAFD6C181186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a997953f92910319b571820ba73579946967774a","datavalue":{"value":{"entity-type":"item","numeric-id":1104346,"id":"Q1104346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$DB0AD295-E42F-4A35-8FBB-42E451925C3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$525D11B8-7EDE-4467-B94E-D79F79137B45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104347$275ECD46-B28B-4580-BDB3-6018F7D64A6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a1549913e2f6bf6050895d2136eb97582787544","datavalue":{"value":"The author studies the operations of substitution and atomic extension on greedy posets. He considers only finite partially ordered sets (P,\\(\\leq)\\). For the substitution operation he proves that, if \\(P=(P_ 1,x,P_ 2)\\) is a greedy poset, then \\(P_ 1\\) and \\(P_ 2\\) are greedy posets. The converse of this is false, even if the jump number \\(s(P)=s(P_ 1)+s(P_ 2)\\). For the atomic extension, \\(P=(P_ 1,x,P_ 2)\\) is a greedy poset if and only if \\(P_ 1\\) and \\(P_ 2\\) are greedy posets. He also proves that the class of greedy semi-partitive lattices is the smallest one containing \\(M_ n\\) (n\\(\\geq 2)\\), \\(B_ 3\\) (where \\(M_ k\\) is the lattice of order \\(k+2\\) with exactly k elements which are atom and coatom, \\(B_ k\\) (k\\(\\geq 2)\\) is Boolean lattice of order \\(2^ k)\\) and closed by atomic extension. Then he shows that, although the class \\(C_ n\\) of greedy posets with jump number n is finite, \\(C_ n\\) can be obtained from a subclass \\(D_ n\\) of finite cardinality. He constructs \\(D_ n\\) for \\(n=1,2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104347$EDAA3F3F-2662-4C12-8CCA-97FAA5923A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104347$26EF2A8E-3032-4EFA-B016-183F44AAECE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0da8a54bf97176f4e7a59b1865d408cadc348037","datavalue":{"value":"4055677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104347$53356C42-0053-45F6-936E-0E920951E452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104347$37FE60C8-D009-4354-80B1-1D982939961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45eb75d30729c33150a34f102f47437cbadd5c8","datavalue":{"value":"atomic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104347$92C89B0B-C05B-4848-AF5D-AFF3D9215E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec39eee1a5eaedeef8bd1359cc18b416171da72","datavalue":{"value":"greedy posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104347$56FE789F-C3AE-41A8-ADA1-C448E909AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fdbede0e55799b154cb298ccb951db472fb2e85","datavalue":{"value":"jump number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104347$4698AF7A-1A86-4F54-8F60-C813A912D799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6cbc9877edaf8e1499dceb295104ae2821c2356","datavalue":{"value":"semi- partitive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104347$D6AA9AE5-64A9-4E89-A78A-50B9AC9A0CD0","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":"Q1104347$9DF0FC64-61CB-4488-9780-E6B88BD116CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"433aacb3b753ddf861d4b3d2e5750f83f114a9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4200070,"id":"Q4200070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$1414F7F0-13B5-4AF5-ADE5-4376606D2CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$AE295082-6770-464F-917D-CC8EB932EAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89eaca0c637703f9ae0cc66672c6857df95bf8b","datavalue":{"value":{"entity-type":"item","numeric-id":802585,"id":"Q802585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$EE226117-EDBE-4C86-912D-E462F0A630C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e52059a589250b5c3bf927a52af00cebfb990d","datavalue":{"value":{"entity-type":"item","numeric-id":3665161,"id":"Q3665161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$409AA7C9-5AE1-4FD8-B849-1CBC631CCBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1cf47c651dba3a9bf636555fade89a7220df8a2","datavalue":{"value":{"entity-type":"item","numeric-id":1097286,"id":"Q1097286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$54565603-F037-4CC4-85E5-D23B81C0C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a0021bb8eb537cd0811e93c7490e7e9ba98e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3683903,"id":"Q3683903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$9C97F648-CF86-4268-9CEA-281B0DF704B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4c3394fe33a803d44b9613be7e42b3f4c68ee4","datavalue":{"value":{"entity-type":"item","numeric-id":3674720,"id":"Q3674720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$80B12E99-0BDF-4A18-BA2C-CE14EF544647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d932d2dd9959d01e52a083bc9b3ddf17f04db94","datavalue":{"value":{"entity-type":"item","numeric-id":1092072,"id":"Q1092072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104347$C34C4475-8415-4588-BE0E-14C4595E7051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173065e64444e0ca3996fce99dd1165429c0a1af","datavalue":{"value":{"entity-type":"item","numeric-id":1894377,"id":"Q1894377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f25a77183ac40d6ad8eb10ab4d3363bf9502cc","datavalue":{"value":{"amount":"+0.7925519943237305","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":"Q1104347$D3E992CB-5439-4B8B-B569-1E3957989D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7a26f1e23ac2f3ea5b69e922109d096a867a80","datavalue":{"value":{"entity-type":"item","numeric-id":1092935,"id":"Q1092935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae46f6358902ccf4a315e46bb475b389f65c79e","datavalue":{"value":{"amount":"+0.7911044359207153","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":"Q1104347$8B73DE3A-829A-4B87-A29E-7535C54C578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb2541f66ecf6628e2e4a7ff44ada5639c07941","datavalue":{"value":{"entity-type":"item","numeric-id":1097902,"id":"Q1097902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44470e270ed70af00a29233de77a2404726ffeeb","datavalue":{"value":{"amount":"+0.7767663598060608","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":"Q1104347$445ECD13-CAA4-4604-8151-6013DE789F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11eb5f648947bd33db83036254c9ac446915b6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4020765,"id":"Q4020765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c32c8a21e1cdc8cc2e9baa82d4e36a9063e4d1","datavalue":{"value":{"amount":"+0.7713496088981628","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":"Q1104347$4E504166-68FC-4B7E-8BA5-E32EAB65784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ea1e2e82f9bc4ebe200a788ec67510b72cd37","datavalue":{"value":{"entity-type":"item","numeric-id":1061150,"id":"Q1061150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677e4c84057ad39db3ffff41d931fe9b06720640","datavalue":{"value":{"amount":"+0.7713192701339722","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":"Q1104347$95B592CD-256B-461B-A59A-31CAA871FFE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Substitution and atomic extension on greedy posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Substitution_and_atomic_extension_on_greedy_posets"}}}}}