{"entities":{"Q1820598":{"pageid":1831340,"ns":120,"title":"Item:Q1820598","lastrevid":77968475,"modified":"2026-05-06T10:28:34Z","type":"item","id":"Q1820598","labels":{"en":{"language":"en","value":"Problem corner: Reasoning about equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997194"}},"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":"Q1820598$4980AE96-1D9A-4A15-99EC-D47908E78773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"537312a393011d0456ed50de17c1c5cfc232a9ca","datavalue":{"value":{"text":"Problem corner: Reasoning about equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820598$077F1B7E-04D2-4536-8788-15CB10EB048F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b32d889c0ff5ca7090b4df840e61dc3f0b5eecf6","datavalue":{"value":"0615.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820598$23B0DCF7-39A5-4FCA-BC91-A93F59D68035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820598$7253442F-29B9-48BC-96C7-3CDBAEFABC12","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":"Q1820598$C885ED08-7A88-4B20-AD92-A1C2055DFE1B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4710c894b261dd70e73f3cf287a2b14279bd3608","datavalue":{"value":"This note contains a set of six theorems that can be used to assess the ability of a theorem-proving system to reason about equality. The six theorems are graduated in terms of difficulty: they range from fairly trivial to quite difficult. They do not cover all aspects of equality reasoning, but they have proved useful to us in developing our system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820598$A8D1A02D-B376-4AAE-AE34-3F90B4EBBEE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820598$AF1DE6F9-DE1B-446B-B76C-30A84D42A6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820598$E272506F-3302-4987-871B-4770C18E15BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b334bba038e826eada28c633b26352c04f212d9","datavalue":{"value":"3997194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820598$6DEBE898-A499-40E6-9D55-F68324534EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ab60841cbd98d2bfe780517a283e17fe1aa735","datavalue":{"value":"ability of a theorem-proving system to reason about equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820598$71747FC5-7DD7-4B5C-BA97-014450A84969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed89bf91967dd7c6a7c8ea4f7c58086c35c0930","datavalue":{"value":"equality reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820598$C3E97F8F-2367-41F1-9A9B-20E709AAC7E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f961804fcabd02be29d669054528468c74d17e25","datavalue":{"value":{"entity-type":"item","numeric-id":1224804,"id":"Q1224804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820598$B8E7E64D-C50F-480B-AC15-FB00A857CE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c1eac4057968c5fe949fe3628039d4be0f36fd","datavalue":{"value":{"entity-type":"item","numeric-id":1165593,"id":"Q1165593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820598$4E11A2E8-CBE1-49C7-A31D-5594CB5A4DBB","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":"Q1820598$966F8130-9398-42F0-92E0-F9BC1F36E7C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5eb68999c3412297b5ef52f0fb23f5595c190c","datavalue":{"value":{"entity-type":"item","numeric-id":3804236,"id":"Q3804236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85032c04ffef2d2a9508e232e3562edb95ad6b81","datavalue":{"value":{"amount":"+0.7485563158988953","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":"Q1820598$7BD8824C-B68A-4E65-B1F7-C71D0EA8180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f351e2a3a3d156d33bec5ebc6b490bb7626eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":1404423,"id":"Q1404423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ee5be1df52e1ea48fdc408a2024ac3ea32558e","datavalue":{"value":{"amount":"+0.7305827736854553","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":"Q1820598$76C3F86B-91B2-4C1D-8924-EECFD2D7A44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac8d73d2c92b925a6a78ed07f970fd2f8b0c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3818296,"id":"Q3818296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51997f1267487e15443b8cb4bfdd22d7e5d895e","datavalue":{"value":{"amount":"+0.7260859608650208","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":"Q1820598$94C9B91B-E312-4BB9-9AE0-8CE9A1B1E636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c421ed5d942eee86727cffa9fc07f8ebecb6213b","datavalue":{"value":{"entity-type":"item","numeric-id":1195540,"id":"Q1195540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09aa57cbdac1c2e7cad389502242a0ff31d6e29","datavalue":{"value":{"amount":"+0.7047063112258911","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":"Q1820598$230A51C2-8F17-4833-AA6C-F24001581601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeac42ecb67e4498fa1fa811d9664ee435c3f0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1319385,"id":"Q1319385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfa04da3ab8459ad38df81dd5f64d9f8473db53","datavalue":{"value":{"amount":"+0.7026868462562561","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":"Q1820598$6CD1AFDD-4868-4870-8A2A-B589621504CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problem corner: Reasoning about equality","badges":[]}}}}}