{"entities":{"Q5876671":{"pageid":7906222,"ns":120,"title":"Item:Q5876671","lastrevid":101962160,"modified":"2026-06-06T03:12:56Z","type":"item","id":"Q5876671","labels":{"en":{"language":"en","value":"The first isomorphism theorem of implicative semigroup with apartness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7648784"}},"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":"Q5876671$9A30B084-0215-464D-8A68-A0675419B08B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dca1977e59d119bf4aa9451a38757abce560f23b","datavalue":{"value":{"entity-type":"item","numeric-id":309963,"id":"Q309963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5876671$879CD1A7-7FB8-48F2-B20B-78EE588541F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c8e339b7d8e23c2957c5b00a51a7fa7180b9d1f","datavalue":{"value":{"time":"+2023-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5876671$CED60880-C5AE-41B7-87D6-6E7EEC2A801D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5876671$5F5D44AF-B624-4938-B9BC-C4326CB717FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5876671$E8CBA3DF-C07F-4F71-8595-3305E25D1E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5876671$1F6B86FC-7E70-4F66-AA90-FCBAF063FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ef2a941506d904ce5f3b93df54614c6c3977b80","datavalue":{"value":"06A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5876671$CA6FCD1B-5532-4933-B3A7-96908AC4D188","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4660c7cae89a61372809344b0fc412462848dcec","datavalue":{"value":"7648784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5876671$34F5DB4F-9E87-4122-828F-8324A7B81F3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592f395e559e8ccd850d67aeafb9d9b218709b5a","datavalue":{"value":"Bishop's constructive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5876671$BA54FB69-2590-4A1C-9126-29257270C25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"331fcee77e8148724a08157e6d2f8baa815a57d3","datavalue":{"value":"implicative semigroup with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5876671$E6302FB3-A6A9-45DA-AA24-B098F5EFB0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8697b7476cea6c6796e5d1eeb6e239f281482c88","datavalue":{"value":"co-congruence on implicative semigroup with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5876671$5125F9BE-1F60-4209-9565-32FC1D95644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e4c5676924b34713df41181b741ae9004327c8","datavalue":{"value":"quotient structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5876671$66438969-AC4B-45E5-9F02-E26DB7F262E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a23fc953e9d5ab841994783330f32218effc821","datavalue":{"value":"isomorphism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5876671$18E9F71F-4619-4B06-9FD1-2A56F4CABC9C","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":"Q5876671$B8AFE096-9934-4899-8CB8-2FCC489F1BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72fa0ad1f0053462ac3f4e832d9ff07e20ace45f","datavalue":{"value":"10.17114/J.AUA.2020.65.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5876671$1976BFCC-4D73-4F50-8616-9DBF3E7C8F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f8888b3d7adcfccce3b453f89c24bc2498753b","datavalue":{"value":{"entity-type":"item","numeric-id":5865075,"id":"Q5865075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5190c92231e505d3e8be222880b4e66695d3daa","datavalue":{"value":{"amount":"+0.9046815037727356","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":"Q5876671$9C71AC05-A948-4AD3-9ADD-24FE5BDBB91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511ab11463828b2189fea430e150990ea7730b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4989837,"id":"Q4989837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6c1e4a406258d301f0f678db6e46408909019f","datavalue":{"value":{"amount":"+0.8079286217689514","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":"Q5876671$7BC9A985-705D-4C8D-A760-3D2D5116C31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd7519ce069904c6eb8fbd0df9dd8c1f1c10bdc","datavalue":{"value":{"entity-type":"item","numeric-id":2416389,"id":"Q2416389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e95c8b0aae9a927acb0e7930cd47904471d73db","datavalue":{"value":{"amount":"+0.8055570721626282","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":"Q5876671$AD107C41-77D4-46E5-BAAB-DCDD63329D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d3114dad37a41efb2eaf2ba8c72135c320c269","datavalue":{"value":{"entity-type":"item","numeric-id":5379646,"id":"Q5379646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830da2bf86f4358e26633b9b24eee2ff5699b634","datavalue":{"value":{"amount":"+0.7951381206512451","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":"Q5876671$328D0483-EBEE-48A8-8423-16FD7F4E5BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb909bf2b9157b9884861f2633bbe4946f437055","datavalue":{"value":{"entity-type":"item","numeric-id":5396223,"id":"Q5396223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d1c270a8abc5014a5c821328637aab6b1d336a","datavalue":{"value":{"amount":"+0.7919106483459473","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":"Q5876671$0205506C-AA5D-436E-8CC6-63BF36616390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first isomorphism theorem of implicative semigroup with apartness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_first_isomorphism_theorem_of_implicative_semigroup_with_apartness"}}}}}