{"entities":{"Q2986836":{"pageid":2997560,"ns":120,"title":"Item:Q2986836","lastrevid":52804670,"modified":"2026-01-23T13:19:26Z","type":"item","id":"Q2986836","labels":{"en":{"language":"en","value":"Induction in algebra: a first case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718118"}},"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":"Q2986836$28216165-A531-48DA-B408-E170B788F9BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f94618c182d1a5b29c6b903bd5f8c58775910b18","datavalue":{"value":{"text":"Induction in Algebra: A First Case Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986836$5D7330DD-F0C5-4554-B12A-4B87FB1F41C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1e22103d383986e74eee51bea6e1cb1e1212b55","datavalue":{"value":"1364.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$9EE8379C-EFDA-4DFD-B855-6D08500C24E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd083f5cf9850c5c1ed0b4b8e286326979ba097d","datavalue":{"value":"10.1109/LICS.2012.68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$66EEC827-B92C-41B3-9C42-8358AC6D2558","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986836$0C034FB7-5B65-4E86-9803-72CB27D07E60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986836$164BC4B9-852D-4775-8C63-A73CF1B55F99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$FD9BA738-84AF-41EC-A602-58777238318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$C17D1944-0132-4CD4-8AD2-CD7E0C164092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$F32FADEB-E8CA-435D-9B77-CF9006B61426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d60743ac9c42652ebbda2ad8eda16b00e1ecf840","datavalue":{"value":"06F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$48C24A4C-4A2F-4F2B-A92A-FA60970D8C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$A7ADAECA-BC9A-4DCA-ADD9-13F41A647843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$D92AAC0C-3A6C-484C-832C-E6DC0199CE62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f824605a8e873237367a61ffc4110a0cc34d2be6","datavalue":{"value":"6718118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986836$C1B75706-16FC-4330-B924-D1C369E77650","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05b96a3b56bcbf16250553557f268d9b9e694ce","datavalue":{"value":"constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986836$0E698781-E9EF-4DE8-B520-977DF4172C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6bb3269f564e59bc6511c746db577f9f425698","datavalue":{"value":"Hilbert's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986836$3E55F32B-D099-4897-972B-54D80BEC9484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ad2e712263646f5801f0b8a9feae52da7736947","datavalue":{"value":"intutionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986836$6EF72584-F6BE-4F06-BB9D-8A8A28FB2478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986836$40261BF1-CA70-4AEC-8E3F-DBAA9DEF9298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784b8bfa87a8f495f37d89c0f713645b8e1b69d4","datavalue":{"value":"Zorn's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986836$640883F4-E86E-4FF8-AD67-3F72580D3E29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986836$F063D3E2-070F-4408-894F-6708475C477D","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":"Q2986836$9A00C8E7-69CF-46DF-B37B-4A69E8796570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbaf91dd9a1c5321e1ec5b3b8a014beb50426a2","datavalue":{"value":{"entity-type":"item","numeric-id":2848365,"id":"Q2848365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cea386e56a6e5ce7fb1d18e029cbfa0e43612ce","datavalue":{"value":{"amount":"+0.9961709976196288","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":"Q2986836$C426F502-DD1A-46B7-8012-79AF5045F683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ba9d05360fc9a4c97c4dd182d8b8e25123ee2c","datavalue":{"value":{"entity-type":"item","numeric-id":3305552,"id":"Q3305552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e568878f1feda9eaf924f7ef9e3dbfb522badd3","datavalue":{"value":{"amount":"+0.7547880411148071","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":"Q2986836$0F13370B-D1B9-4597-961C-91757C257861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2109179ed39d079a50bf76f8eb0c14351eca9c6","datavalue":{"value":{"entity-type":"item","numeric-id":5145683,"id":"Q5145683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef9a1769fa99ea53289d40f19bf42f01f7bd777","datavalue":{"value":{"amount":"+0.741150975227356","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":"Q2986836$AB7EF94F-F5A8-48B9-9DA1-D534DD153559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7f550c3ad66c0c7efc174377a10dfc4a9852c6","datavalue":{"value":{"entity-type":"item","numeric-id":2904419,"id":"Q2904419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f61a7e89c66d9140814c08f9e74e9c0c7155ff","datavalue":{"value":{"amount":"+0.7222983241081238","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":"Q2986836$5F623115-61E8-440F-899C-527CD07569AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da53a8c33bdd46b53b7896ea1a779fda91b0c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3422024,"id":"Q3422024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31dc4d68b77d973f22c471cd55d537a208e63bc9","datavalue":{"value":{"amount":"+0.7112259864807129","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":"Q2986836$68BD3491-CC18-429A-A49E-57C1FD7B3B6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986836"}}}}}