{"entities":{"Q649602":{"pageid":651451,"ns":120,"title":"Item:Q649602","lastrevid":63308379,"modified":"2026-04-11T11:59:54Z","type":"item","id":"Q649602","labels":{"en":{"language":"en","value":"Ken Kunen: algebraist."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5985543"}},"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":"Q649602$585A815F-A55C-45FD-9614-D13CC1FEC44A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c943170e5f5cf0533c5bede6709a2c0a3c94bcbd","datavalue":{"value":{"text":"Ken Kunen: algebraist.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q649602$551CCFC0-AC26-4998-9546-CF27C5EDAC3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06695e10f29dd282b6d74f29fd23e60d4ff80134","datavalue":{"value":"1236.20065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$6D360976-D69F-4C87-926D-80A3ABCACAAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$36CEE6DB-FF72-4A60-9B8A-D8BAC6FB73F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bde3f29c583f771125c439f8e23fad3b2150c7f","datavalue":{"value":{"time":"+2011-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q649602$1CB6F048-8BB5-4C30-B484-90660C2C6044","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e59facf1588e29bd59ad07b4418bd8bcb1a472e7","datavalue":{"value":"https://arxiv.org/abs/1108.3658","type":"string"},"datatype":"url"},"type":"statement","id":"Q649602$D5E9144E-E76D-44C8-B872-5E66D430CF9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83363c4f18ef92d49a7f07f066f9c2eaed097686","datavalue":{"value":"The author describes some work in algebra, particularly in quasigroups and loop theory, by Ken Kunen. He describes especially the use of automated deduction tools, with a lot of attention given to projects done in collaboration with him. According to the author Ken's approach to algebra utilized automated deduction tools and finite model builders. The finite model builder Ken used during the period the author discusses was SEM [see \\textit{J. Zhang; H. Zhang}, SEM: a system for enumerating models, Proc. of International Joint Conference on Artificial Intelligence (IJCAI-95), Montr\u00e9al, August, 11-18 (1995)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q649602$16CF114A-E31F-4396-B691-9305A18BE945","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"450d19987175b4eb73b72a3a886f0a1e97156c1d","datavalue":{"value":{"entity-type":"item","numeric-id":590963,"id":"Q590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$92B99AC3-0F73-4881-A947-20FCE892731D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$EE361CFC-542D-4DCF-A17C-2AC5D476A7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$7C8F38C4-4A85-4C26-835E-A4F75CF32D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$67216316-965A-47F8-87A5-278DCC3F89B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$5ED46E91-5FA4-4BB3-8F91-BD94837D8668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd0e9b172c2cb94e54da41d43c41f3773648b149","datavalue":{"value":"20-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$C8AA59D5-8449-4F16-A533-EED00B310B0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd880f6fa33e9c6f53da191b00b16c0a89e92d6b","datavalue":{"value":"5985543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$4B06D4C5-E431-4CAC-96CE-08A01461695F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q649602$D12C7873-B5B3-4547-805A-9A7F19677197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02620295a46ad8054e37d17f2c32996bffad36ca","datavalue":{"value":"finite loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q649602$253A2B16-17B3-46CD-8CE5-276AEBAEC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d9ae30f439ef505a52f54cc1dfaa91a75f906c","datavalue":{"value":"quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q649602$7A2C0E10-CD03-488B-8383-710B17B79EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de031a609729d4e43317e052d6e53f9661bc0d09","datavalue":{"value":"Moufang loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q649602$0AA81125-E750-45C8-BF94-C37913FBD625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125801631c88471e9beb6cdc8d63e6024f9f831e","datavalue":{"value":"conjugacy closed loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q649602$1AA9AD85-A2A0-407B-B97B-07DC44B45B39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266db153a53e546844fc36f71b0b8a034829e061","datavalue":{"value":{"entity-type":"item","numeric-id":855330,"id":"Q855330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$A3087361-658C-4F18-92A9-97A7FAC74C5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$F6A2A132-72D6-41CD-8E0A-347660426E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$C3B61B9D-74E1-4344-8031-F58E60FA10BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$313BFD31-D402-4434-BE55-DDFD1F362BD6","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":"Q649602$B3D8EE77-D781-43BA-B26B-A1648E60431F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c0bcaa39fa1b44fb9e1cf6c78085bb6af08b45d","datavalue":{"value":"W2052711330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$EAA26FDB-83BD-4C14-A337-0DE6A2259240","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d7b24ebf2e6090aaa5d1b34424b2202aad96c1","datavalue":{"value":{"entity-type":"item","numeric-id":5606623,"id":"Q5606623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$8AC9B506-6409-4A1C-BE39-92EB3BEA2C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803bb5f8818af3844c8278e534ec92c6f35f8134","datavalue":{"value":{"entity-type":"item","numeric-id":768104,"id":"Q768104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$CC93672A-6D64-49B3-AA65-899202493F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8cc32a40ad302fe06d1adf7327db043c53f2","datavalue":{"value":{"entity-type":"item","numeric-id":3919896,"id":"Q3919896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$3AEF690D-4566-4A98-9895-1E5AFCE2E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695f0bcc78ec805ea6d055a662469fc69983c828","datavalue":{"value":{"entity-type":"item","numeric-id":2759004,"id":"Q2759004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$B53579EE-C724-4820-8D41-F55284945FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff452e24328efd85e915b425c4bd50d10d90ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1771936,"id":"Q1771936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$9F514CDA-AAD7-4173-A41F-06266C584DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e23ba41340c9709a8cb981a27371cdd89b66f4","datavalue":{"value":{"entity-type":"item","numeric-id":3154489,"id":"Q3154489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$17652C72-073A-4BD7-B7BD-5FAD61F34DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc906bfeb3f02f1fb17eacb24dd56f3903dcd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4656447,"id":"Q4656447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$300781EC-4E6F-4BBD-AC60-3F6DE26B90B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dddb035867692d69bca1c96e02c8038fc7f31c5","datavalue":{"value":{"entity-type":"item","numeric-id":855331,"id":"Q855331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$0E00F367-7A20-40D8-B266-0B844F93A62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd54bcac7040f5d5154ccda68e185303a7e23dd","datavalue":{"value":{"entity-type":"item","numeric-id":1893129,"id":"Q1893129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$88A4803A-4B15-4B1A-9019-FF859CAD8C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9923efe65d7520df8384f3fd0d5837e98a751443","datavalue":{"value":{"entity-type":"item","numeric-id":688567,"id":"Q688567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$1236135A-69A7-42C5-A9F3-F31E3C602E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e5e89ab7684c116a33ca7f978f2355f72f5272","datavalue":{"value":{"entity-type":"item","numeric-id":1343390,"id":"Q1343390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$BA098CB0-55F7-490C-A111-D2469FE20CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8ff14107ce8d99df5331d1320a666bc5b9ff0f","datavalue":{"value":{"entity-type":"item","numeric-id":1921907,"id":"Q1921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$0A112C80-A8A2-4699-9A24-1B1A45189600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa660f8c87dd5423aead00912026f202bc5e03a","datavalue":{"value":{"entity-type":"item","numeric-id":1814982,"id":"Q1814982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$A255DD0D-B661-4061-BE6B-B75401D0D021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb477e8a1d463bd85cf6d55927cf3eb79191e02","datavalue":{"value":{"entity-type":"item","numeric-id":4382448,"id":"Q4382448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$577BD1AE-566D-49F4-B9E2-0E9BE78304E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a61cacff39425301c5269d6f34854deeba3dca","datavalue":{"value":{"entity-type":"item","numeric-id":1818879,"id":"Q1818879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$3CF9207A-0A6C-4F5E-95F7-8574EB3FD7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116494181a0a343dc2030f6cba8dbc307d8cbd10","datavalue":{"value":{"entity-type":"item","numeric-id":4955715,"id":"Q4955715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$74D50C06-E800-4975-BCEE-C50ECAB79FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$11073F3B-3423-427E-A2C8-0BCD5C643969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55ae123e5b42953d716d3c56c5865f788cd4b87","datavalue":{"value":{"entity-type":"item","numeric-id":3276713,"id":"Q3276713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q649602$97D23720-C8B4-49F4-B3F9-5505EB4EE88B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e981f96c647e3d267b89a4f2e9ac9077122f56b","datavalue":{"value":"10.1016/J.TOPOL.2011.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q649602$DD75CEE9-9A62-4E11-ACC6-136428EE2402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65f98f9a374fe563b05e0e1a5b0b0ada7da65cf","datavalue":{"value":{"entity-type":"item","numeric-id":4288657,"id":"Q4288657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97724fab26047cd3ea3b29ffe5c475f25325d550","datavalue":{"value":{"amount":"+0.7725119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q649602$C904FE09-A3D8-4C27-9966-A8E26D8906E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c708a41710cf6f3d3ae3ad96ab2795499510ab9f","datavalue":{"value":{"entity-type":"item","numeric-id":649599,"id":"Q649599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fce1ae4d75af09c363552fb172a2eafdc69cc67","datavalue":{"value":{"amount":"+0.77055407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q649602$4868DE8E-DA34-48A3-BDF7-1FD3B3A0421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5157a47707acb34fd739146040870cdb00fccd2","datavalue":{"value":{"entity-type":"item","numeric-id":2897454,"id":"Q2897454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1b8cfb10c6aa94dbda7a58504a9c29057debf8","datavalue":{"value":{"amount":"+0.7663979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q649602$54DCCE7D-937C-4E7D-8C9A-2AD7580A6EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ken Kunen: algebraist.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ken_Kunen:_algebraist."}}}}}