{"entities":{"Q1815323":{"pageid":1826065,"ns":120,"title":"Item:Q1815323","lastrevid":69032172,"modified":"2026-04-13T03:51:48Z","type":"item","id":"Q1815323","labels":{"en":{"language":"en","value":"The lattices of prefixes and overlaps of traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943230"}},"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":"Q1815323$29018C4D-A25C-4A82-BB45-785E554C64FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52bb19a01b4ffec2189fad8cccb27a9d476fede7","datavalue":{"value":{"text":"The lattices of prefixes and overlaps of traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815323$2DE9DAEC-1A48-4FE1-AD64-B0A9FC42795D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3be4230c5a4cc07ee79bbba2c3a658e194bd51a0","datavalue":{"value":"0861.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815323$8F79D3AF-3919-4CAB-BD57-3E791A9580F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7464ec13a9e34f8fa555a1f20563c5f4eebc3d5","datavalue":{"value":"10.1016/0012-365X(95)00046-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815323$2227FC04-F139-4982-A133-6E8D055821CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$F8974827-CF32-467F-A41E-CB60590317E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$5C0837EC-25C3-4208-83C1-6FFCBFF32DD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c756d1547f60afca22dd2809969b4b76b8807884","datavalue":{"value":{"time":"+1996-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815323$C74B215F-3419-45B9-B55E-4230FAC0AE5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da82969080f8682edaaa1cd113f4974a1ce7bf87","datavalue":{"value":"Traces are considered. A partially commutative alphabet is a pair \\((A,I)\\), where \\(A\\) is a finite alphabet and \\(I\\subseteq A\\times A\\) is a symmetric and irreflexive binary relation on \\(A\\), called the independence relation. By \\(A^*\\) the free monoid over \\(A\\) is denoted. The symbol \\(\\equiv\\) denotes the congruence on \\(A^*\\) generated by the set of pairs \\(\\{(ab,ba)\\mid (a,b)\\in I\\}\\), and the quotient monoid \\(M(A,I)=A^*/\\equiv\\) is called the trace monoid. Its elements are called traces. A prefix of a trace is a left factor in the trace monoid and a suffix is a right factor. The prefixes form a lattice with respect to a certain order called prefix order. If a prefix of a trace is also a suffix, it is called an overlap of this trace; the overlaps also form a lattice. The lattices of prefixes and of overlaps are studied. Among the results, it is proved that every finite distributive lattice is isomorphic to the prefix lattice of some trace, and a necessary and sufficient condition for a lattice to be isomorphic to the overlap lattice of a trace is stated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$41050C2B-1F64-45F3-9F6D-68240841D14A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b462d071c33d7d83486f9fef57845bb41d7acf","datavalue":{"value":{"entity-type":"item","numeric-id":190573,"id":"Q190573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$548B2371-37AD-4254-8ADB-04465B166195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815323$8770176D-3FA9-4CFA-98BF-9F45EC7FC6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815323$63515CE2-42FE-4DE7-BB7C-3C872C15F201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815323$472A00EC-CA6D-43EA-B017-D677E301A34A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c0c587f5b5f7126c7d3674ae3f3b43eed5f6618","datavalue":{"value":"943230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815323$174F7E57-811A-419E-BA6F-0205D9405DAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7e603c17c43698f37a97394b30987d3d084c36","datavalue":{"value":"suffix of a trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$1E1ECFF2-6381-4DDD-AB74-6C6FAB2961A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8244923b6d2365b7d2208bb9c9e467c2230098","datavalue":{"value":"overlap of a trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$68D31D1B-5D60-4E7C-89D0-4B65F647D6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15167c944b1085c17bcbb300e741b3e077562d3e","datavalue":{"value":"trace monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$7D071614-92E5-4A48-963A-3B295C5B7233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e490b323e0c94c11932ec2fd62c720e684cdd30","datavalue":{"value":"prefix of a trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$FD301386-8633-487A-9A52-BC5329DCB358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1af1836c065edc35e3859d48125327c83ebf3f7e","datavalue":{"value":"prefix order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$35418546-1DB1-48EB-8FA9-AFCD2059CC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$37DFBE43-F165-436E-B9BA-F104267A0AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c545c49ca19eaf7b2046075dd49bc8c5a0321a","datavalue":{"value":"prefix lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$8C80BF3F-B17C-4375-BF5F-849003AE3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa55516100e35b46f1365c624381536d4b3fda2","datavalue":{"value":"overlap lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815323$A3A51EA5-1556-4BB1-BD34-F57AF0C35A2F","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":"Q1815323$C5CB6EE6-4FC8-4D4C-8ECF-3297C5995ADF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$150487E4-7657-4A6A-862C-054501224E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$D4639514-476A-479C-863C-3782F737B366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266e74dfc49b54318e6f3c94ba097b82b39ab983","datavalue":{"value":{"entity-type":"item","numeric-id":3947146,"id":"Q3947146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$0A292AFF-0AA8-45FB-A38B-38F4BAF589FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9072695c095fec3eea150876644f1584fead59","datavalue":{"value":{"entity-type":"item","numeric-id":1824384,"id":"Q1824384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$7F7141CC-D517-480C-BE90-24FC07F1E978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442b8acc48b816c15566e7b68031aaa9d02529b6","datavalue":{"value":{"entity-type":"item","numeric-id":3793747,"id":"Q3793747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$DF3326E5-B330-4F32-9DE3-84B375BE5B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$C002D986-62B0-43C5-AB05-AD9EC51D2F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$5C19E489-9860-44CF-BA07-D4FBB7B79F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$5E889B29-D527-4B5E-8BE1-AE9DB8FAD25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$48AF5CBC-F96D-486A-B85E-8D427ED964A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f6dd4e1ea737a9130156aba706931d65d824e0","datavalue":{"value":{"entity-type":"item","numeric-id":5590082,"id":"Q5590082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$5B854135-2036-49AB-B12E-194975992746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4b161773f1e9dee8773129f8a4840a7ed2e97b","datavalue":{"value":{"entity-type":"item","numeric-id":1084189,"id":"Q1084189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$76B581A6-6877-4E24-9D6A-1473C7F33312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4d7e29ba2b4c57e06f2df96f8c5388c15d9410","datavalue":{"value":{"entity-type":"item","numeric-id":1184996,"id":"Q1184996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$4A409B0D-4620-466C-B21A-CDC447F70809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$3B533C02-829F-49FC-BCC7-DB0E647D7D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$2CDCDCFE-5DE0-4BAB-BFF2-6E6DD16690A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26fef94876ac38f97739e2d1f37d4650d054d5a5","datavalue":{"value":{"entity-type":"item","numeric-id":2640345,"id":"Q2640345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$F1D9D65C-FF09-4936-9B20-ADFA51DA4A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$9B6739E0-5FE2-4099-82FB-5DCC5F45FFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4882aab3f5763a57154468372c56e809350f14d5","datavalue":{"value":{"entity-type":"item","numeric-id":3698316,"id":"Q3698316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$B4352F50-B21D-496B-AC70-6DC85950698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4913a814bba59e2f5e0901fb4d6171004e3224e9","datavalue":{"value":{"entity-type":"item","numeric-id":2639969,"id":"Q2639969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815323$4121C53E-5C82-40C1-ABDC-F3DA0AFA808E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c711795cab2d75b5eae39c3a8e2bf89aba6b9d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2639969,"id":"Q2639969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3f0ab87162c6a32b00e217f06f53d70c9b293b","datavalue":{"value":{"amount":"+0.8503916263580322","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":"Q1815323$5A4D7E94-B953-4396-9FA5-ADB84B41AFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f19e06cacc5c796e8214b0d69c54c45b4c5648","datavalue":{"value":{"entity-type":"item","numeric-id":4007855,"id":"Q4007855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abece8d36c7ec610a98a61649021075757686430","datavalue":{"value":{"amount":"+0.7701339721679688","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":"Q1815323$1BAEDEEE-4A62-4556-9A43-14B4A80B6B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076d41287a700c6ce074537f031b55cbe0c90e69","datavalue":{"value":{"entity-type":"item","numeric-id":1568667,"id":"Q1568667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0489009a86bbbc348ebe2ddfef9b6443ba6a504","datavalue":{"value":{"amount":"+0.7698175311088562","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":"Q1815323$6822DA3C-C382-4931-A74E-86DB0CBE71B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a599109430a8cd70187866a200a9a45516e84a","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286502009550ee41e36105c5e5f37a251573676e","datavalue":{"value":{"amount":"+0.7606427073478699","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":"Q1815323$B4AA22A1-3F6F-41C0-91C9-8B26BCE528AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63fe2e0ba6870c1f18763679bacbe5896a64285","datavalue":{"value":{"entity-type":"item","numeric-id":1097040,"id":"Q1097040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ccea917cf21b332be03c97bac61f7fed0e233ca","datavalue":{"value":{"amount":"+0.7567754983901978","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":"Q1815323$1401D4C4-EB35-42E1-B164-D333EB1111FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The lattices of prefixes and overlaps of traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_lattices_of_prefixes_and_overlaps_of_traces"}}}}}