{"entities":{"Q1047110":{"pageid":1048958,"ns":120,"title":"Item:Q1047110","lastrevid":66941058,"modified":"2026-04-12T13:52:45Z","type":"item","id":"Q1047110","labels":{"en":{"language":"en","value":"Essential variables and positions in terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652295"}},"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":"Q1047110$BC2DC0AE-02C8-4675-9ED2-029F99EA398C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942ab77957a4628dcd65e33056150d261c3e3332","datavalue":{"value":{"text":"Essential variables and positions in terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047110$1A67EB96-6337-4E5F-8D90-12253B529C06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ba30fa142000d024e5faf7d7b2457243da79467","datavalue":{"value":"1197.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$9330E805-406C-469E-91C8-6A8CE58128AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"521db471eac98d2f8f52ebf056a586e720e7b58a","datavalue":{"value":{"entity-type":"item","numeric-id":1047109,"id":"Q1047109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$3261C117-1E3C-4FA2-99EA-CB58A3FA5154","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":"Q1047110$40C95837-FCDF-40D8-9B78-937DDEC513D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047110$E9A6A063-629A-40B0-BF90-783917A982CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02c4ebcf86438764d0444a31fb27b0ab9cb5ac50","datavalue":{"value":"https://arxiv.org/abs/0802.2385","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047110$C6B3B92E-0B7C-410D-B08F-C7A195BAC21B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d343dad9be8494991efa11ecb4f7368b94a8c01","datavalue":{"value":"Let \\(\\Sigma\\) be a set of identities of a given type \\(\\tau\\). A \\(D\\)-closure of \\(\\Sigma\\) is defined as the smallest set \\(D(\\Sigma)\\) containing \\(\\Sigma\\) and satisfying five ``deductive rules''. By [\\textit{S. Burris} and \\textit{H. P. Sankappanavar}, A course in universal algebra. Millennium edition. \\url{http://www.math.uwaterloo.ca/~snburris/htdocs/ualg} (2000)], \\(\\Sigma\\models t\\approx s\\) if and only if \\(t\\approx s\\in D(\\Sigma)\\), and \\(D(\\Sigma)\\) is a fully invariant congruence. The author investigates properties equivalent to some deductive rules in which notions of essential variables and positions are applied. If \\(\\Sigma\\) satisfies ``deductive rules'' together with ``\\(\\Sigma\\) replacement'', but without ``term positional replacement'', then \\(\\Sigma\\) is called \\(\\Sigma R\\)-deductively closed. The \\(\\Sigma R\\)-closure of \\(\\Sigma\\) is defined naturally. One of the main results is the completeness theorem for \\(\\Sigma R\\)-equational logic. Further, it is shown that the closure \\(\\Sigma R(\\Sigma)\\) is a fully invariant congruence, but in general \\(\\Sigma R(\\Sigma)\\neq D(\\Sigma)\\). In the last part, \\(\\Sigma\\)-balanced identities are studied and the following theorem is proved: Let \\(\\Sigma\\subset\\) Id\\((\\tau)\\) be a set of \\(\\Sigma\\)-balanced identities. If there is a \\(\\Sigma R\\)-deduction of \\(t\\approx s\\) with \\(\\Sigma\\)-balanced identities then \\(t\\approx s\\) is a \\(\\Sigma\\)-balanced identity of type \\(\\tau\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047110$A18E4FDA-421C-4B6F-8FC8-B021F387833F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$7E734775-3858-4FC9-9AC3-1AF223E726CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$C092BEBB-C82A-479E-9112-FA7593C905AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$E64DEE7E-B486-4F6B-A383-B6626AA28083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$3729C208-43E6-477A-BBBB-7E3F57A937CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e17bcfce4a26d89b223f127087fa9848020f645b","datavalue":{"value":"5652295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$4B5E9B7A-3282-4370-9EBA-9B5603F5A7A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"349ad3914da70e27aef2d9a33535b16ad2ca99aa","datavalue":{"value":"composition of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047110$CF8184F9-E7B4-41D2-B740-734FAC6A4150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2018b47755ae137fe2ebe1bc634b7a841e5f9436","datavalue":{"value":"essential position in a term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047110$D3FB950C-3C73-4A21-82F6-04C3EA11EAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b13a8c2d0159661e7eeca0580665830ea39570de","datavalue":{"value":"globally invariant congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047110$1C627E26-DD21-4013-AA50-83AACFF81E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f705353b9bb2b5c9dce62148cf499f05e04ea4e","datavalue":{"value":"stable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047110$2E7EBF8B-4D3B-471E-BCE3-FB6198F8B140","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$4593C1CE-282B-4DDB-AB10-3F8DA09EC21F","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":"Q1047110$BF19AD1D-CAE7-4DBD-A733-48D46DB0A0EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35022e7d8bb6a5a1d68241926186fff57a25bdd2","datavalue":{"value":"W2020090618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$139C4F98-68D5-4855-98A1-2021DFA3DD9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$72F2D6A4-3DFC-4EF4-AE3F-EED559409B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b26b6b1493b10210bba756c77ffd1dc34bd17b9","datavalue":{"value":{"entity-type":"item","numeric-id":5493862,"id":"Q5493862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$5B17E145-F073-421F-BD5B-8D2EB8FAD9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29baa78730d271eab054dfa6f1d90dc7db61b3c4","datavalue":{"value":{"entity-type":"item","numeric-id":3140278,"id":"Q3140278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$6967AD41-A2EF-4E85-860A-4EFAA4C08926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c05c382193da540c81ce33ba0c8a63d5754b361","datavalue":{"value":{"entity-type":"item","numeric-id":4804664,"id":"Q4804664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$C20A59F8-BC4C-4874-84F9-315E4DCF4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43645a68f02a761842016cdd513e67366168a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1167196,"id":"Q1167196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047110$F4DE8E53-A8D3-46A6-8F15-E80402E3FA83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa06ee6d51c99df47f0ca8e4b443f813f45761d7","datavalue":{"value":"10.1007/S00012-009-0023-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047110$F9933164-46F7-48DF-B3A9-C416B8CF56CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7beda2ebce5ca1103335564377f649116e9138bd","datavalue":{"value":{"entity-type":"item","numeric-id":3369856,"id":"Q3369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514ab41c267c8a41e3c14632059a11f8b5bc0b7f","datavalue":{"value":{"amount":"+0.7026686668395996","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":"Q1047110$5C5D3846-5D38-4052-AE7C-D5EE6A22015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d716b0c6c5c8c68b693031f7318e6f29520a7304","datavalue":{"value":{"entity-type":"item","numeric-id":4804664,"id":"Q4804664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a230a955e3cf46610c0d22cc0e9da56baf535ef2","datavalue":{"value":{"amount":"+0.690906286239624","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":"Q1047110$58AE940F-F511-4106-82FA-17A76705F27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab2853e0ce66e490a132507f7dae9a36863f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":2634709,"id":"Q2634709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fab01daddee45a2065a5c8b50f7c4faef9a2567","datavalue":{"value":{"amount":"+0.6830610036849976","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":"Q1047110$22C46476-7EBC-4166-9E26-FEB3EFAABC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae626493d6c2286706aabf5e3bcda2ab7a60c03f","datavalue":{"value":{"entity-type":"item","numeric-id":4395659,"id":"Q4395659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3062a84e8b644e8e1597b802fb7ba724e7f4f8a1","datavalue":{"value":{"amount":"+0.6779184937477112","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":"Q1047110$FD7C2971-A0C8-42B1-AD9E-A4BDF44E50E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72120840cadd21d25762420f937029ae089c1999","datavalue":{"value":{"entity-type":"item","numeric-id":1864336,"id":"Q1864336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15a652ed58518ee6a10d1f72b98eea17182006c","datavalue":{"value":{"amount":"+0.6697708368301392","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":"Q1047110$5394F7FA-8B39-4AA3-853B-A624F891ED60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Essential variables and positions in terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Essential_variables_and_positions_in_terms"}}}}}