{"entities":{"Q1297486":{"pageid":1308236,"ns":120,"title":"Item:Q1297486","lastrevid":43014919,"modified":"2025-07-16T21:56:42Z","type":"item","id":"Q1297486","labels":{"en":{"language":"en","value":"Determinants and M\u00f6bius functions in trace monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1321849"}},"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":"Q1297486$A1A835DA-B2E8-4FD8-8ABB-F3A730F3D113","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1c98cda0ec6c4f00e9893253e0ee5ba5fa92962","datavalue":{"value":{"text":"Determinants and M\u00f6bius functions in trace monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1297486$76F1C04C-D7A7-4B44-AB33-DC3D44A64BEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51f5fdd2644cef90e5643770d129502d27277329","datavalue":{"value":"0929.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297486$AD45CA84-A25F-4974-87A1-0616350F1E5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a637696335b2fdc0e316956864a4e9b17d5d925","datavalue":{"value":"10.1016/S0012-365X(98)00211-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297486$DB8593BB-8E6D-4356-B74E-1825F9EF1A18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$397E58B8-B756-4C14-B909-A72E3FE23E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"224a23009a193bc3927d2cbe6ef26b7ecad1c0b0","datavalue":{"value":{"entity-type":"item","numeric-id":288797,"id":"Q288797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$1F1D0080-77B4-4EEB-9011-B296CE4D20A2","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":"Q1297486$8CB7E0AC-2E42-42F6-81ED-FC5F5AE7EF77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1081f2c181713e358c5c3427f8dc3ab65306c7","datavalue":{"value":{"time":"+2000-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1297486$EC39AB00-CC76-49BF-A2C2-E1B50F85F31E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa86c85ee899b6552c0e35a7925b8bbed817160e","datavalue":{"value":"Let \\(\\Sigma\\) be a finite alphabet, let \\(I\\subset\\Sigma\\times\\Sigma\\) be a symmetric and irreflexive relation on \\(\\Sigma\\), and let \\(R\\) be the smallest congruence that extends the set of equations \\(\\{ab=ba;\\;(a,b)\\in I\\}\\). The quotient \\(\\Sigma^*/R\\) is called a trace monoid. The M\u00f6bius function of \\(\\Sigma^*/R\\) is defined by (\\(\\varepsilon\\) being the empty word)  \\[ \\begin{cases}\\mu(\\varepsilon)=1\\\\ \\mu(a_1\\cdots a_n)=(-1)^n\\quad &\\text{if }a_i\\in\\Sigma,\\text{ all the }a_i\\text{'s are different and }\\forall i,j\\;i\\neq j\\Rightarrow(a_i,a_j)\\in I\\\\ \\mu(t)=0\\quad &\\text{otherwise}.\\end{cases} \\]  The authors prove in particular that, if the independence relation of a trace monoid \\(M\\) admits a transitive orientation, then any unambigous lifting of the M\u00f6bius function of \\(M\\) is the determinant of a matrix defined by the smallest acceptor of the corresponding cross-section.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$5D2C3D40-FDB4-48A6-93E0-E0FD8B6DDFA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297486$3557296B-104F-4595-8BE6-F6E425665F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f35883713e23ca3f0ced48b60a92f4891f4d526","datavalue":{"value":"15A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297486$8E8450E5-D614-4116-A198-BE6DF2A8E0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297486$B50CCB1A-929F-4696-91E6-0E139725AE64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f6a2c69be92216ad37f784c5e0aeb6e2b0f93fd","datavalue":{"value":"1321849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297486$A021F952-7CC8-4F2F-AE16-546C1D2D6F32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5737c22d4c595f9590f48d93964944052524d75f","datavalue":{"value":"rational formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$0ECED396-4470-427E-AC8D-318B37BD9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa52a204ebfbe14700e05b3550c8548737099750","datavalue":{"value":"finite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$AC32AF65-F8A8-4068-AEA6-A48B9369E0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$E3DB799B-19A5-4D60-9E67-1125D314A44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6f65fcb51040e209d2d7c2c33fc4458d3b46a8f","datavalue":{"value":"trace monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$186038F1-0162-455B-B90B-1AACFE2CC02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c00c376b18acb3f71935c4e597375155d26f7bb3","datavalue":{"value":"M\u00f6bius functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$E976A936-12C4-4158-AFAB-A970CDE78068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe3aa1dd792f63a90fcbca98749251b7199c487","datavalue":{"value":"determinants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297486$A298B219-6608-4581-A4EB-5804865C7FB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"845abdf0c3e7df8eeaf94dc258fde16321cf5952","datavalue":{"value":{"entity-type":"item","numeric-id":187638,"id":"Q187638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$A7EAA5FC-0C93-4DE4-BBB5-B0FE2233A484","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":"Q1297486$12F7131B-50C3-4CBF-B41C-54E7DBD0103B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$96E12DEA-30F7-445F-9F0E-416A16865CAC","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":"Q1297486$BF458412-C44F-4712-BF33-9B35F121A6C2","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":"Q1297486$6A9B4F3B-174B-4462-A635-6453E22AB3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d54b64b7f0b1105526a52223cf7a718e12ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":3489462,"id":"Q3489462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$D95B8236-1EEB-4F42-AD30-30C1C56EFB8F","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":"Q1297486$868AC549-52D5-4535-86ED-FD481CADDCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d12712781a4a77248b970a4306b368f8561808","datavalue":{"value":{"entity-type":"item","numeric-id":685454,"id":"Q685454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$42E5FDF8-163D-43A1-BB4E-CCA68448B47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297486$E6ED2DB8-66E8-4ACF-AFEA-595B5C3EB164","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":"Q1297486$C0F8FA40-16DA-498D-BA13-1E1D926C6AB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b249865100006fca92cc2d835368ad9b7f548449","datavalue":{"value":{"entity-type":"item","numeric-id":3798889,"id":"Q3798889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0f8ed60f1cc9128a2355d8fd85488d23f0b7d1","datavalue":{"value":{"amount":"+0.914411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$E889E316-2C2B-44DE-827D-81427E72046D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df777c47e16e7807df518f00566ff48f2ffda12c","datavalue":{"value":{"entity-type":"item","numeric-id":4007920,"id":"Q4007920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a90b7eda32a6aa76959d0f527f78b9c6e6eef9","datavalue":{"value":{"amount":"+0.90036637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$3C619061-49EC-4823-9EB7-21ADB29AE4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35174087b46e8c29d6322131801dfcccbba22c39","datavalue":{"value":{"entity-type":"item","numeric-id":584429,"id":"Q584429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4783b04f3f83d8dfd688eb69520397e6900eb6da","datavalue":{"value":{"amount":"+0.8930172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$8651BEB8-EF46-43B3-9961-1A38EABB2BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d6c14c8fc9c607a4cd49d555c2b1d060b90669","datavalue":{"value":{"entity-type":"item","numeric-id":1904125,"id":"Q1904125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96d9ba8fa2a6e296ba80a51e5768b9bb66c4997","datavalue":{"value":{"amount":"+0.88118905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$13D25D50-5280-4A5F-A158-8D1C733CAAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a11706bb9e31aea095dcaf8d46f4c224519fe1e","datavalue":{"value":{"entity-type":"item","numeric-id":2813633,"id":"Q2813633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4afc82e02f30dd8cb6f1ad8b0ccb54108689f9ef","datavalue":{"value":{"amount":"+0.8768985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$BB73B8FF-4AB8-4BED-9E80-5D645E4EEA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f596e9e698f25ef485bfe504464cb36ae97b2","datavalue":{"value":{"entity-type":"item","numeric-id":5408917,"id":"Q5408917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2b3cd4a161541a32c08b9f0943ec276a6f256e","datavalue":{"value":{"amount":"+0.87617815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$434F7891-531F-46B9-9575-E13B96F34B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0818d5ee449955ecf61043fffbd93e06099913ef","datavalue":{"value":{"entity-type":"item","numeric-id":1426045,"id":"Q1426045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4ec5cb4758be9149f0bb1c2ece0393e5e524e8","datavalue":{"value":{"amount":"+0.8751631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$61C1DE89-5ED0-40F5-9899-A8860825CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dabdf2b3bd70b015e1f88a77002f454ddf239a6","datavalue":{"value":{"entity-type":"item","numeric-id":4978105,"id":"Q4978105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbeb702aecc2411c883c3f6ed5501d21422713cf","datavalue":{"value":{"amount":"+0.87454665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$9B06A2AA-833F-485B-B5B9-FAAC5393FA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9767dd43a2128bf12cfac11d5daa29acf46a192","datavalue":{"value":{"entity-type":"item","numeric-id":2991419,"id":"Q2991419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6aef0f67f12bff90c178ba91c9ef732899da1c","datavalue":{"value":{"amount":"+0.8717956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$6955DB69-DA56-429B-9D8D-6D25EB46F42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6b6390a09f86e204983031cb4b5ea21ea44f54","datavalue":{"value":{"entity-type":"item","numeric-id":1104388,"id":"Q1104388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31849b60a31e9a4626488fe43713948e4cdf7d99","datavalue":{"value":{"amount":"+0.86982006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1297486$6D87F167-1E70-4B3A-8707-FCB37E84FC8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1297486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1297486"}}}}}