{"entities":{"Q1812980":{"pageid":1823722,"ns":120,"title":"Item:Q1812980","lastrevid":69068061,"modified":"2026-04-13T04:23:10Z","type":"item","id":"Q1812980","labels":{"en":{"language":"en","value":"Quantifier elimination for infinite terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1210"}},"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":"Q1812980$3739B18D-4F94-4A87-91BA-70045A398B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f792c58433887750b491eeaaadde5816a2d9c0b","datavalue":{"value":{"text":"Quantifier elimination for infinite terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1812980$6B5828D7-0602-4632-B083-526190AD5ED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b9a252126f879286b32e04acb70ae0cab481d5d","datavalue":{"value":"0723.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812980$A1BB6C7B-187F-49C1-9952-53CC73D56095","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba1325172e590a48ed6a357b9a32996c53649efc","datavalue":{"value":"10.1007/BF01370691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812980$A9D1BDA4-9B36-4398-B536-1D5C1E187520","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07b0d47218d52e665d97cacf6e0bd1dbe3ae46c3","datavalue":{"value":{"entity-type":"item","numeric-id":1812979,"id":"Q1812979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$BAE1569A-E4D2-448D-A10D-61D386DA5100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"163bf110d90b8739447195a4b8401b7c262665b3","datavalue":{"value":{"entity-type":"item","numeric-id":793010,"id":"Q793010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$65E81CB2-510C-47DD-A379-79A97D966337","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$DDF01EB9-EDC2-47DD-87F3-633003698484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1812980$BD19F113-F06F-4591-98C3-7CC1D32A79F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a83f89db26e0f1f85857660ebeeb26c46a19005","datavalue":{"value":"We consider the theory \\({\\mathcal T}_{IT}\\) of infinite terms. The axioms for the theory \\({\\mathcal T}_{IT}\\) are analogous to the Mal'cev's axioms for the theory \\({\\mathcal T}_{FT}\\) of finite terms whose models are the locally free algebras.    Recently M. J. Maher has proved that the theory \\({\\mathcal T}_{IT}\\) in a finite non-singular signature plus the Domain Closure Axiom is complete. In this paper, a description of all the complete extensions of \\({\\mathcal T}_{IT}\\) is given and hence an effective decision procedure for \\({\\mathcal T}_{IT}\\) is obtained.    The approach considers formulas built up with syntactic terms containing pointers. Using such a technique, the analysis of the theory \\({\\mathcal T}_{IT}\\) can be carried out in analogy with Mal'cev's analysis of \\({\\mathcal T}_{FT}\\). The results follow from an effective quantifier elimination procedure for formulas with pointers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812980$88BBAFD8-8CDE-4766-B6E8-A234F67D8055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812980$A1DBF738-E141-4600-96FF-0966E92A9308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812980$E93F7EE6-90B4-4B7D-8B00-A3C46CF6FF1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b6bb3942e490429847faaf582d88de4eb65136","datavalue":{"value":"1210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812980$1B535D82-A44D-4DF4-A7D9-FF03228C44A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d287636159c53b5b03ef5394389be4b353b6d18f","datavalue":{"value":"theory of infinite terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812980$62BD242F-749E-4FE3-84F7-F3852F92FBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c91ffe5781e66ed52e754f394305068df310371","datavalue":{"value":"complete extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812980$C80E2060-6C1D-4D11-884F-8E596CEDE616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812980$8EEBE02A-F1A4-4057-A2DE-A5108B7CB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec27192cfe66900dcfb7ee8aed52142265fa7ee4","datavalue":{"value":"effective quantifier elimination procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812980$13261143-9BF0-4D02-A950-E54A6AAF0CDD","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":"Q1812980$81C761CF-1971-4F23-AFCB-10DED4BF20B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd04a6095f74278e2d0999c1de279d4efc9a63f4","datavalue":{"value":{"entity-type":"item","numeric-id":3795663,"id":"Q3795663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$6817FE99-13C9-44AF-A554-1F40FC296E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$03748E21-0762-43D4-9926-157AB6D315EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$6ACC2106-91CC-433B-BD9E-756285A379C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$0447FDCD-F51F-4DF6-B7D7-C609F44B0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$266596CF-CAAB-4EF1-9A9B-07DB7A7FAED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$1FACDA87-002F-4AA9-B1BA-9BD8EFB9B117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$2FFF21F8-8B3A-44FC-B33B-70765A8AB086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f542000c4e077350a52e77238e544af1dd6a9813","datavalue":{"value":{"entity-type":"item","numeric-id":3789103,"id":"Q3789103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$0AFC70D6-80AE-4F39-B229-73388665F817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812980$0BD834F1-5364-42E3-AFC7-B4302A5CC8F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc3557a26c741b7d5f53ab2558636aae4b90bb6b","datavalue":{"value":"https://doi.org/10.1007/bf01370691","type":"string"},"datatype":"url"},"type":"statement","id":"Q1812980$4DD1516D-674B-4BDF-A949-FCCD5078AA2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"220ff225e5fa43e8e7352263d08c786ec31cd504","datavalue":{"value":"W1964068339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812980$8B910C43-885C-4E8A-96B1-4A02F220F722","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd20811a5eba078e2b1d9c98c070aebb9ca212f0","datavalue":{"value":{"entity-type":"item","numeric-id":1295791,"id":"Q1295791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87101304402d819b1ff2d5be2857f988dcdc63eb","datavalue":{"value":{"amount":"+0.92861617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$EDE86619-9A3B-42E3-9BC1-0D12E2A909B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0d252346d5a7aa9bb072988f1ba304f808d199","datavalue":{"value":{"entity-type":"item","numeric-id":5552145,"id":"Q5552145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89af61787e7413ad7071c17e461fb7b340a45838","datavalue":{"value":{"amount":"+0.8941729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$1572D4B6-DE61-419E-A101-FB70FDBCBE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0284ba004604444b3a49f1676672888ad1d565c","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023d7978a5dba1fb24c475ab407db8a2c4f11a80","datavalue":{"value":{"amount":"+0.8714359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$9322D33C-3398-4026-A949-61E52CA7DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43019d3a877060d21dbdab697479e24f1a8f01af","datavalue":{"value":{"entity-type":"item","numeric-id":1887829,"id":"Q1887829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357cb64c41f31a1a27b9fa349b11d5efc08a91de","datavalue":{"value":{"amount":"+0.87120956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$11D08FD3-E0D4-4F99-9746-F458009D2A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41aaa57fe30511832972547fc629c35640b6da70","datavalue":{"value":{"entity-type":"item","numeric-id":5881271,"id":"Q5881271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ea4112018f49ff5d28548dbbeeb354e60e860a","datavalue":{"value":{"amount":"+0.8688257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$3641CFC6-DD11-49EA-B380-43AAB18D0420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8078124aaf87f586f663af579195c08bd2b0641","datavalue":{"value":{"entity-type":"item","numeric-id":4135500,"id":"Q4135500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca361429a2905b0cca0a9e30b0fe5f3eb471b1e6","datavalue":{"value":{"amount":"+0.86827624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$AC25A64C-617A-4E5C-B241-04517C009D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97f708c4b8c4326839d8241c45d7e4cd20ae49d","datavalue":{"value":{"entity-type":"item","numeric-id":5899321,"id":"Q5899321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c9666aa41038833f1679f8223c054a958c82e3","datavalue":{"value":{"amount":"+0.8673319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$F72AFEFD-FDC3-4F0C-B756-54914DF40483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da6d4c7d7073a9e7a8e121df85560d4c74115a9","datavalue":{"value":{"entity-type":"item","numeric-id":3693512,"id":"Q3693512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebc0c9cbb7dc2b29472c58987d38aa23b2eefdb","datavalue":{"value":{"amount":"+0.8627026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$415728E2-DF67-4E82-8C0C-E95A088504DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7baaee30c5c9d0d0df5e0d4e31b0475d9122b2","datavalue":{"value":{"entity-type":"item","numeric-id":3715091,"id":"Q3715091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0293acfd5a4cc679ff0c9472f6f8d79090be9251","datavalue":{"value":{"amount":"+0.8566266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1812980$AE2E79E8-08BC-4A67-8206-39440BDB4810","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination for infinite terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_for_infinite_terms"}}}}}