{"entities":{"Q5379646":{"pageid":7409220,"ns":120,"title":"Item:Q5379646","lastrevid":53446004,"modified":"2026-01-24T23:35:28Z","type":"item","id":"Q5379646","labels":{"en":{"language":"en","value":"Strongly extensional homomorphism of implicative semigroups with apartness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7065709"}},"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":"Q5379646$44F38FC8-5C52-4FFD-8688-682D0932F94E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30171ea6868098973a036912dc7e05c55ec997e7","datavalue":{"value":"1424.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379646$515B942F-BF41-49F5-AB1F-05B697C5ADEC","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":"Q5379646$4C54B964-A621-44D7-8EC7-923A72942330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ad76b5dd25eb2fe9929fa11937c74cde9ae1865","datavalue":{"value":{"time":"+2019-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5379646$AC418854-89D3-4E9B-994B-C1000C3F0ECA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379646$C2D9ED04-7B38-4CD4-A2FB-C79751F16CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379646$92500472-53BD-4465-8C8C-3605F017FAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379646$610DECF4-DB1E-47AE-BCFC-F08CB920986F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c156bba079e45e81194aa352eeff184f8f7b536e","datavalue":{"value":"7065709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5379646$B6F6BF2E-F3BA-4A5D-840C-FF3862548E02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379646$17360F67-9D20-4F22-9F6A-72CE5CAD575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1553eca218f43074c673b01561343865e9c11b5f","datavalue":{"value":"semigroup with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379646$3945BD1E-93F5-4354-B662-216C706F5E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb29cff98caf511bacb7993b2bc0495bf4b1faa1","datavalue":{"value":"anti-ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379646$3190C2B5-67B6-45BD-9865-2BF164C50835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3ef8fff11e65cc25d6afc095c76e2762fc4f30","datavalue":{"value":"implicative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379646$DD41E04D-32FB-4BB1-BDDB-6A55A2296644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1446ef73dab79bc96b35f114e1d7d34d1424ef65","datavalue":{"value":"homomorphism of implicative semigroups with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5379646$82E44D00-F5D0-4FD8-845F-7445D62327A1","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":"Q5379646$6C37F82F-1966-4454-8469-4DBFCEEE0177","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb12fc044cd2608404dff4c09f145a24d11fcf3d","datavalue":{"value":{"entity-type":"item","numeric-id":3394379,"id":"Q3394379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$32B97BA8-00C2-41B5-840C-5B8F50DBA438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$1E6C431F-4FE7-440A-BB06-5305D123E341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$04178116-F431-4A0C-A4C3-408EB1A63687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$21F05532-B6B9-46DB-8946-93EF8AE1E28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147334558d4d7978a869b237aedfe5d0e03372a","datavalue":{"value":{"entity-type":"item","numeric-id":5510810,"id":"Q5510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$7AC7EDDE-361A-460A-AC05-77F8E055E26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$13E3A12D-2C91-43CD-AFDF-7441AA78C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$CF8E2A12-1018-43AF-AB1D-612211D38058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64caf8cf4f9d360fae3934778a1f899838eaf293","datavalue":{"value":{"entity-type":"item","numeric-id":1206773,"id":"Q1206773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$FB3D595B-EEBC-4ED8-83AD-7CDC30BBC8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e854fb0597dd875b455998e4f01a055663e8364f","datavalue":{"value":{"entity-type":"item","numeric-id":5396223,"id":"Q5396223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$7EC084CB-1E9C-41CF-A1A5-59944B4D437A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f76c8e6a10331f9e68f6d31c51d813c4560d33e","datavalue":{"value":{"entity-type":"item","numeric-id":3895519,"id":"Q3895519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$4AC82720-1524-4D16-8FAC-14E18D4770CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dddd341726671abb84822e048691c2ebccf28bb","datavalue":{"value":{"entity-type":"item","numeric-id":4351506,"id":"Q4351506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$3CA3EF2A-4C13-4ADF-9AF3-8A9C1245CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22eee2251a903a5e0c9ac62d24a696b82c38181b","datavalue":{"value":{"entity-type":"item","numeric-id":1607733,"id":"Q1607733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$412F38C8-4CD0-44F4-B6AE-252F8B90B3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6f61df7b8f194135173e4ca1596409a8dd7c8","datavalue":{"value":{"entity-type":"item","numeric-id":2365283,"id":"Q2365283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$0D310BD3-6723-4237-948A-898DC84BF140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86feb9043b6584dc3c585e6c9fd91bb1186a4251","datavalue":{"value":{"entity-type":"item","numeric-id":1599730,"id":"Q1599730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$BAE05ECC-2080-4484-B536-E581F8090F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6bef2e815c822342a89ff9e4c6c993ae2456c0","datavalue":{"value":{"entity-type":"item","numeric-id":3030826,"id":"Q3030826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$ADD2C21D-E020-48C4-9C49-BB2557821AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$773F230D-668A-40F1-9B46-BE62D5D4014C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf0c81be7ce773f5dd6bc35521b7b561c4306cd","datavalue":{"value":{"entity-type":"item","numeric-id":1818431,"id":"Q1818431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$A530843E-6EFD-41AD-8522-E12C54B81717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866315215a56b626d13dd05d63398f63ab1fab11","datavalue":{"value":{"entity-type":"item","numeric-id":3510279,"id":"Q3510279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$695F0132-049F-4C7D-BDB8-6930C10EAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8206938055b773daa066aa7e2c09edd64bf54f","datavalue":{"value":{"entity-type":"item","numeric-id":3184875,"id":"Q3184875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$9F0AC317-0512-4F53-AC21-52F573346E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233acaa974759c4911fd60f8a2775e2c3fbff012","datavalue":{"value":{"entity-type":"item","numeric-id":2861428,"id":"Q2861428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$60D5F4C3-FBD4-4FF2-9376-611B9D82D273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616a1be3618154d760c4fcadee3fcc3248072652","datavalue":{"value":{"entity-type":"item","numeric-id":5746544,"id":"Q5746544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$05844B64-944B-4B07-B4A8-461D9E4579B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9041c176d74594380870c1003e7e59ca1997698a","datavalue":{"value":{"entity-type":"item","numeric-id":5380741,"id":"Q5380741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$07729552-7A9C-4D00-9D3C-099F36C07CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b854bcd8bb80dcf735328c86300acaa520079247","datavalue":{"value":{"entity-type":"item","numeric-id":4678705,"id":"Q4678705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$E5DE0CE8-F12C-41C8-8318-9B3821253826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b58afaee2e71382301784bdcdae0ef0dfd41b59","datavalue":{"value":{"entity-type":"item","numeric-id":3520483,"id":"Q3520483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$D7B3600C-E726-48ED-AEF7-87826470E8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$61389A0B-8A50-4094-A96E-298CC64D4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ac31e7079c268f1586a21a3b0b81ef65a18102","datavalue":{"value":{"entity-type":"item","numeric-id":4552746,"id":"Q4552746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5379646$3CC8448D-787F-4DEB-B0BD-C8A19FE56F84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76199667d40329ad869040fbab0fa38a0171029","datavalue":{"value":{"entity-type":"item","numeric-id":5380741,"id":"Q5380741"},"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":"Q5379646$08817862-6810-4DCA-ACD2-98D90E9DBB9E","rank":"normal"},{"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":"9a7ad06d1c6e170276ffc3f1e375cf5dfeb7f90f","datavalue":{"value":{"amount":"+0.8479405641555786","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":"Q5379646$77774F6A-FEB2-4515-BF44-96547E6EDB17","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":"7e57c0e12c3d287948dcd9a20637d42743b82bd7","datavalue":{"value":{"amount":"+0.829972505569458","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":"Q5379646$43D81E51-0AF6-4271-B14D-9C57F45CC66E","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":"d72fceea4e69310b85acb05f562f1586dd43e3d1","datavalue":{"value":{"amount":"+0.7908772230148315","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":"Q5379646$5249C59F-B093-416A-95E1-405688C57B4B","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":"bac2673c20804bfce1b5547eb212a18bb176ba6a","datavalue":{"value":{"amount":"+0.7856245040893555","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":"Q5379646$EFB2D37F-1865-4766-9331-ADF47418A183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5379646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5379646"}}}}}