{"entities":{"Q1821780":{"pageid":1832522,"ns":120,"title":"Item:Q1821780","lastrevid":73385478,"modified":"2026-04-14T15:43:15Z","type":"item","id":"Q1821780","labels":{"en":{"language":"en","value":"Partial orderings for sets of multisets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3999926"}},"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":"Q1821780$9137C49B-C4C4-47A3-8984-A42325D6D3EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9cfe5e8096b1c9cc041cab2d112f20db97358f8","datavalue":{"value":{"text":"Partial orderings for sets of multisets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821780$7F1F42CF-E3FE-47F5-816E-EA003C42A0EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4543b13414353d295f7b19e3be8d850a80e2c12","datavalue":{"value":"0617.04002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821780$159DD1D8-F740-4C40-8BE6-4ED2D34AF8BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bd9b877e638ce473737d983f0d5278ae04007a6","datavalue":{"value":"10.1007/BF01188051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821780$078C02A4-AB56-4A34-8015-C11976AA4C48","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":"Q1821780$EDF0054D-EEB5-40E8-875C-B77863BC1206","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1821780$9A21D333-1901-4F16-A9B8-C0EF03B52D50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c537d9fc885185405184cde21f0abd6855cc0000","datavalue":{"value":"It is shown that if \\((S,<)\\), a poset, does not contain an infinite descending chain, then neither do some naturally defined posets on the set of finite sub-multisets, i.e. functions f:T\\(\\to N\\), where T is a finite subset of S, N is the set of natural numbers. The author identifies the cases of the axiom of choice used in the proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821780$3501B3B0-92C6-48C5-AD7F-C9F24B8876F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821780$EE041C30-AA2E-4B0E-B2C7-7CAFD2B70C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821780$E13A4358-53BD-4F3F-93B1-44EB9E6856F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821780$2BEBC2E4-5A64-4C0D-AD02-E97348D7A18D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c4d1de04b56f71f007e17c58c2f61cec5121ace","datavalue":{"value":"3999926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821780$71A98542-46C7-488B-BDA0-0A01525C23D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821780$8FBD7F81-8CDA-4189-8874-51ACA5DA638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fa6e04c3a0cdba3d4e6575e997e78e76adad3d","datavalue":{"value":"well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821780$835FDDCB-1ECC-4954-B18E-5626857E1B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821780$9A6DFF8E-A2AD-4D20-916F-AEDFA9549698","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd083583c0967091b3198ec419f4ead57080570","datavalue":{"value":{"entity-type":"item","numeric-id":1237718,"id":"Q1237718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$304DC130-B0A4-4493-9888-A61698DCD37A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$5AA54816-7CAA-4972-9524-C4E0FA7E1AE4","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":"Q1821780$225E3030-BF2E-49D6-9426-66DF45924FD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$959DC7F3-6A2E-48AA-A684-CE571BADE0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$D10519C6-FD73-4537-871C-AF03206E99BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$64E3A08B-853D-4827-979D-BAEA9BEEFEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da86d122e48ca47a994dd19a2ed1baa918b81c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3960633,"id":"Q3960633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$8CB6C3D8-0BF2-46D6-A9A8-51FDC90DFE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f873a7c102d12d8671eaddbf199997d848f6fe66","datavalue":{"value":{"entity-type":"item","numeric-id":3869280,"id":"Q3869280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821780$D5B4E0FF-5D8D-4A4A-9C8F-452D580F7778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52728b6561a77aca64d53821e6ef2f06b122d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1104349,"id":"Q1104349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c185d13aa2e98c3630a86b4e79149ae82ef61414","datavalue":{"value":{"amount":"+0.7806653380393982","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":"Q1821780$1E3A47B2-8CE2-4A8D-879B-AAF30105B2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce70a76bf027acc36e5589f4ade675373559efe","datavalue":{"value":{"entity-type":"item","numeric-id":3400647,"id":"Q3400647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59dcb7f1333b34564246925c77c7c06aabf0586","datavalue":{"value":{"amount":"+0.7677841782569885","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":"Q1821780$473809F1-60B2-485A-8B28-5EAC7DDC7283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae20dbdd727a39d958cd59ecf2cc65cee0790d6","datavalue":{"value":{"entity-type":"item","numeric-id":4732498,"id":"Q4732498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558a10bd143cc62c154e82637dc214ed6c23e061","datavalue":{"value":{"amount":"+0.7447528839111328","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":"Q1821780$96F56DAC-07D6-48AB-986F-884BF359B07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09418f257f8cfc65d3912c65752406e68469826f","datavalue":{"value":{"entity-type":"item","numeric-id":5344988,"id":"Q5344988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eea66b526c188f24d1700ead86bb290c1940f95","datavalue":{"value":{"amount":"+0.7323727011680603","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":"Q1821780$FA9D158E-C3BB-461B-878B-4F4B7190E2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c462d3d1252c2ab08ae41bb077bdc7a173023ff4","datavalue":{"value":{"entity-type":"item","numeric-id":740200,"id":"Q740200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801d1cdb8eaf8481d1a84fe150d7d721dc907b43","datavalue":{"value":{"amount":"+0.7301737666130066","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":"Q1821780$64C61314-DA15-4188-AE63-92226C3EC88B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial orderings for sets of multisets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_orderings_for_sets_of_multisets"}}}}}