{"entities":{"Q5380741":{"pageid":7410315,"ns":120,"title":"Item:Q5380741","lastrevid":53441357,"modified":"2026-01-24T23:25:17Z","type":"item","id":"Q5380741","labels":{"en":{"language":"en","value":"An introduction to implicative semigroups with apartness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7063363"}},"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":"Q5380741$72333F7C-DC77-4234-B948-CAB6AFEE0C56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f3e288edaf2f88e8695e4cba12020742966223e","datavalue":{"value":{"text":"AN INTRODUCTION TO IMPLICATIVE SEMIGROUPS WITH APARTNESS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5380741$5731578F-997B-4204-AE18-E632111B5A31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66a795462f24601e8d6e1f0a8b7458cf8dffd004","datavalue":{"value":"1424.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$3EB901F7-0130-4467-9085-793E1A01AD67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d85c0f89f6415d8dae358131cfdc98f371a87e8e","datavalue":{"value":"10.5644/SJM.12.2.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$E105CF71-2326-4963-A52C-24D53F1039CB","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":"Q5380741$349010F2-35A2-4C41-8116-4413AFB3DE6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"998427406990cfe05e6953e99ed9a1caa256d54a","datavalue":{"value":{"time":"+2019-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5380741$3B7BF0F3-E625-4433-B35E-E4BF75F343F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$C6079274-CFB9-479A-8A60-BC92320D71BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$56E9AAC5-DB68-4C33-B7B1-7316F499ECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$1F20843B-780B-45A5-9B11-9BA29F0D1CFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0043edad50bb06d704052a4fddca0d6b50dd8618","datavalue":{"value":"7063363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$B9F6D174-3FEF-46ED-9180-F97BD3AE06BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380741$816322AD-8613-4E3A-968D-D370D2D6A856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1553eca218f43074c673b01561343865e9c11b5f","datavalue":{"value":"semigroup with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380741$95E498E5-706C-45F4-8D58-5AF96AB6A460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5386a02667bca49228a5601ab85af9b749fc0755","datavalue":{"value":"antiordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380741$52C7DFAC-7EBF-42F9-9E6E-546B0C9C136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3ef8fff11e65cc25d6afc095c76e2762fc4f30","datavalue":{"value":"implicative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380741$8D2840F5-CB5B-437F-A5BD-D6A7B9BE5DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1e076df8b8f6002df391d198240df430ce9600","datavalue":{"value":"ordered anti-filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5380741$C41D1441-A0B4-4087-A332-3E86F2BC8F4F","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":"Q5380741$CAC9E44F-13B0-4CBE-B766-C992ED5B5746","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cfc0547efa14eb56e910103724a902c501822e5","datavalue":{"value":"https://doi.org/10.5644/sjm.12.2.03","type":"string"},"datatype":"url"},"type":"statement","id":"Q5380741$2EEFAE85-3D5A-4AE8-BA26-9114D788B0D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0137529c29dca8f680abbced596a141a9551218b","datavalue":{"value":"W2571301077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5380741$56DE6287-1D30-4B42-9C36-74E0A006D950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7657d9ac820674a74e27f7d6c496d24dfc77c4e3","datavalue":{"value":{"entity-type":"item","numeric-id":2947656,"id":"Q2947656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5380741$910CC7D0-E704-4F22-AE69-D455516DAE96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619c4f04d4a311027b242a665d49b5ea8fd20716","datavalue":{"value":{"entity-type":"item","numeric-id":4989775,"id":"Q4989775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1a6c7946935d09ef0cd60e21223699630eb43a","datavalue":{"value":{"amount":"+0.8970485925674438","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":"Q5380741$CD576845-32B7-4154-A58B-D4F474E64F6A","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":"98707ef091d6f3a4e84618e473876d9dcb12e5ff","datavalue":{"value":{"amount":"+0.8861961364746094","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":"Q5380741$5F3D41BD-A163-4BD3-9954-F7A7A6E71858","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":"8075a4167c271a50d3014f77ad5cc2af2f6e6cb9","datavalue":{"value":{"amount":"+0.8723355531692505","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":"Q5380741$26E3B46B-A187-40BD-B8A3-A151D0E845A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0dda13db0f0b2cfe9a751df8b771ac7a4713674","datavalue":{"value":{"entity-type":"item","numeric-id":5035223,"id":"Q5035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098cc13a7229eb4cb3422ed0f860cffa584307a5","datavalue":{"value":{"amount":"+0.8188081383705139","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":"Q5380741$F026A784-BADA-4CAA-88CD-F6BA2B9FCE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c843f1be6e359cda62577528eec109f58bb80b5","datavalue":{"value":{"entity-type":"item","numeric-id":4566396,"id":"Q4566396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1561c78b9230f45ed27b4bbd9a3b1ae62473cf00","datavalue":{"value":{"amount":"+0.8022140860557556","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":"Q5380741$B427A7F2-0D4C-49F3-BFDD-F26723EB884F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5380741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5380741"}}}}}