{"entities":{"Q3470464":{"pageid":5271175,"ns":120,"title":"Item:Q3470464","lastrevid":80528021,"modified":"2026-05-06T16:24:12Z","type":"item","id":"Q3470464","labels":{"en":{"language":"en","value":"Finite axiomatizability for equational theories of computable groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137762"}},"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":"Q3470464$E8E2394E-2E1F-4F98-AC68-C53F12D859B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc0bb245eaf8209f159ea15ba009ab03e835ad87","datavalue":{"value":{"text":"Finite axiomatizability for equational theories of computable groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3470464$E6AE9A03-DAF9-4B14-8D51-3370BFCB03CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82c847a6f38bcbdbaf9099401592fb8326c307b4","datavalue":{"value":"0695.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$0C09C5A5-94DB-48DC-AFDC-CB0B140AA7E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1df787d24c03758c0b4e9dcd2469767b5c4b2bf","datavalue":{"value":"10.2307/2274762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$46D096DC-D558-426D-A5C3-F61D27A033B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab69999d1677173b00c184b4dadcf584d0210f78","datavalue":{"value":{"entity-type":"item","numeric-id":774694,"id":"Q774694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$B9991186-A701-4C06-BA41-AD539B7E8FF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$8BC598EA-8DD5-4DA4-A324-03CD6FB77C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3470464$20234942-AE4B-48D2-9B3B-56C6C784AA90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$3E85EB4C-7AA3-439E-AA31-3DFD0DF6ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$21012D3B-9D7C-4735-ADFA-6EA66287050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9ee713a0845fa95f927d6e1374bad1f2e158ef","datavalue":{"value":"11U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$06421C80-7B7C-4C7D-9FC0-FE6213229E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$7896A05D-8B11-4009-8315-4E51B42522AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2da48c6d75c1e243bc86d27b260d31b0fcc38a8","datavalue":{"value":"4137762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$1362F650-50B8-44DC-8307-3069882D7EB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470464$06315E82-0FAE-4579-B84C-44085E6666E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470464$5EFF3B9B-4FD4-4089-813C-67FA532CAFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b66446fc35053e1d413b7f7f01b57b749a8ab3","datavalue":{"value":"computable groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470464$E2C31418-54DD-45D7-83D5-8635A0CD85B7","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":"Q3470464$A2109D79-8FE7-427A-9D71-27EBCD18D1CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d87eedab52fdf1f5d8e0858599cdf832fbe437dc","datavalue":{"value":"https://doi.org/10.2307/2274762","type":"string"},"datatype":"url"},"type":"statement","id":"Q3470464$07E3DFF1-961E-488F-B9C2-05C4D465A1D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a36d810005aee9989796ee259fe7ed9c8c99b60","datavalue":{"value":"W2051850251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470464$D1EC7824-09AA-4F22-8151-DB6FD005C079","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89be79ddf9d0c260763ce91d894d3592a0256f92","datavalue":{"value":{"entity-type":"item","numeric-id":1063017,"id":"Q1063017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$FA5F914C-39D0-415B-AF8F-BBF399E16BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$924DC247-3BF0-4301-8605-24F4682C4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c32927ab5a076883ade44f58d9df31c260d8bb","datavalue":{"value":{"entity-type":"item","numeric-id":797614,"id":"Q797614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$E14A9045-B9C6-4F11-99F4-A78BAFCB0098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda6ca295a7952e23408a32e3a37d165e1fac94d","datavalue":{"value":{"entity-type":"item","numeric-id":2539862,"id":"Q2539862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$FC8EFDE8-F357-4411-9338-F994FA05BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91df823051d6f240757d3083a9ca982996b7e41a","datavalue":{"value":{"entity-type":"item","numeric-id":795856,"id":"Q795856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470464$CD1B65CE-0428-4E4A-84C4-B06A72F8A912","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10b38f193bbc866b1a48541e1615fda27f5914e","datavalue":{"value":{"entity-type":"item","numeric-id":4851407,"id":"Q4851407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9744087ee677a62feb5d2ad7db973ef41e90366c","datavalue":{"value":{"amount":"+0.7427393794059753","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":"Q3470464$E8A31850-77F5-4B81-9FD6-831E60C26898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7c4f03c224939b7056be3a0db4b4c3fd648743","datavalue":{"value":{"entity-type":"item","numeric-id":3165644,"id":"Q3165644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d3067e381b2fb3c154299ade9eec00b71e1f8f","datavalue":{"value":{"amount":"+0.7363939881324768","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":"Q3470464$2421ACB2-3802-48EF-9EEB-586E06A06C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563f4be36f9de73c3d053c59a794b17606f1dbff","datavalue":{"value":{"entity-type":"item","numeric-id":4337957,"id":"Q4337957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95053cc328aae35730c8182b7b28b4ea8d878045","datavalue":{"value":{"amount":"+0.7309690713882446","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":"Q3470464$DE176306-EAFD-4D68-ABAF-F268D25EFFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b284bfdb1b0355e9c5d1322763cdd7d5c44d97","datavalue":{"value":{"entity-type":"item","numeric-id":2725955,"id":"Q2725955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee45738853a9dc0c64dadcef696fe8b2a2d0bf73","datavalue":{"value":{"amount":"+0.7280195951461792","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":"Q3470464$841768C5-F400-49FE-AA21-8A9E59184BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba7cffeda7b2168447fdecb6542fbf5c0843fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3703879,"id":"Q3703879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596c77099ee9447c7474a6354af5daf8e19895b4","datavalue":{"value":{"amount":"+0.7280192375183105","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":"Q3470464$0C9D5D6D-E45E-4537-93DF-B957CE7F8BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite axiomatizability for equational theories of computable groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_axiomatizability_for_equational_theories_of_computable_groupoids"}}}}}