{"entities":{"Q2480767":{"pageid":2491510,"ns":120,"title":"Item:Q2480767","lastrevid":50326295,"modified":"2026-01-13T20:10:07Z","type":"item","id":"Q2480767","labels":{"en":{"language":"en","value":"Defect theorems with compatibility relations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5258581"}},"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":"Q2480767$399858A9-E8A5-406C-8321-89C41B54A870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a538ad84be9b6d70b531d69f5e85d476fec32dd6","datavalue":{"value":{"text":"Defect theorems with compatibility relations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2480767$3CB2476C-6015-430C-BB62-D1D83AA0B987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"895afb309264faa992d988dc113e013776f701cf","datavalue":{"value":"1146.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$81EFDF46-0A52-47CA-BCC1-92A911F964DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d83211de22bb9037eb8bb17627d49ead9fa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$A2A31848-F13B-443F-8FC5-B08FA46C7460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$02409681-D4C4-4C93-A540-F4A4B9BB2C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b25c498b86185431cfc7c548b69f522a0c1d4a8","datavalue":{"value":{"entity-type":"item","numeric-id":625365,"id":"Q625365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$981D0E57-9508-44F2-8CC5-8E3E714BA762","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$2D850AFF-3E28-47EC-B322-317BB79FB5F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75beb6032318b2d8517c0143c6afc0207210466c","datavalue":{"value":{"time":"+2008-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2480767$F9D8414C-76BD-4ABB-B8C5-2F8D0437F747","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ffdad4aaa105911dd0f9fac81ae41080130bc4e","datavalue":{"value":"The well known `defect theorem' of words states that if a set of \\(n\\) words in the free semigroup \\(A^+\\) generated by the letters of an alphabet \\(A\\) satisfies a nontrivial relation, then these words can be expressed simultaneously as products of at most \\(n-1\\) words. Putting restrictions on the \\(n-1\\) words give variants of the defect theorem.   Another formulation of the defect theorem is the following: Let \\(X\\subseteq A^+\\) be a finite set of words and let \\(B\\) be the base of the `free hull' of \\(X\\), that is, the smallest free semigroup containing \\(X\\). Then \\(|B|\\leq|X|\\) (where \\(|B|,|X|\\) denote the cardinalities of \\(B,X\\) respectively), and \\(|B|=|X|\\) if and only if \\(X\\) is a code.   In this paper, the authors study defect theorems with `word relations' \\(R\\subseteq A^+\\times A^+\\). More specifically, they generalize the above mentioned concepts with respect to these relations \\(R\\), which are reflexive and symmetric relations induced by their restrictions on the letters of \\(A\\). These word relations were introduced by the authors in order to generalize the notion of `partial word'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$56FFAC4D-CE4D-400A-9E23-2DD4EFC6E6C4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f9e311a53969bed982204d1446a9d77dda26ac9","datavalue":{"value":{"entity-type":"item","numeric-id":591667,"id":"Q591667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$CC1D8853-D6EF-48F5-BF93-08189408AB62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$E80A98AC-20B6-42E4-96FE-E6084426C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$8A579EC5-F328-4E17-B4C6-1799AA246C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$9280198B-5CA1-4CE5-98DE-576E2ABBD12F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"895ad92aaa6a0060c22da10b4e283017bd988e8a","datavalue":{"value":"5258581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$D449B333-6187-4751-8843-19FDBA9118EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b795c66f6f85aebd5f365b15185dfeb21dc9a066","datavalue":{"value":"unique factorizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$929859BA-10EB-49E3-9440-85B21392E4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$4A8120B4-9894-4DDA-BC98-7995176A1CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$18CA6BE3-FBD3-4816-8FF9-3194DE235643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2693ecc2462ed64b2275f8356d9cc530297278ee","datavalue":{"value":"compatibility relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$58C58F5A-2C2C-44C9-B593-3BA8269C2F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff95c445e55626dcc74369433626544e860c49a","datavalue":{"value":"defect theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$3A876D31-3F7F-4BD7-AFC0-D2EA321BADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665bb6b521670920ffccf875b8511ad8132838e1","datavalue":{"value":"partial words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480767$F8435013-2BAC-4460-8571-0B7DE1DE4BCA","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":"Q2480767$506B2457-3303-4018-8716-FE09CE20BE96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cbef2e1490227ab967d1d9f538efd1929b78702","datavalue":{"value":"https://doi.org/10.1007/s00233-007-9013-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2480767$F0B04B50-332E-4D9B-9411-BEEF2E763417","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1a77921cd4244d02bdb9ae1875bf397bd02a2a1","datavalue":{"value":"W2172068214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$C6B2FA83-01B2-482A-A9B9-F05A44921678","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbea9efe49a8fa4b049b0379279b0f54f9349ea","datavalue":{"value":{"entity-type":"item","numeric-id":1292487,"id":"Q1292487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$D7C51DE5-5FA4-4C63-8BC7-A32D952A7ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcebe3e5e589b59809b54b4843b39a94cae5f60","datavalue":{"value":{"entity-type":"item","numeric-id":3714479,"id":"Q3714479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$437852A1-CA2B-4EAB-AA8E-E093D35C4935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40691ce6cf0d5bcb9135bc062b62084b420222b","datavalue":{"value":{"entity-type":"item","numeric-id":1132974,"id":"Q1132974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$E5BE6C44-1D0E-4DB9-8560-4A92A80D9E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c8ae9cd4390bb6d3ecffc543926b11eb3706bf","datavalue":{"value":{"entity-type":"item","numeric-id":597324,"id":"Q597324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$C1FFD3C8-CB3F-4E91-A799-4491B00AFBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6522bf33b610efb1d858ea83646cc8fe81a98541","datavalue":{"value":{"entity-type":"item","numeric-id":1433084,"id":"Q1433084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$D948E123-A976-4EA8-B7F7-046A9735795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21eda383acd96e56d781b5c791d609fab6693b26","datavalue":{"value":{"entity-type":"item","numeric-id":706621,"id":"Q706621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$4DBB5BA8-EF37-4E70-A37A-F212996B7447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546c7b5a08c289a4bbcda48871e944f7682c16e5","datavalue":{"value":{"entity-type":"item","numeric-id":2486065,"id":"Q2486065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$02B2C0E8-B556-4443-9DFD-1708AA38235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63505b9235b79cc9f8e69b3405507fe71a2cca32","datavalue":{"value":{"entity-type":"item","numeric-id":1884922,"id":"Q1884922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$EF7042F2-8148-4106-88FC-C25A8C3178F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e53ab7f50a4c3f806100cacd51a917540be4370","datavalue":{"value":{"entity-type":"item","numeric-id":1770435,"id":"Q1770435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$64ED7E87-0143-4976-9903-8EDD88A88AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bbc326178cc09a150cac941ba53292c18929a6","datavalue":{"value":{"entity-type":"item","numeric-id":5958314,"id":"Q5958314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$4AFC41B5-61D4-4435-8832-5F51A80B7EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908caeb85d0f3b508cee1a58037c14b7aad25828","datavalue":{"value":{"entity-type":"item","numeric-id":1853530,"id":"Q1853530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$F4802F26-5424-4FA8-8790-B39EDFE8C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9620843b69c16d33c83a056b1e6f656109dde21","datavalue":{"value":{"entity-type":"item","numeric-id":1258182,"id":"Q1258182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$AC6DD409-C2BB-4D24-8A9B-ED46325CA94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06895b14459d2e723f7f5029749bea1d5c4f45a8","datavalue":{"value":{"entity-type":"item","numeric-id":2465641,"id":"Q2465641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$F4CAD80C-A170-4DFD-A050-4F9D920FFA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e412402130bb1d21ab9c815acd4a8060175b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1882912,"id":"Q1882912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$66F74610-2A66-44B4-AD7E-069C57E85F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed744cfba73a5bc2a59c676ffc0283ff22e29bd","datavalue":{"value":{"entity-type":"item","numeric-id":5494358,"id":"Q5494358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$88E3E391-F589-451F-8261-6588FE3A98DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098a7faa970ff2d4323b33b1c6b8207ed7f7fd84","datavalue":{"value":{"entity-type":"item","numeric-id":4131049,"id":"Q4131049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$7735DE56-1193-4FE8-B752-B8255388759F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f5af8729211d8e2f4f395527d6d0629a74473d","datavalue":{"value":{"entity-type":"item","numeric-id":4674640,"id":"Q4674640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$B67C18E6-6973-4D35-AD1F-C547AAAEAB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99882e31fb2d4778186509bdad417b70d98a7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4779181,"id":"Q4779181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$1C4B3B62-23D4-4089-B9D6-CCFDE57889AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7409649570527d50de178271561cacf96799b4","datavalue":{"value":{"entity-type":"item","numeric-id":1160756,"id":"Q1160756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$CB109883-9154-4364-BA6F-913F6A994693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bb846580a1f500aa6012f05269959aa558487d","datavalue":{"value":{"entity-type":"item","numeric-id":2560496,"id":"Q2560496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480767$3509B8A1-BF17-4483-ABF4-C691FDCE0806","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"303b06395f58f1f0ba78811ab71269a7af5d2073","datavalue":{"value":"10.1007/S00233-007-9013-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480767$E4BD9CC5-CD24-418D-A0EC-75EAA1BD53C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac0af4fe3b0806ad98f658be328396095ba31e8","datavalue":{"value":{"entity-type":"item","numeric-id":1090421,"id":"Q1090421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b8e201a1d309533fac0a5724523020d5164f97","datavalue":{"value":{"amount":"+0.8237824440002441","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":"Q2480767$3830D00A-098E-4B8C-B59E-0FA7174C4B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73872c59c94bd79df25a541a8743a2f234ae82c6","datavalue":{"value":{"entity-type":"item","numeric-id":3526416,"id":"Q3526416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f21b04a761b7926def1dc04a9ba72a54af6309","datavalue":{"value":{"amount":"+0.8173892498016357","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":"Q2480767$A947A073-4667-4EDC-A888-D3B1580E7BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0452ddcea0daad78b3db40aaad512a8d9bd734ce","datavalue":{"value":{"entity-type":"item","numeric-id":1882912,"id":"Q1882912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f85f603f045e684f2bfe5d251c4e0338e79e27","datavalue":{"value":{"amount":"+0.752377986907959","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":"Q2480767$0F1A2B1F-4372-4BB4-A90F-495F6B7DFD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266f0389a74de59eb3b769f88d39befa5302524e","datavalue":{"value":{"entity-type":"item","numeric-id":4218145,"id":"Q4218145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a73dae3602dd1d255383ac0a66455fba0737b63","datavalue":{"value":{"amount":"+0.7456340193748474","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":"Q2480767$F0EE1894-BFA2-4AEB-8379-B2BB93B6A1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a753b103690c757fbdfeb347a1f5c92989e93c8","datavalue":{"value":{"entity-type":"item","numeric-id":1853742,"id":"Q1853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82082889944058b1fdc6291e55056d1d7291c8cf","datavalue":{"value":{"amount":"+0.7324264049530029","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":"Q2480767$9F391F74-05DB-4A76-9A0E-414F5348136D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2480767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2480767"}}}}}