{"entities":{"Q841168":{"pageid":843016,"ns":120,"title":"Item:Q841168","lastrevid":64781325,"modified":"2026-04-11T22:11:11Z","type":"item","id":"Q841168","labels":{"en":{"language":"en","value":"Inductive characterizations of finite interval orders and semiorders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603898"}},"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":"Q841168$5681B3C9-0B9C-4F06-ACC3-8E9DC073ADB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76193e316dce617f26e4c91603e149461c4472cb","datavalue":{"value":{"text":"Inductive characterizations of finite interval orders and semiorders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841168$37AF94D8-8EE2-45CD-ADD4-676DB50698EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb0169edc0eed9bf2ac5b9763d6f04f4133fdfee","datavalue":{"value":"1178.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841168$B89FCF9B-C882-47D8-840C-4DE1DD7652B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bc5d53fc2b39db6ceaff6ccd50f8c1d64926a4","datavalue":{"value":{"entity-type":"item","numeric-id":733538,"id":"Q733538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$A17F1F8C-141B-4AE0-B98B-D8AF9CF72C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"360175f44a31d0aabada1dccaeea5239e64be551","datavalue":{"value":{"entity-type":"item","numeric-id":841167,"id":"Q841167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$CEEF7DEB-D990-402C-8E3C-1D5BC451EFA7","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":"Q841168$ACD6C621-CC1D-4C02-A4BC-7160D6111DDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841168$D4E2E263-19C0-4CC0-936F-38CB5D4CF7BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cdbb1e87ed77741561eff18a9e78436788dda36","datavalue":{"value":"Let \\((P, <)\\) be a finite poset.  \\(P\\) is said to be antichain-series decomposable if its ground set \\(V(P)\\) is the disjoint union of three sets \\(X_1\\), \\(X_2\\) and \\(Z\\) which fulfill (i) \\(X_1\\) and \\(X_2\\) are nonvoid, (ii) \\(x_1< x_2\\) for all \\(x_1\\in X_1\\), \\(x_2\\in X_2\\), and (iii) \\(X_2\\cup Z\\) is an antichain.  \\(P\\) is said to be recursively antichain-series decomposable if either it is an antichain, or it has an antichain-series decomposition, say \\((X_1,X_2,Z)\\), such that \\(X_1\\cup Z\\) is still recursively antichain-series decomposable.  Theorem 1 shows that this is equivalent to: \\(P\\) has no subset isomorphic to \\(2+2\\). As a corollary there follows: An order is an interval order iff it is recursively antichain-series decomposable.  \\(P\\) is called recursively full-antichain-series decomposable if either it is an antichain, or it has a full-antichain-series decomposition \\((X_1,X_2,Z)\\) such that \\(X_1\\cup Z\\) is still recursively full-antichain-series decomposable. Theorem 3 shows that this is equivalent to: \\(P\\) has no subset of type \\(2+2\\) or \\(3+1\\).  As a corollary this implies that \\(P\\) is a semiorder iff it is recursively full-antichain-series decomposable. (A semiorder is here defined as an order which is isomorphic to a set of real intervals of length 1, where \\(I_1< I_2\\) if the right end of \\(I_1\\) is less than the left end of \\(I_2\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$87D72AE9-4CA1-409C-8BB9-3F25B7EEBEF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$CDD3240B-725A-4080-84BD-B9E6F2715FF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841168$4AF79009-A8AC-4AB1-ADD1-C4FB0E96E2FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bacf2d0bd537d9b96f5ef59f923b94a23f239910","datavalue":{"value":"5603898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841168$7C555BF9-CE9A-43DE-8167-9167340FE574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$FE24A34D-95F0-46B8-8AD4-6B1EB8E0CF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89639778a113cbe54a2efcba7f98ccd79f62275","datavalue":{"value":"characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$6F841E8E-94A4-46DB-979D-D59DAB1A4861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$2E0119E3-A771-40E9-8189-3DEED5EBFF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49afbfd2b76f0d874f9ee7f3fadf61281afd452c","datavalue":{"value":"finite order","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$6DF101EC-88B5-4FC9-ACD0-159BF944D372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$873D2AE7-C3BA-4FAF-ADD3-C077451C7066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc02b93f05817810227e222ee92dbaee102a4247","datavalue":{"value":"interval order","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$B69B0E08-7387-4FEF-9504-6C8191C86840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$13E12EBB-9D33-487F-B6CD-E005F84A1342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65a45c51e282ef6e2fffde2271bb93bccee4539","datavalue":{"value":"semiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q841168$D18812E7-52E2-4290-A8D7-979AF68CE569","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":"Q841168$26E51685-816D-4D92-86BB-E38417D1A286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d118be222e35b8faa1077d23f99c04dbf585a0","datavalue":{"value":"https://doi.org/10.1007/s11083-009-9125-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q841168$9346B179-E13E-4177-8ED8-5AE4A7B54460","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c35aca51d00aa3ec928333dfacd810ef9514ceb4","datavalue":{"value":"W2057127470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841168$7AE6E02D-A0F0-4DEE-991C-0E02B1C39420","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e645b698d0694949258471509082e43b1bfa41f","datavalue":{"value":{"entity-type":"item","numeric-id":2537977,"id":"Q2537977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$C71B5B8D-4C36-4A2B-B559-A878B22A9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdf2554745c39628b95b8afebf79a989b3e10af","datavalue":{"value":{"entity-type":"item","numeric-id":3344239,"id":"Q3344239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$B04AC4F2-3972-459E-9CFB-092021851723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35b03f4cee5a1c0ecf945160be55ecd9139027e","datavalue":{"value":{"entity-type":"item","numeric-id":3233621,"id":"Q3233621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$4ACAF7E2-FF9D-4E57-B514-3B4615A3D7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b29472e89104c3e9320351d18f22d8fe679705d","datavalue":{"value":{"entity-type":"item","numeric-id":2552144,"id":"Q2552144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$4D490FD9-B471-4E3A-9D4F-834131A5FD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75dd47304db8c29d81e98b64f2b7cde56acf821","datavalue":{"value":{"entity-type":"item","numeric-id":4791727,"id":"Q4791727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$659516E4-5CA8-4DD2-BE52-6F25000C7F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e6aad876a8d02b676d5ee32b8cb9c22baaa7ad","datavalue":{"value":{"entity-type":"item","numeric-id":3252694,"id":"Q3252694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$5DC90746-1EFF-4EFD-B089-82E94AEAC809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fcfd47c3fe9e0f097b76c7c78a15869fd96ffd9","datavalue":{"value":{"entity-type":"item","numeric-id":4004146,"id":"Q4004146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841168$8520312C-CC46-4C45-B7E5-14D27132701D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5234dfe1f6b989bb7588537acdd87db3c0f8cd21","datavalue":{"value":"10.1007/S11083-009-9125-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841168$7730C560-048A-4F80-8E46-1583F7131A64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d24c0de91c8c3aacce6b8a571f9c00433791197","datavalue":{"value":{"entity-type":"item","numeric-id":4858946,"id":"Q4858946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aab04e9f9a360c52af5a8f2094d6fd40633ee50","datavalue":{"value":{"amount":"+0.7922875881195068","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":"Q841168$E15349D6-6781-473A-BA69-A1F62FB92D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf25311277029d24e5441f6df6a7de12bfb28ebf","datavalue":{"value":{"entity-type":"item","numeric-id":1088407,"id":"Q1088407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054dd7303e9943fce0a3069f0a163c44ad46ab80","datavalue":{"value":{"amount":"+0.774874746799469","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":"Q841168$C6F503A7-933D-4FE3-A252-9DDB68AF2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75afc703ca9a74fa6c743539fa0500635302ec3c","datavalue":{"value":{"entity-type":"item","numeric-id":4525267,"id":"Q4525267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36c0d47cdf5f90e9fb2fd679334ee6999be30a4","datavalue":{"value":{"amount":"+0.7718531489372253","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":"Q841168$1348AFCF-F89A-408E-9209-E764CD8C50AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b376a3387afb6e5df92bc35bc6bcde06f9fe6566","datavalue":{"value":{"entity-type":"item","numeric-id":1937352,"id":"Q1937352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b442bc9ba7a03af0c2f180ca1ae77e6ba42bdbe","datavalue":{"value":{"amount":"+0.7691881060600281","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":"Q841168$B5F7565E-49F8-4178-B9D7-686A5AA3D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9191ffa1706ef535db6cb14fd4fca15217ce0931","datavalue":{"value":{"entity-type":"item","numeric-id":2022521,"id":"Q2022521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da3c31785a419c7493c10e89be838db7c231b4c","datavalue":{"value":{"amount":"+0.7682670950889587","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":"Q841168$A41CFF86-20C8-4CB2-8742-28F0DD19CC6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive characterizations of finite interval orders and semiorders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_characterizations_of_finite_interval_orders_and_semiorders"}}}}}