{"entities":{"Q4989801":{"pageid":7019378,"ns":120,"title":"Item:Q4989801","lastrevid":91263164,"modified":"2026-06-04T22:42:08Z","type":"item","id":"Q4989801","labels":{"en":{"language":"en","value":"A remark on co-ideals in implicative semigroups with apartness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351407"}},"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":"Q4989801$DF574893-BD34-4961-956E-7276959ABB09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f25518ac376f2e9bfa268a027627890b4473a3e","datavalue":{"value":"1474.03149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989801$F5A1CB9E-6134-4FE7-A675-126A0354C578","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":"Q4989801$FEEDB968-8AC9-4235-882D-042FDB4DA5B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989801$8A5D4480-401C-44C0-AB8E-6B5758ACA0FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989801$248CC843-429A-489D-A011-C0AC5B0DA9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989801$07B1198E-3B24-4FC4-80F8-D79E4964466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989801$8EC45E6B-6CD7-4983-BBD4-371BF7AAD16E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7612e8ab85bc31984ac91e23a133287c245e4bff","datavalue":{"value":"7351407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989801$FD5335AA-1AE0-4CC0-A85B-4052E3122AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989801$60ACCE05-9F44-4CB2-B87B-49A2934DEE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1553eca218f43074c673b01561343865e9c11b5f","datavalue":{"value":"semigroup with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989801$0A8E2F5E-3FE7-4C17-978A-F07C4046258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"087637a4a7d71ede8e29b33b7a15b8e21e3b7310","datavalue":{"value":"co-ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989801$B5B8D373-483D-4C2D-B1EB-51EE77C27154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103c77e95d6ecce5073361df4fb6ae5c054902b6","datavalue":{"value":"implicative semigroups with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989801$181B759F-A730-4945-A379-83BDB544E48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66efba2852a74aea42d92b9e0df1ac6bd9d94e27","datavalue":{"value":"co-ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989801$B7727DFA-232C-437C-BE97-1CF169413C26","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":"Q4989801$312030C4-5EFB-44F8-B188-18943E1E43CE","rank":"normal"}],"P1643":[{"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":"1bde2858a12f4516ab7ffcbf0b00f9bbc73d8215","datavalue":{"value":{"amount":"+0.8387442827224731","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":"Q4989801$466D5BB3-2D8F-40BD-85A3-10F7D549AA9C","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":"715c84e5417f46a2e1d7942e2f78b852b2b77722","datavalue":{"value":{"amount":"+0.7764872908592224","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":"Q4989801$97C2FA46-1E73-4D94-B9B4-128349425F88","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":"59bd9715e891aee61b8bf5154f084121f80d4fc9","datavalue":{"value":{"amount":"+0.7711566686630249","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":"Q4989801$1F163015-ACD8-42B7-A7B9-A011D448451D","rank":"normal"},{"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":"3a52d5b77103a6f6bbd3071787430a7ed2d4e55a","datavalue":{"value":{"amount":"+0.7609098553657532","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":"Q4989801$0E4E1D5F-1EAF-4BC0-98DF-DAFED17B45A8","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":"b387b7faf75b4ca6cdd3b2f35b5073efcc6a9bc0","datavalue":{"value":{"amount":"+0.7494447231292725","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":"Q4989801$00FEA73D-B6C2-4091-B24D-51738AB2BD6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A remark on co-ideals in implicative semigroups with apartness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_remark_on_co-ideals_in_implicative_semigroups_with_apartness"}}}}}