{"entities":{"Q454896":{"pageid":456663,"ns":120,"title":"Item:Q454896","lastrevid":61961736,"modified":"2026-04-11T02:51:06Z","type":"item","id":"Q454896","labels":{"en":{"language":"en","value":"Subsumptive general solutions and parametric general solutions of Post equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092602"}},"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":"Q454896$789366AC-E3F7-4667-A81F-DB9F7C540719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a58796de1f9f04782b5356eec9861fa7c1425e2","datavalue":{"value":{"text":"Subsumptive general solutions and parametric general solutions of Post equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454896$5BA854E1-5786-4EBF-A0D7-E1931EC35FA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71ba198743b4984443f9e326ed26975ce3ec19c1","datavalue":{"value":"1258.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454896$E20723C3-6EDE-453E-A340-B16DD17FD99C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59379f3ecd10d5970dd29f4d4c3e2af3e53b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":454894,"id":"Q454894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$004900F8-B1C5-4758-B6A8-ABDE3AF77989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcc5d56d3e5ad736d1f71a678d9d329f0299f860","datavalue":{"value":{"entity-type":"item","numeric-id":454895,"id":"Q454895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$3A7918F1-B01F-42C6-854B-C5DB7BED8F40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$A29E831D-A24C-4CB6-B5AE-23862DEE6463","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9729edc44a1ae56f3c7012175ffbc192b6821a5a","datavalue":{"value":{"time":"+2012-10-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":"Q454896$97CB69BD-22B9-4C14-A107-2E34C408D180","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$5BDBAFC6-740F-4877-A9B3-452E80FB2DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454896$3B62DC94-4E48-4FAE-8C40-38B0F2C75E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454896$A9784650-1BC4-4443-BADC-900E87809D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e6bc0b7e6bb49751540a9730a4a02a8dd50ac96","datavalue":{"value":"6092602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454896$DC416A3A-4E39-42AF-81C4-85AD7A1755E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c33539cb549014e1a83b35dadeb250ea963c8db3","datavalue":{"value":"Post equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q454896$3054510D-1ED8-4EF8-9AC3-390B43186C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac0b8178c67fc78336e0738e5fbe943b986bd86","datavalue":{"value":"parametric general solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q454896$7133E0A2-5D11-4A6A-BBD4-8EDF21CBEC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6735539d22d364447f4051bda3b1b06caf90c7de","datavalue":{"value":"subsumptive general solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q454896$FC44736F-D4E2-4EA1-B884-51F0898A6D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5502069c77dd17f0c43319533d2f20db66d9188","datavalue":{"value":"Post transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q454896$0CD68E63-39AF-45EA-9C92-230AF8579E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb9948809613feeb70ab019571ba45ede36e063","datavalue":{"value":"Boolean equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q454896$112FFFA4-F817-4611-9EF7-384DFFCE41AB","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":"Q454896$A4588933-3896-400E-8B0F-0A7471C390A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da4e8f1470de45938a7a0ace89f6119fa64b72a9","datavalue":{"value":"https://doi.org/10.1016/j.ins.2011.09.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q454896$4C55B247-A621-4D8F-8239-340C1D3FA422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42c8b1cbb413af779fd431b6460a375c6c9f4484","datavalue":{"value":"W2006160572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454896$9586A4EA-7971-46C2-BCBC-901CDD2A7D2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f3f366fbb0ab426464a6ecb74116b09f1d77af","datavalue":{"value":{"entity-type":"item","numeric-id":1869237,"id":"Q1869237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$8AA2188F-212C-49CE-A0BF-6F75235CE061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ba9254d81b1c9968127d35624d9cf187744997","datavalue":{"value":{"entity-type":"item","numeric-id":4541845,"id":"Q4541845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$964D1015-653E-49D1-89BB-D64CDC6EFA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad4a517c2b0cd385afccc0de57d0f096f34c6b6","datavalue":{"value":{"entity-type":"item","numeric-id":4542627,"id":"Q4542627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$E8ACECCE-26BF-44F9-956F-959B52F586AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302b199fca3d607501d3f98ffa20cdf0f0901ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4405203,"id":"Q4405203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$EE2B4436-6EA1-448D-98EE-E6C921AA7E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e5e89be4393687f05040253113b2eb7f9ab678","datavalue":{"value":{"entity-type":"item","numeric-id":4163534,"id":"Q4163534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$F3326937-BF62-48F3-AF90-274378031C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59322c083a3df83b7c98c5ef388fa933632e23f3","datavalue":{"value":{"entity-type":"item","numeric-id":3310669,"id":"Q3310669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$962C3F8D-B6B9-4E0D-B919-6E2DDD64D360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333e81d32bbac80f21baf90723f06c7d9f5ccdc4","datavalue":{"value":{"entity-type":"item","numeric-id":5556402,"id":"Q5556402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$1AA2BDE7-B5FB-43D3-BBE0-08AB461531C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51101dc78ae1c0c7784b4a45e05d8608d32ba6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5607971,"id":"Q5607971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$B3DA736D-9876-4D45-86E1-805BB2C6BDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07df60046157f5793b758c93fd449cf619a5e17","datavalue":{"value":{"entity-type":"item","numeric-id":1273619,"id":"Q1273619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$38685210-C61F-4B9E-B77F-F6DD56586BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$AC853C4A-9DAC-41B0-B53C-BA4AEE8E68CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdee747cc0299eb4279d4a1b241c310f76dad7ed","datavalue":{"value":{"entity-type":"item","numeric-id":2734536,"id":"Q2734536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$E5DCEF1A-76A2-4A37-B95E-FD88034AD816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d56c5c778d3079e3aed242e8381d0c2a91abf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4090324,"id":"Q4090324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$A484FF2F-5781-4224-93F4-5AEFB9C2DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ce8a0505837e779cb1ac45b3ac799977e83ee0","datavalue":{"value":{"entity-type":"item","numeric-id":985071,"id":"Q985071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$4E8F7BE7-10C5-4810-8A9B-2CB4782014EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1095776ac5eebc14406f6765b108c59b4b701b3","datavalue":{"value":{"entity-type":"item","numeric-id":1917500,"id":"Q1917500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$91FC2F06-B86C-4250-A199-E8D01DE97AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9edfc8c6121aee2335aab626aff217b9cef573","datavalue":{"value":{"entity-type":"item","numeric-id":5684666,"id":"Q5684666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454896$D4D52E51-19CC-4C09-AB3B-89ED1005B87F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a152237c7aca9e37e58cbb1d90d80e8e7230974","datavalue":{"value":"10.1016/J.INS.2011.09.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454896$2D119095-52FF-4080-93A6-39CA69362ADD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1adbb1e47a68844de8930da7400ec4b2f9d00b","datavalue":{"value":{"entity-type":"item","numeric-id":4542627,"id":"Q4542627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f858dfad039ef4ebdbc5b7ff6830ead50bfdf8e4","datavalue":{"value":{"amount":"+0.75958776","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":"Q454896$F493D181-A4A6-4E55-A95D-12CD03079DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c5713c11ac6d439928f16f308510a6e8243894","datavalue":{"value":{"entity-type":"item","numeric-id":4583718,"id":"Q4583718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dffea12892eee79b2e17d4cf5d41fdc95d08399","datavalue":{"value":{"amount":"+0.7533461","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":"Q454896$711B4C7F-A815-49E8-9525-9584EC2AB9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3e8c87f0a84d35e86bd6d9571f77144ca3f65e","datavalue":{"value":{"entity-type":"item","numeric-id":507645,"id":"Q507645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9f8391a8922ef3e6aee14ffd6f174f3116f142","datavalue":{"value":{"amount":"+0.7370138","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":"Q454896$EFC3EF41-8753-463A-BA50-787BF26F3908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018855bede0f4c3a2c32e164f6d497aa45537de5","datavalue":{"value":{"entity-type":"item","numeric-id":1920322,"id":"Q1920322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd871c37cfe745bac26fa2ea26b345a95fdf4033","datavalue":{"value":{"amount":"+0.7327581","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":"Q454896$EFD3775F-A9DA-40BC-9E0D-65B1308CEB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39685348c2520c9e750b6783c9f1b7da9fc6ca6","datavalue":{"value":{"entity-type":"item","numeric-id":4483642,"id":"Q4483642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf64cf01b43a504d00781da45fb7b665ab5df835","datavalue":{"value":{"amount":"+0.7216786","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":"Q454896$10A86C48-B246-4379-87FD-6352D02CCEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f2f8672a0ffc3360ea94c7fafb2c99abc39c11","datavalue":{"value":{"entity-type":"item","numeric-id":5864816,"id":"Q5864816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9e618bd44ef51048740d786b56b7af1fb918f9","datavalue":{"value":{"amount":"+0.7030421","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":"Q454896$16DC5821-463B-4E3A-87DF-EC05745BCC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5087d8d7e9b3a04b4b5cb84455cfa845a458df","datavalue":{"value":{"entity-type":"item","numeric-id":4731231,"id":"Q4731231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b6654388346c8b454742a8c91356277d4c2a22","datavalue":{"value":{"amount":"+0.6989045","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":"Q454896$CD469F4E-2D6B-4E80-A3FD-E8BD4ACE53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba73aab545d3d8859e6e6179db6b4f4297a2ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3829594,"id":"Q3829594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d4e5cad0c4c1435a22b67844868b5bed904bdf","datavalue":{"value":{"amount":"+0.6980651","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":"Q454896$0A6BBFB5-3E17-4E62-A397-55E7C2B1E191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a125571c7dfc1edf85031d9e8aa91bbbb1051cad","datavalue":{"value":{"entity-type":"item","numeric-id":1917481,"id":"Q1917481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6fab18ac9bbba41d4b1b1edcafd59b6c0c76fc","datavalue":{"value":{"amount":"+0.6960996","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":"Q454896$3435CD9F-1C34-4C06-AF6E-296E2821060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cf493a6abbe868b9f20612138b36f94578be61","datavalue":{"value":{"entity-type":"item","numeric-id":3758900,"id":"Q3758900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8d2c69c2c82a3ba1772912af49f747c8326470","datavalue":{"value":{"amount":"+0.6938955","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":"Q454896$24E84BBF-1963-4FD8-9BE5-9C525A4CD57F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a10ee8476d95e8bf8c7e0d81b36a790fc690faac","datavalue":{"value":"The solution of a Boolean equation by a system of recurrent inequalities has been well known for a long time. An axiomatization of this method was introduced and studied by \\textit{R. Melter} and the reviewer [Colloq. Math. Soc. Janos Bolyai 33, 637--650 (1983; Zbl 0523.94028)] under the name of subsumptive general solution; it applies verbatim to Post equations as follows. Let \\( f: P^n\\to P \\) be a Post function such that the equation \\( f(x_1,\\dots,x_n)=0 \\) is consistent, and let \\( u_k,v_k:P^{n-k}\\to P\\), \\(k=1,\\dots,n-1\\), \\(u_n,v_n\\in P \\) be Post functions. The system of inequalities NEWLINE\\[NEWLINE u_j(x_{j+1},\\dots,x_n)\\leq x_j\\leq v_j(x_{j+1},\\dots,x_n), \\quad j=1,\\dots,n-1, NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE u_n\\leq x_n \\leq v_n, NEWLINE\\]NEWLINE is said to determine a subsumptive general solution of the equation \\( f(x_1,\\dots,x_n)=0 \\) iff the above inequalities are equivalent to the property that for every \\( k\\in\\{1,\\dots,n\\} \\) and every \\( (x_k,\\dots,x_n)\\in P^{n-k+1}\\) there exists \\( (x_1,\\dots,x_{k-1})\\in P^{k-1} \\) such that \\( f(x_1,\\dots,x_n)=0 \\).NEWLINENEWLINEThe authors provide a necessary and sufficient condition for a system of Post functions \\( u_k,v_k \\) to be a subsumptive general solution of a Post equation \\( f = 0\\). They also prove that any Post transformation \\( X = \\Phi(T) \\) is a parametric general solution of a certain Post equation. These theorems generalize results obtained by the reviewer [Inf. Sci. 180, No. 12, 2440--2447 (2010; Zbl 1209.06006)] for Boolean equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454896$122E4CC9-8814-44DB-9ADC-31032C5AD16F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsumptive general solutions and parametric general solutions of Post equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subsumptive_general_solutions_and_parametric_general_solutions_of_Post_equations"}}}}}