{"entities":{"Q3119268":{"pageid":3129984,"ns":120,"title":"Item:Q3119268","lastrevid":53378858,"modified":"2026-01-24T20:40:56Z","type":"item","id":"Q3119268","labels":{"en":{"language":"en","value":"Semigroup action on groupoid ordered under co-order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034350"}},"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":"Q3119268$4ACF4F05-3DDC-4762-A603-CA5CF5565A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e1cd711096fc5be9eccbffe38801943930ad6b2","datavalue":{"value":"1412.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119268$18A95A07-8CE5-4EC0-B001-1ACE998FFB6D","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":"Q3119268$3FBF7556-6BEF-436D-8E03-9757D04A6980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f1e50024e8819cb0b85124b28367c18d16eca6","datavalue":{"value":{"time":"+2019-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3119268$04EF06E0-D1A6-4BD2-8B34-2A25F4330859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119268$3DD05E11-8018-4AF0-BB5E-907D694E5B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119268$610FC76D-9E9A-4A02-903B-3800697E592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119268$53B8C65E-99F4-4409-8D58-C0E3C3468F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119268$DBF2123C-1364-4962-8E9F-324DADB5833A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"618630bb9739b2b3e9418b7eb20d222d94e35d2e","datavalue":{"value":"7034350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119268$9325C06F-983F-44EC-BA5D-462DA7123794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119268$B9EBB58E-28B5-4A8B-B4CF-013ED666227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119268$C57C7B2B-8F47-4E21-8B21-A1BC252BC744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1553eca218f43074c673b01561343865e9c11b5f","datavalue":{"value":"semigroup with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119268$B0798D17-9DDB-4726-9D8C-A32DAC65ECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e6c63b74c8c27e15fd04e5a514873bd890522f3","datavalue":{"value":"ordered groupoid under co-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119268$5B9750C4-9DE5-4F4C-89C9-716EC4574092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ad661c6e9e02c2554583932870f63f80163820","datavalue":{"value":"action","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119268$C9855C77-3117-4735-BF9D-2C1FEA56C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f62adbdb784dd32b78be740cc486caf47ce2c8","datavalue":{"value":"co-quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119268$74660762-1429-473A-B67B-E7B774FBAE1D","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":"Q3119268$2560DCE5-C3A7-49C1-B262-6187887149C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd258921d14701fde32594d9813f8726503c2d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4905674,"id":"Q4905674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f6156bc047842bce548a1eceb4d96322ca3920","datavalue":{"value":{"amount":"+0.900695264339447","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":"Q3119268$41CE57B5-3441-4433-AA3C-5689C23D6774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e5f0bd677eacf1f4692571fe829a76a88605c4","datavalue":{"value":{"entity-type":"item","numeric-id":2861428,"id":"Q2861428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2427a10fb5b9ffa325bdc555c479c2eea93e922a","datavalue":{"value":{"amount":"+0.8156739473342896","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":"Q3119268$09319E7A-3A79-4428-AE14-EEB7434F4958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e000aceeea027e76d08a3c385fee63a9a3387ad","datavalue":{"value":{"entity-type":"item","numeric-id":5710546,"id":"Q5710546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c46439d792bbd501dc661c9ed2f1c968a965cd7","datavalue":{"value":{"amount":"+0.7845457792282104","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":"Q3119268$C8CC312B-CCE4-42C4-A23C-083BC28160F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5304b98cbb626245e0dd6b26f9b76df22704a3","datavalue":{"value":{"entity-type":"item","numeric-id":4897633,"id":"Q4897633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a06cec7a08898fb871a46151ac6e28b29e1b977","datavalue":{"value":{"amount":"+0.7197962999343872","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":"Q3119268$1882E244-3E09-4688-B11D-98ED6E494024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc35b29f208f6c370e274a7a776f74437d3b2ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4522387,"id":"Q4522387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b435d5cb93b6ed023b38f80eabb7dccd6b3743b","datavalue":{"value":{"amount":"+0.7112559676170349","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":"Q3119268$035F911A-7C07-4088-8A5B-CDF3DAE91326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3119268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3119268"}}}}}