{"entities":{"Q912874":{"pageid":914722,"ns":120,"title":"Item:Q912874","lastrevid":65328234,"modified":"2026-04-12T01:50:19Z","type":"item","id":"Q912874","labels":{"en":{"language":"en","value":"An inequality for partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145961"}},"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":"Q912874$BF3AE011-12C7-4168-A929-0938942AF34A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95564c18cfcc820f0ed6f86e259180b221be6c89","datavalue":{"value":{"text":"An inequality for partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912874$2CF96066-78FD-4133-9D6F-F330F42FDEDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5f418269cb0e082df508ce03a6b14f0af4dbdb","datavalue":{"value":"0699.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912874$5F15F7E4-F889-42CC-B60D-66DB707CE906","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e1518a52a58ebd52e338bdf42058adcb2c17d8b","datavalue":{"value":"10.1016/0097-3165(90)90010-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912874$F734E3EF-E2E8-4121-9A7E-47F951928513","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadcbe76f7cf8ecf5e9b3edb44dbf328bc25c096","datavalue":{"value":{"entity-type":"item","numeric-id":912873,"id":"Q912873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$558F978C-7E5B-4D4E-9435-AD00779871C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$447DAC4B-5524-4261-BD93-0FD73AE7ED9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q912874$97495B81-C6B6-402B-B480-B64FB3B71AD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9aa59386a08bfc78865adb11f4d5d428dc9c777","datavalue":{"value":"The pair of (P,f) is called a real partially ordered set if P is a partially ordered set and f: \\(P\\to {\\mathbb{R}}^+\\) is a function from P to the positive real numbers. For a subset \\(T\\subseteq P\\) define \\(Id^ f(P)=\\sum \\{f(I):\\) I ideal and \\(T\\subseteq I\\}\\). The author proves the following theorem: Let A and B be subsets of a real poset (P,f). Then \\(Id^ f(A\\cup B)\\cdot Id^ f(A\\cap B)\\geq Id^ f(A)\\cdot Id^ f(B)\\) and the equality holds exactly when any path from A to B has to pass through the upper ideal generated by \\(A\\cap B\\). One corollary specifies this inequality and the other one has some flavour of a Nullstellensatz.","type":"string"},"datatype":"string"},"type":"statement","id":"Q912874$ECA5C1C6-CE10-4938-AA66-6C235B55500F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912874$6DDAF19D-5873-47F5-B00C-FC6A00375E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"911df8e7f236ab901eff2399f6f7b5cef70bf51d","datavalue":{"value":"4145961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912874$81B51CBD-ADAC-4FE3-A063-03023CBBD537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79be9ef8752b6e8fcaaff92ba6ec41b454472896","datavalue":{"value":"number of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q912874$94482F49-C6FB-4F53-A5FB-6EDDD173A02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad95b93e11e5c61bd038240a20ba638f3d0895f","datavalue":{"value":"real partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q912874$8043B3FD-39B9-46B8-AEB0-2334DDEFF7A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$121FDEFB-C1F1-45C3-A25F-3A964BB683B6","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":"Q912874$535E76DD-921E-4487-8878-7B2F8628BC02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7748c3f122e9e682729c02c7c3be84a5b05d9f9","datavalue":{"value":{"entity-type":"item","numeric-id":4128579,"id":"Q4128579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$E4902D58-6AE7-48DD-A5F4-A5603907C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd231a06dfd05f32ec47545dedbbb32bf7c4c61","datavalue":{"value":{"entity-type":"item","numeric-id":1134761,"id":"Q1134761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$DBB55AF0-D551-46A0-9E61-F3A67A5CA063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4041f0b040c90c6c80caff02549608916592d535","datavalue":{"value":{"entity-type":"item","numeric-id":1234692,"id":"Q1234692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$C3D5BCCC-1D5B-441B-9DF6-02F11FD58900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2992d0ab130381b90f8bcf955416a105e1860f8","datavalue":{"value":{"entity-type":"item","numeric-id":4141872,"id":"Q4141872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$A1F314C8-B3E1-4EC2-9D77-D1D7231A1BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3660556db02bbdf908666b36841a4806034d0b","datavalue":{"value":{"entity-type":"item","numeric-id":1132900,"id":"Q1132900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$2A0878E5-FD89-48D4-A4C8-75609358BAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745d58229c0fb21835c844d95a6994edabc6e175","datavalue":{"value":{"entity-type":"item","numeric-id":1233445,"id":"Q1233445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$A2EE94C7-813B-4FD7-AFFB-64D8F73A779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929e2644f43d8cbb608e89a4571f9ccec598053f","datavalue":{"value":{"entity-type":"item","numeric-id":5515361,"id":"Q5515361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912874$3A2E8415-5857-4E89-B8D7-EFAA50FFD99A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5ca7b84362f55cbc1356a3f37cc55f34287ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1176729,"id":"Q1176729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c110044334b80b0a7c36c74f3b846055fd01d0","datavalue":{"value":{"amount":"+0.7450588941574097","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":"Q912874$5D68B48D-D16C-4D68-B8F5-2AC66ED39261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f902f948990f2982694a576dcc955d0be30451d4","datavalue":{"value":{"entity-type":"item","numeric-id":1689053,"id":"Q1689053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409a756b863585429e3400ca706b67d672bd13c5","datavalue":{"value":{"amount":"+0.7442448139190674","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":"Q912874$5125DC84-576A-4968-AAAA-502994158FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdb3ae579002655bd1e454d406fa59773d9c64a","datavalue":{"value":{"entity-type":"item","numeric-id":1305172,"id":"Q1305172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb87301347acc59521b70b3566ffc684bd46fe3","datavalue":{"value":{"amount":"+0.7421569228172302","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":"Q912874$7A55A3D0-E6F5-4591-B568-9F8B4FB39057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087e8c175dd21803600bfa5c6c4b3510ef526962","datavalue":{"value":{"entity-type":"item","numeric-id":580381,"id":"Q580381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb87301347acc59521b70b3566ffc684bd46fe3","datavalue":{"value":{"amount":"+0.7421569228172302","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":"Q912874$AD380AEA-0548-4506-AF98-0818200779E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e925d9a19c5678a9647d81c5f6b7680b6c08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3626689,"id":"Q3626689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d17e62f702e555c0e360e4c1ec279c06dcca9ad","datavalue":{"value":{"amount":"+0.7406555414199829","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":"Q912874$F05D4B50-88D1-45DC-8BAB-FCDF63DAE2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inequality for partially ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inequality_for_partially_ordered_sets"}}}}}