{"entities":{"Q5932481":{"pageid":8109283,"ns":120,"title":"Item:Q5932481","lastrevid":41916986,"modified":"2025-05-15T14:56:24Z","type":"item","id":"Q5932481","labels":{"en":{"language":"en","value":"Subtraces and shadow chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602887"}},"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":"Q5932481$1F89FE01-FF10-450C-9199-4C52EFDE2BD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeee3ee5b33fcb6b50b18241ba8664cf1ccbfa68","datavalue":{"value":{"text":"Subtraces and shadow chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932481$F901DA17-3212-4BD5-8A49-1831DD9B2B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f51b1178c0327c4e4b4ef806d25897bd104b5909","datavalue":{"value":"0966.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$BB8B0BA0-2917-473D-9D45-4B7F09D084F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932481$A2CE87B3-8F5D-44C3-AAD3-DB013258E8FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932481$612B0271-19EB-4974-9DA5-9C429113679C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f35e1fecbcfcb52cf5aed0a119961cef8017910","datavalue":{"value":"For types, the following partial order is considered: \\(1<2<3\\) and \\(1<5<4<3\\) (where 2 and 5 or 2 and 4 are incomparable).   Theorem. Let \\(B\\) be a finite algebra in a variety \\(\\mathcal V\\) and suppose that type \\(\\{ S(B)\\}\\) omits all types strictly less than a given type \\(i\\). Then \\(i\\in \\text{typ}(B)\\) implies that \\(i\\) belongs to types of the free algebra of \\(\\mathcal V\\) with two free generators.   As a corollary the author obtains an answer to a question posed by R. N. McKenzie: Let \\({\\mathcal V}(A)\\) be the variety generated by the finite algebra \\(\\mathcal A\\). If \\({\\mathcal V}(A)\\) omits 1 from its typeset, then it is decidable if 5 occurs in type \\(\\{ {\\mathcal V} (A)\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932481$3825FD70-2678-468D-BE12-B9A2B03CF74A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932481$824DE895-4CAA-48FF-A29F-467E4652EF0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$E6A3A4D5-BDCC-4A51-9E20-C2CE657CCBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$9E510533-98E7-4177-94FC-D764C713E953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$AFDB2F0B-3BAF-4769-8DCA-A6797341786A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33362e9fb22261bcc6ad9f45eddc18267c797597","datavalue":{"value":"1602887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$A08C82A0-6F2B-431C-B380-610F71DFDFD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5876c0104ab3a3f0a30993b375eb30c8538ed2a","datavalue":{"value":"tame congruence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932481$C0B916DE-F19A-476E-88E7-3E7A4DF6D5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df5b9d71b1efe9040fb24178821467bc08ef42a","datavalue":{"value":"subtrace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932481$37EE3657-81DB-45C6-82FB-975E0EB289B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9282808866368f2e89958ebd21e179cff2ddcbc4","datavalue":{"value":"shadow chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932481$8326306D-0235-4AEF-B110-3054E81A666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932481$D02B097C-B4A6-4715-9821-586D6905700C","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":"Q5932481$36EC6391-A4A5-418B-A6DD-FC137CC1FC87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94ef35a2058bacc35d20baa563d712aa6cb05f2b","datavalue":{"value":"https://doi.org/10.1007/s000120050113","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932481$D89B6CC0-9987-4E2E-A5A1-1E5079D6CA2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"834251a60a335221057845ffaffd4450ad321c63","datavalue":{"value":"W1990716432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$B3F36F02-4AA0-410C-B809-2EA1B02CDD95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348a6f8cc84801eef7f6578f2944535440371483","datavalue":{"value":"10.1007/S000120050113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932481$72780AA9-9763-487A-8F57-39B8E81F5963","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fedc999169cd2c4dda4231713b5384084abf0e","datavalue":{"value":{"entity-type":"item","numeric-id":1063631,"id":"Q1063631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dda896309a8159bbc8ba99d99400275146e275","datavalue":{"value":{"amount":"+0.8374657","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":"Q5932481$4209531C-8F3D-4CCC-9330-4B43BA7E0EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaede895f9f2148ba6501b27d1ddf4ae32d9f9a7","datavalue":{"value":{"entity-type":"item","numeric-id":2895519,"id":"Q2895519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5ef54a3e7fffc5d2833c95bbaad6066fb42fe2","datavalue":{"value":{"amount":"+0.8339491","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":"Q5932481$0BA7DE15-41FD-4851-A65B-EAED7EDCE0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c48d9766e3f680738163f181664a3def5c6bb22","datavalue":{"value":{"entity-type":"item","numeric-id":960901,"id":"Q960901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73db843fc4b77e72a4d9ff1abbb22d0d0669858","datavalue":{"value":{"amount":"+0.833441","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":"Q5932481$8CCB700C-818E-4B60-AB33-8B636F677939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e471e365122f7361515709ce071f80295893b7e5","datavalue":{"value":{"entity-type":"item","numeric-id":837626,"id":"Q837626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801b4737a2b599b6d89a41c0a7a8348cd8943175","datavalue":{"value":{"amount":"+0.8256695","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":"Q5932481$0406B1C7-6B83-40A6-B8BF-7AF21CE089FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2463f6eca1fb4037230bce8dc907460f9dbae88","datavalue":{"value":{"entity-type":"item","numeric-id":4725348,"id":"Q4725348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58bf2d9a6a538b2fa0571959cfe30946b86d013","datavalue":{"value":{"amount":"+0.8211508","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":"Q5932481$F2821C17-AB9F-4BAD-A872-4C33C498AF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c5b4659dd5ba7a01729c04eab0eded0bdc927e","datavalue":{"value":{"entity-type":"item","numeric-id":3192315,"id":"Q3192315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e3c189ffeb35a078eed23b7aef74a9a0fa593b","datavalue":{"value":{"amount":"+0.8207849","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":"Q5932481$F81CFA8C-1355-4BD1-9336-83A164E06A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659cd8abe1b4cc408b921e591fbfdb7725e01070","datavalue":{"value":{"entity-type":"item","numeric-id":1811949,"id":"Q1811949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c5a28ad6a0459bb5d1fcbe2cfdec54173f1001","datavalue":{"value":{"amount":"+0.8167039","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":"Q5932481$E36ED8F3-29F9-41DF-A981-1DE9C645BBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaf3fd5420ad26e5c4a4989e19f600301472f36","datavalue":{"value":{"entity-type":"item","numeric-id":2689402,"id":"Q2689402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acdb3516e2808cff9a99ece34e208aa94bf7d59","datavalue":{"value":{"amount":"+0.8146713","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":"Q5932481$AFDCEF35-7E7B-4D40-9FC6-336519340AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38f51bab1208320f02520ec6441ce782226b392","datavalue":{"value":{"entity-type":"item","numeric-id":2014292,"id":"Q2014292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c952d70cd0a4f6f43503cd3d5ee7cd35556bbad","datavalue":{"value":{"amount":"+0.81139785","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":"Q5932481$186B14AB-794C-4A34-A5A1-AFCC19A1D57F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be00d8450c226abf794cec4324e220de9119a15e","datavalue":{"value":{"entity-type":"item","numeric-id":6768465,"id":"Q6768465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932481$B7D75989-312D-4D0D-B792-A6B89D5BE505","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932481"}}}}}