{"entities":{"Q913830":{"pageid":915678,"ns":120,"title":"Item:Q913830","lastrevid":65310057,"modified":"2026-04-12T01:43:04Z","type":"item","id":"Q913830","labels":{"en":{"language":"en","value":"On locally presented posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148154"}},"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":"Q913830$D35A7CFB-1DD2-4665-AAF7-9A00EB6A5060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"528d98b1eac4f0342882e57b0ca3eb509ba7228d","datavalue":{"value":{"text":"On locally presented posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913830$BCFE71ED-4A83-43D7-82E0-0CE3F2E8FA69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"580474820c7f2941298d2dc4e9caf23cbc295d3c","datavalue":{"value":"0701.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$FD87C48F-EC21-4B08-83FB-EB320AC2AC49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f8fbb0401d3a5e53cb1805e54f18d9e90f322c","datavalue":{"value":"10.1016/0304-3975(90)90125-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$E3FEA8F7-9CAF-4F1C-8F85-C7C796DF878F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6c0df0cc34dfafa75569f811a2390871af66b07","datavalue":{"value":{"entity-type":"item","numeric-id":235659,"id":"Q235659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$9FCF754D-AEBB-4758-A200-17B62F2C0125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"137a03f0ec02f2cae9efa51f78a61d52de9bf4b7","datavalue":{"value":{"entity-type":"item","numeric-id":169306,"id":"Q169306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$BC65BCDC-1EB1-48CB-82CF-3C8A7351CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9380c4124a5ef272e2152da1b5d415130e3e64f8","datavalue":{"value":{"entity-type":"item","numeric-id":175596,"id":"Q175596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$CA3770BA-C649-432C-95E3-F24E8F61533F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$F1EB7B6F-4C77-47F3-86E2-1F70BFC55F46","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":"Q913830$02003A3F-1E7B-44BB-BCC9-9C23BC8A695B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"247b4475917e2158b747e7c76c87db86bc634987","datavalue":{"value":"Several interesting concepts and useful conclusions are presented in this paper marred here and there by deletions or misprints that present possible obstacles to readers not experienced with the subject. Given a poset P, with \\(| P| =n\\), the number of vertices, a labeling L is an (order)-homomorphism L: \\(P\\to [1,...,n]\\) with the natural order, whose induced order on P is an extension of the original order. Thus if \\(U_ 1\\leq U_ 2\\) (in P), then \\(U_ 1\\leq U_ 2\\) (in L) as well. Suppose \\({\\mathcal F}\\) is a boolean formula defined on a set \\(\\{X_ 1,...,X_ t\\}\\) of boolean variables. Suppose furthermore that there exist t labelings \\(<L_ 1,...,L_ t>\\) on P such that \\(U_ 1\\leq U_ 2\\) (in P) iff \\({\\mathcal F}(X_ 1,...,X_ t)=1\\), where \\(X_ i=1\\) iff \\(U_ 1\\leq U_ 2\\) (in \\(L_ i)\\). Then P is \\({\\mathcal F}\\)-representable and the labelings \\(<L_ 1,...,L_ t>\\), plus the boolean formula \\({\\mathcal F}\\) form a local presentation of P, with P being locally presented. The point of this exercise is that if \\({\\mathcal F}=X_ 1\\wedge X_ 2\\wedge...\\wedge X_ t\\), then the local presentation obtained from \\({\\mathcal F}\\) plus the requirement that the \\(L_ i\\) be linear estensions of P, leads to the observation that for minimal t, one has computed dim(P). Thus, if \\({\\mathcal F}\\) is restricted to be an acyclic formula while the \\(L_ i\\) are not restricted otherwise, the resulting dimension, obtained by letting t be minimal, denoted by \\(\\dim_ B(P)\\), the boolean dimension, is a lower bound for dim(P), which may or may not equal dim(P). It is shown that if \\(n=1\\), 2 or 3 these are equal, while if \\(n\\geq 4\\), then there exists a poset \\(P_ n\\) such that \\(\\dim_ B(P_ n)=4\\leq \\dim (P_ n)=n\\). The role of the system \\(\\{\\) \\({\\mathcal F}\\); \\(<L_ 1,...,L_ t>\\}\\) in encoding P and of \\(\\dim_ B(P)\\) in determining the efficiency of encoding, as well as determining most efficient encodings is of theoretical interest and importance. As a special application an efficient encoding of a subclass of the class of planar directed acyclic graphs is introduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$30E4C538-FD64-44B7-B636-D9A476BA9BCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$941F46B3-3DD0-4AFA-8DCD-06DEE8D54DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$A6F701CC-77CE-4107-8730-69205F2CC210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$15BF4AE4-7691-4EA8-8292-EA481A7E3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$CFB086F7-4BFB-40D5-8C4C-CBD2501B8AB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d7be266e92cce0a01de908b8b4ec047cc306adf","datavalue":{"value":"4148154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$A7446A8E-2B65-4B98-B149-23BD9E0FF08E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67fb5b3f21d721fca695be44e75a74d276d1107d","datavalue":{"value":"dimensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$523B3A99-D666-4F7D-9764-5B0CE744868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb5dbb9c018c941d87d8ebd9a9c3e079d8ffa0f1","datavalue":{"value":"labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$A0ECA821-BCAD-44E2-AC19-EED205090920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9f478cf938bffe63079a8138ad391530bbfff8","datavalue":{"value":"boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$606789D4-11DA-45C6-A188-EC72D0ECA579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8148d7a28f0ba47b5b9c0dad525ff634c41a63ac","datavalue":{"value":"local presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$665D63BE-025A-4754-A1C2-C597EA574B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb298fea551d9446798d13cec9ebb78154e92be0","datavalue":{"value":"boolean dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$A93EA4CA-C202-4824-8F71-E86183893C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fe8d429265a919dc31fb3d613b4f93847bfbcc","datavalue":{"value":"efficient encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$564E8E9B-DF5E-48C4-BEF4-5D0BF76DAC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023f5983a434d43aff31d2847d29412baa24cebc","datavalue":{"value":"planar directed acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q913830$59E8699D-EAF2-4909-A884-25B0DE9A8B0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$AB92F720-B1CC-4845-B8D0-08CBF5F756C8","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":"Q913830$6A589715-B8E7-407E-BC17-1471F34D9113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e624e4046541e14561a8fca04e0068f8b618c93","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90125-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q913830$9405EFC3-194C-4F33-8C63-FCED3533160F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17e2e70c64308706826c790f061aed27354f6952","datavalue":{"value":"W2051113106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913830$D13D2EAF-1982-416C-B94D-8C71123B38C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99e3e6eb1953b3812837d7ce7de28f844c67b66","datavalue":{"value":{"entity-type":"item","numeric-id":579964,"id":"Q579964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$7E94896C-ACBC-4F55-8A3B-FFA249658DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9f00fefceacf3c3325e9586fbddf1cc662443a","datavalue":{"value":{"entity-type":"item","numeric-id":3767386,"id":"Q3767386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$653C0EB7-AB43-45DC-8D20-776A183DD7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2fcca63b4b48801ff4f4e096fdcad7e954c1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3783593,"id":"Q3783593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$AE02CA60-BF1F-4154-B514-18B2E614DF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dc0eb84b9d14ca0fc0dc91cedb719c991701e9","datavalue":{"value":{"entity-type":"item","numeric-id":4732500,"id":"Q4732500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$13769543-3E5F-4E72-85C3-DBB954A7C5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a82e0289b2bfbe04056a9059c8ed23b7e861e72d","datavalue":{"value":{"entity-type":"item","numeric-id":3344241,"id":"Q3344241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$14BACF0E-0D28-45E8-AF73-D235D603C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a2231ccf7a1d99a863331c79073d7c984aa1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3321495,"id":"Q3321495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$1C0C5B50-5E5A-47DF-BF63-F9AD4A8CAF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1924e5ca4ad8d9abc4eff9a398910a5e0103f106","datavalue":{"value":{"entity-type":"item","numeric-id":1217722,"id":"Q1217722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913830$6F4871B4-E7E4-4F78-AF0E-3589D9EB26B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabf04664b52055120b972aaef0646a35977c2b4","datavalue":{"value":{"entity-type":"item","numeric-id":1690054,"id":"Q1690054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e8e52cd8c5dcb10336d8e4fb05028058e6a6a3","datavalue":{"value":{"amount":"+0.8295707702636719","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":"Q913830$23F1B530-69BA-4147-8505-8FF4C22F2378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8310438c6ad7d2f41123d0c7efab3b26b3c0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3767386,"id":"Q3767386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15d271122766ca663fa1ed19bfbdfb24ce5a5cc","datavalue":{"value":{"amount":"+0.7952727675437927","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":"Q913830$B0871ACD-EB86-4F22-8CC2-357CC9BE400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4917cdd5d2867464454576e580f210fccd823cd","datavalue":{"value":{"entity-type":"item","numeric-id":3783593,"id":"Q3783593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498086dc9d2740eef6543b0052c71b7829b7e915","datavalue":{"value":{"amount":"+0.7738791704177856","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":"Q913830$3375B7EB-AC20-40A3-ABD9-246451A52416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c776ad73f1ed84071ad01047816960e63ed2809b","datavalue":{"value":{"entity-type":"item","numeric-id":2658384,"id":"Q2658384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99abae0ca48be127cf714b1c302d31679285cf5","datavalue":{"value":{"amount":"+0.7597906589508057","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":"Q913830$7F1B2B02-871C-4000-84C8-212517059E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ba66a01fc02a845e652a12493011068a78a2c","datavalue":{"value":{"entity-type":"item","numeric-id":1109056,"id":"Q1109056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063e964106d904c3327b70e129c021a7c3f32271","datavalue":{"value":{"amount":"+0.7545273303985596","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":"Q913830$65CBC6F2-15E9-40E0-9BF4-6634C6D14BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On locally presented posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_locally_presented_posets"}}}}}