{"entities":{"Q6913894":{"pageid":20985592,"ns":120,"title":"Item:Q6913894","lastrevid":84154064,"modified":"2026-05-12T09:37:50Z","type":"item","id":"Q6913894","labels":{"en":{"language":"en","value":"Algebraic semantics for weak subintuitionistic logic WF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8108201"}},"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":"Q6913894$926207E6-A680-4592-AD07-37B98173FD36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48854b1f6d87ebc35b9368075df542d58e7750c5","datavalue":{"value":{"text":"Algebraic semantics for weak subintuitionistic logic WF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6913894$33D338A3-A46A-4F97-88C7-983F68FB856E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132ccbeaee29d5c43f81a750aad34d74f9ac131b","datavalue":{"value":"10.1007/S00153-025-00979-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913894$F8114D74-DD6D-4E77-8662-937470744901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a5f800bf12e5ad2879f68c597794d9e8cc586f","datavalue":{"value":{"entity-type":"item","numeric-id":1788332,"id":"Q1788332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$63D81403-2409-40B7-991C-579A186F4834","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$1FD380DC-1BEB-49B1-9804-B870822EBCBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c7f9c2132155a62eb33380cc01c5871343e64e6","datavalue":{"value":{"time":"+2025-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6913894$DD8E505D-40A7-4BEC-828D-164DF5DFF784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913894$C37EFDB7-3A3F-42D9-8D5A-CB055F7554C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58138655a53555504d6fbe221089f1baa0508a0b","datavalue":{"value":"8108201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913894$15175121-0DA9-4951-878A-1A98284F7863","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8bd14818809850bf27250fd25a9736bf8d4572","datavalue":{"value":"Subintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913894$FEDCA622-DA3E-4005-8D79-58FB1AF06BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff378006a31642c5fb847ac0784eb5e359a5de31","datavalue":{"value":"Distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913894$7C6ED6EC-D4CF-4423-A95B-F10CD2DB66A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9d1c69c9375ef62d369a66be7dbdc1cd9e7929","datavalue":{"value":"Amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913894$A4021ADB-9CF0-47AE-B87E-6A0AC657F854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b31b246d357f4f6427de152b5e7dab1f12b8e91","datavalue":{"value":"WF algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913894$1338FE09-F63F-43F8-8FA5-805DE89297D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77506e2ffe9b28b4f7a7f612735e86498b1a20f0","datavalue":{"value":"Variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913894$98F6A4CF-F969-40F8-BD7A-6F3C4F8B246C","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":"Q6913894$BEA3CB3A-B152-42E8-B295-EABBA3B0B79C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$1A8C5109-A59C-4AF0-8877-E4D11540E4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$02071C35-724B-4A3C-A451-8782DED13825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc99255dfc374c1174eb3daf82cbed730443929f","datavalue":{"value":{"entity-type":"item","numeric-id":862346,"id":"Q862346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$AEBDE914-590B-459B-B173-5749AD43E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969ef26fcfdf9d5d5849cddfe8c4018a9c28da57","datavalue":{"value":{"entity-type":"item","numeric-id":1788333,"id":"Q1788333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$55129FD8-CC03-42A0-838C-5B5DCA425C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b048122d2766cbe912f0cc28c51c9a869f1767","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$E1958099-6A11-4CA1-BF89-4ED284E8DE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$432D17F9-1035-4A1A-9B6C-EA03C80DA790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2bfe72e8d3cb7f439a24d8b4eff81d7a1c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$7CDDB1ED-25E6-440B-9329-D8CCE59EA2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa503d3a985964dc5fae9c7856e98fbb9725bbb6","datavalue":{"value":{"entity-type":"item","numeric-id":6084524,"id":"Q6084524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$232615CD-94CE-450D-A728-261D40B06884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63db2fa61671299b80cc8a761251cb7500c5fbf9","datavalue":{"value":{"entity-type":"item","numeric-id":4644479,"id":"Q4644479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$3AA37111-FCC2-46C0-B0E8-F9F0EAF44885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b25dbf884c32ddec6cbd0b7832b22b91b900c0","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$F4E54E05-170C-456C-972B-A624A8E65058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$4E3D46D3-76EE-47F5-B866-8E72525D553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$C5252E18-7182-4EF0-A247-D0A575D85E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3144d96cf0db6ecf30cc0e25f6bf708a1fcd1305","datavalue":{"value":{"entity-type":"item","numeric-id":6989531,"id":"Q6989531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$E45B3E1B-EF6D-434B-87AE-8FCAB34A84D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daa639ffc76cbb3c5d85ac6c619191ceb5aaf0f","datavalue":{"value":{"entity-type":"item","numeric-id":2153831,"id":"Q2153831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$08185D00-8E7B-4AF6-A7CC-690BF32C03D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$351982D8-DA56-4A1B-B638-771A2EE41925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913894$387B64F3-5FC3-4151-83FF-F4E412A3E327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic semantics for weak subintuitionistic logic WF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_semantics_for_weak_subintuitionistic_logic_WF"}}}}}