{"entities":{"Q3689169":{"pageid":5719075,"ns":120,"title":"Item:Q3689169","lastrevid":50227613,"modified":"2026-01-13T14:15:00Z","type":"item","id":"Q3689169","labels":{"en":{"language":"en","value":"Equational Theory of Positive Numbers with Exponentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3912355"}},"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":"Q3689169$2019BDBD-DFBB-4ED0-B65C-2A7DE6322A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9fcd459fcbc542a55c00fd5289cde821da8e3b9","datavalue":{"value":{"text":"Equational Theory of Positive Numbers with Exponentiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3689169$A90D5CD8-698F-4E12-8AAD-F6B951A6C03F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae630bdc8cd9c79ba186a378869e30003cb2aefe","datavalue":{"value":"0572.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$30DE9981-993D-4330-8E4B-B36F7ABC421E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24465a60766ad63ae004b06a307086e70fd9c041","datavalue":{"value":"10.2307/2044966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$E9D8B390-227E-4DB6-9792-65ECB6B630F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3689169$12597880-E9AC-48EF-B97A-30761D4E9594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3689169$6BBCA4FD-8836-45DE-9884-4D10042239BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$29C3A82B-52AD-42DF-89C4-4EC5BD445167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$F5D786ED-4CA7-4BDB-AB9A-36B6F5534F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$1A54F4E4-4ED9-4C41-BC33-881BBD01793A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ad1f23cdc553ad34f45efee7f1288d1301cac2","datavalue":{"value":"3912355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$334EC236-1457-4E3B-8D5C-99A7EFB8EF90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbff48bb8082c69483ca9db361e675adc1d8a3c6","datavalue":{"value":"exponentiation of positive reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$BBC110D7-A454-485E-950D-1FC1D7FD0D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b5128fea5a6f8a43bf4ce5851ae061e1ca3148","datavalue":{"value":"exponentiation of positive integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$C6B1B783-1C53-4828-85AA-8718D63DCE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e641b2f2f094759207e4457d5599c8b1bae1e68","datavalue":{"value":"entailment relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$B07EDBE2-7F24-4412-98A0-8460C407E8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88bb4b61fc3ca1ab7cb730c51f6b16aaa4c1e57e","datavalue":{"value":"differential ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$45F43178-BCB9-4901-B604-29E243DE58BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d42e90d8547fa70fc734ee9688284770ed2274","datavalue":{"value":"Tarski's high school algebra problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$71A5E321-9C81-434B-A9C5-F559927A447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$CEAEFD46-C6A9-424D-833F-17B94E5A4674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$AA621EED-4E66-4837-AE5F-AD955009442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dcefb52ae4954b255af60bc8280a5163401a38","datavalue":{"value":"inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$DD9DD28B-374F-4C94-830E-09C634AD22E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7956c7f6df536e6143a1c2159e2cd8230dcb1d96","datavalue":{"value":"computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$CB66C43B-9ED0-4DEB-9A6B-89B283B8EB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be759b0c931dd4b36d78e73d493697e191f5522f","datavalue":{"value":"Wilkie's identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3689169$F049CDD1-CBC9-4676-814C-C4664987C26D","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":"Q3689169$DDA2033C-2AFA-4355-B796-0C5AEC92F0AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3787df17c5584525c2fc483d8595940731b4d822","datavalue":{"value":"https://doi.org/10.2307/2044966","type":"string"},"datatype":"url"},"type":"statement","id":"Q3689169$A6F281EB-B3BC-4F78-BBF8-0F9209EBDE93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c870f8a2b9f8a2fcf8cc9317b474369ea6ab96","datavalue":{"value":"W4241948326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3689169$395FD626-F09A-43A7-8FEA-35CAE04EF639","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d70dbf2842643503168205651fa1a7eeb7b3b79","datavalue":{"value":{"entity-type":"item","numeric-id":5286078,"id":"Q5286078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc80095c6f0ca0f61cf8a31dad585c5703da09b","datavalue":{"value":{"amount":"+0.8970540165901184","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":"Q3689169$A56AFC38-7640-4C00-9E23-81EEC3A8750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec0b73d5fcfc80e1040a68a6f14fb840187f9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5394630,"id":"Q5394630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba375c88df6d83d78b47254d35da57840e46441b","datavalue":{"value":{"amount":"+0.8969277739524841","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":"Q3689169$1677EFB0-6AE3-47FC-9377-6D40973BC087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96811f02a1c41d92fc18f70501de3f786e21737","datavalue":{"value":{"entity-type":"item","numeric-id":2758397,"id":"Q2758397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c0059a4adc17a0de98f4142e858687da4aae82","datavalue":{"value":{"amount":"+0.8788511157035828","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":"Q3689169$B1070A93-9F43-4715-911C-E305277259B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0bdaae25dc60d3df166c26e786e41fab3ba978","datavalue":{"value":{"entity-type":"item","numeric-id":918968,"id":"Q918968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2a417aa2a09803f27d72fa56962bada993a1c5","datavalue":{"value":{"amount":"+0.8520521521568298","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":"Q3689169$A8DE530F-1ED7-40A1-B57F-6D658F14CB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f271f559032b0c996a885a8b88614e6539225670","datavalue":{"value":{"entity-type":"item","numeric-id":5705927,"id":"Q5705927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0650f623788eace951a86a14a37c753f14251ab7","datavalue":{"value":{"amount":"+0.8244901895523071","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":"Q3689169$733959F5-F697-4B66-B489-34CADF8F483B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3689169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3689169"}}}}}