{"entities":{"Q1866906":{"pageid":1877648,"ns":120,"title":"Item:Q1866906","lastrevid":71018505,"modified":"2026-04-13T18:56:30Z","type":"item","id":"Q1866906","labels":{"en":{"language":"en","value":"The constructive equality theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1900013"}},"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":"Q1866906$AD45AE0F-D039-4EED-BCA6-CB914C303EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cefc21d9fe4d98115b9dd06993dc087d578b336","datavalue":{"value":{"text":"The constructive equality theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866906$8FEF407B-FB64-4263-86E8-EF58C559EE4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54c91baa40d4d4adb26b87634623f20eeffa53a6","datavalue":{"value":"1025.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866906$69FF6A2A-9C7F-4EDC-9E02-2F192D7AFF58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"753b32a5ea421cb4f409b5f9949b3d3f12989599","datavalue":{"value":{"entity-type":"item","numeric-id":1866905,"id":"Q1866905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866906$EF63AFED-8EA1-4AA8-A7FA-AD75217428EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866906$FB1DEBC9-0FF3-4A6D-BDB0-6FE351BB5652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866906$CB3E4A8E-9AAE-4197-8139-351AF82F8124","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03e9b6ea041b4b0fb82c7267dd5ce5d0861df82f","datavalue":{"value":"The author discusses equality from the point of view of the theory of constructive models. It is proved that the constructive theory with solvable equality coincides with the classical theory of equality and, therefore, is complete. Also, the incompleteness of the constructive theories with unsolvable equality is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866906$999EDBA3-2B52-40F6-8623-FB68708AFFDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866906$9949D48B-6859-4BFD-99A7-592C30D306F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866906$6889F7C1-544C-4702-BAA8-0F99ECC139E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aa2944f8d425d446b03c61cc97c76fdf9498192","datavalue":{"value":"1900013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866906$D925838A-762C-4E3A-95CD-9F2BFB70FA1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cd9f3c039733629a1bb9742678c127ac2605f7","datavalue":{"value":"equality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866906$349761A8-EE84-4A2C-9F8A-97C73283275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a698c902b0b302313f39d985bb7e7d01e1f795","datavalue":{"value":"constructive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866906$5F75FCD9-ED07-4814-8A4E-73139F7A9735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866906$D4B82B8B-779A-48D2-B87D-FDF1A452DADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866906$1481CCED-3B61-42AF-85AB-16FF007D7C46","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":"Q1866906$EDFC2D03-49DB-4C69-A4E6-3F6A5732998C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6c096b7fe153d9e065293f472bc1f37579ecb6","datavalue":{"value":{"entity-type":"item","numeric-id":2658274,"id":"Q2658274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151ae9fb400905eb37dbe6ce5f04da65b9767073","datavalue":{"value":{"amount":"+0.7367218136787415","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":"Q1866906$6F5ECF17-43F5-441F-9112-AE695457624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331f05e0bad90525367db88256929b7fb4c32322","datavalue":{"value":{"entity-type":"item","numeric-id":4708435,"id":"Q4708435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026b301f463462ffe4a728cbcef7632b37bf5332","datavalue":{"value":{"amount":"+0.7195519208908081","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":"Q1866906$3F3FEF32-BDA3-4930-804C-DA249913DE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4dc231569af6f550da9b24fdde474acd2ecd528","datavalue":{"value":{"entity-type":"item","numeric-id":4830933,"id":"Q4830933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b049b7606f674fc5a54b3c17fb5b1af4bc9aa142","datavalue":{"value":{"amount":"+0.712444543838501","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":"Q1866906$EBCEED1C-2E32-4B93-8302-C2F6234624C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcc036d73f7411e9d8be42f9fae4cbe2d3568a6","datavalue":{"value":{"entity-type":"item","numeric-id":3612437,"id":"Q3612437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65884c7722dedb89d6f85d4d95369cdf0f2899b8","datavalue":{"value":{"amount":"+0.6960705518722534","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":"Q1866906$C742A7B7-E2F3-4484-AC40-46D3FE6D3188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0397a1b17ced08a9e55a09fbaa744838448f0f","datavalue":{"value":{"entity-type":"item","numeric-id":579238,"id":"Q579238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd83bda595b0e96dca201b733db3a863f7b4fc51","datavalue":{"value":{"amount":"+0.6912993788719177","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":"Q1866906$194D9311-9B1D-4772-9FB0-8BE824C5B037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The constructive equality theory","badges":[]}}}}}