{"entities":{"Q583247":{"pageid":585014,"ns":120,"title":"Item:Q583247","lastrevid":62940924,"modified":"2026-04-11T09:07:12Z","type":"item","id":"Q583247","labels":{"en":{"language":"en","value":"A recurrence for linear extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132217"}},"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":"Q583247$20EA7C63-5C39-4E9D-A260-0101E351AD73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b30645b9a32efb2f6687419a870f29c87283ebbc","datavalue":{"value":{"text":"A recurrence for linear extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583247$D87E6024-942F-4D58-AA4E-F4FF53633CED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7e2562606c503037fe6e498a676f6dd3540b3c9","datavalue":{"value":"0692.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583247$E51ED62A-8853-4D00-B3E3-CF5E95729327","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edebcb2b4a6cfffba56ff320bb9506d2d7073d32","datavalue":{"value":"10.1007/BF00341632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583247$2AF0A1BB-1BAE-43E0-A28B-32E4C1E6A4D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abc6a70dbf6482813534e44e9cb5a1449332bf6","datavalue":{"value":{"entity-type":"item","numeric-id":249579,"id":"Q249579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$014F7D65-7932-4113-AE6B-B851E28977B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc6f38de85a5cca3983414b680cf3f4b67c0c83","datavalue":{"value":{"entity-type":"item","numeric-id":249590,"id":"Q249590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$D8E26436-4A3D-403A-8B96-1075F9F5E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45832c0bbaa5349f8f9cd0930d7963ddf7abaccf","datavalue":{"value":{"entity-type":"item","numeric-id":795052,"id":"Q795052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$8D9D9A0B-53AA-4693-B959-77F59B056A44","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":"Q583247$28A1D046-9D4B-46BB-8A90-F205E8E0BC50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q583247$D9301937-5223-4A81-AB64-BA1E7CD17F55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0982f15f7a58db5d38127238ea5ea1460637a339","datavalue":{"value":"This article deals with the number e(P) of linear extensions of a finite partially ordered set P (the set P does not change). For the formulation of the main theorem the following notion is necessary. Let \\(C=\\{x_ 0<x_ 1<...<x_ m\\}\\) be a saturated chain in P \\((x_{i+1}\\) covers \\(x_ i\\) for \\(0\\leq i<m)\\). Put \\(P_ C=P-\\{x_ 0\\}\\) if \\(m=0\\) and \\(P_ C=(P-C)\\cup \\{x_{0,1},x_{1,2},...,x_{m-1,m}\\},\\) where \\(x_{0,1},...,x_{m-1,m}\\) are new elements. The partial ordering on \\(P_ C\\) is added by \\(x_{0,1}<...<x_{m-1,m}\\), \\(y<x_{i,i+1}\\) if \\(y\\in P-C\\) and \\(y<x_{i+1}\\) in P, \\(y>x_{i,i+1}\\) if \\(y\\in P-C\\) and \\(y>x_ i\\) in P.    The authors prove the following three assertions: Theorem. Let \\({\\mathfrak C}\\) be a set of saturated chains of P such that every maximal chain of P contains exactly one element of \\({\\mathfrak C}\\). Then \\(e(P)=\\sum_{C}e(P_ C)\\) (C\\(\\in {\\mathfrak C}).\\)    Corollary. Let A be an antichain of P which intersects every maximal chain. Then \\(e(P)=\\sum_{x}e(P-\\{x\\})\\) (x\\(\\in A).\\)    Proposition. If P and Q are finite posets with isomorphic comparability graphs, then \\(e(P)=e(Q)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q583247$AEB84396-2B16-41CF-94D2-842C5AD9D1F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"11c6ee72db6a1595c302ec495a8cbae324d7c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":551312,"id":"Q551312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$22C5FDAB-B1E5-4D7B-AEB2-05195E1A56E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583247$D8A9C516-B986-46E8-B336-391CB7C0B81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583247$669B77A4-33AC-437A-BF76-42BAABEEB943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35526a14eb0b771867ddb7f5f1ea76968b7d7396","datavalue":{"value":"4132217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583247$B51012E2-8988-496C-ABEF-F420770B8DA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d7bbb3cfb5ad904faeafed02ab4e8add75ce985","datavalue":{"value":"number of linear extensions of a finite partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q583247$F128DA56-C723-42ED-B688-B724703C871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6215595576fca9bdccff614ddae9f5bf30438653","datavalue":{"value":"saturated chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q583247$BB2FC79C-1ED0-4418-A3C1-4343269A8E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329e1c13daa8aa98a20a699b2b1edca88d38cf5a","datavalue":{"value":"comparability graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q583247$7CDD20F2-375A-4F25-83D6-96DBD9AC58AA","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":"Q583247$A43098EA-9B15-42C2-A545-00C692E17FAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2931fc0c1c4c81333d2beadb58369572821f7ac4","datavalue":{"value":{"entity-type":"item","numeric-id":1065836,"id":"Q1065836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$1692F714-78D5-4D82-9065-ED40932B0ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921fb8fb42d580500c268e639b7a83faeab4d747","datavalue":{"value":{"entity-type":"item","numeric-id":1821121,"id":"Q1821121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$98F4FB05-AA92-4834-9878-3D0B35362F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f601a51a453f5c593e9988023262e5b21ef833d9","datavalue":{"value":{"entity-type":"item","numeric-id":1394241,"id":"Q1394241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$332E3B27-02D9-4ECE-AACB-CBFA8C31EE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5f105bb81e09df604b06a5b4cc35194199aa53","datavalue":{"value":{"entity-type":"item","numeric-id":1077721,"id":"Q1077721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$CE35CF4D-063F-4418-BA67-65F012747035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583247$DED9BCD3-09AD-40A5-A535-48583B9461C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347ef743fd7254db2dfd9231ba04bbddf4485487","datavalue":{"value":{"entity-type":"item","numeric-id":3029051,"id":"Q3029051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e817ab3dbc8ae306a517494d80342f89172f9c94","datavalue":{"value":{"amount":"+0.8597232699394226","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":"Q583247$99BE6AB1-E956-430F-BBD4-7D53D601844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e0ec8864cd1ea8eccd496b3731a7408f2cd7c1","datavalue":{"value":{"entity-type":"item","numeric-id":3972873,"id":"Q3972873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0390c1dddd7334ab75d646e506def443da378682","datavalue":{"value":{"amount":"+0.8376114368438721","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":"Q583247$504B7919-24B4-43E5-AA22-74961450B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3b9398e1684fe33c386ad8fc382385aef5a6b8","datavalue":{"value":{"entity-type":"item","numeric-id":4454379,"id":"Q4454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192f63c82450d05e492e66fff39858668b4353d8","datavalue":{"value":{"amount":"+0.8330926895141602","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":"Q583247$581D9A2E-2DA6-42D5-BDA4-FF2EEA5D8016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2201702dafac54a0e24a28534d1808a99b57509","datavalue":{"value":{"entity-type":"item","numeric-id":1906134,"id":"Q1906134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c393b4cdf27b030ff28f635364b36babeac2a5a9","datavalue":{"value":{"amount":"+0.8304550051689148","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":"Q583247$52E7C682-1085-4552-9547-FE6FE36B25FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e10c3603aa1d6c610f5539b8299dfb0212d436c","datavalue":{"value":{"entity-type":"item","numeric-id":1198479,"id":"Q1198479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383530bf00cf965580b37724ae7aaa12a4d2536f","datavalue":{"value":{"amount":"+0.830287754535675","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":"Q583247$1672BAE5-8F76-41E7-A1A7-B5B9F2172B95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A recurrence for linear extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_recurrence_for_linear_extensions"}}}}}