{"entities":{"Q2712554":{"pageid":2723293,"ns":120,"title":"Item:Q2712554","lastrevid":44670081,"modified":"2025-11-24T22:33:57Z","type":"item","id":"Q2712554","labels":{"en":{"language":"en","value":"A note on lattice implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1594814"}},"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":"Q2712554$7B1FF920-F1A3-4CBF-B268-78FA187EBB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ba9afa4b63af2ca3f887488e950a02847793768","datavalue":{"value":"0980.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2712554$FA5A42D8-0500-43D1-A2D3-EBDC2C974131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef7c1651ae27d431fd1912225faec42dbc484d87","datavalue":{"value":{"entity-type":"item","numeric-id":991898,"id":"Q991898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2712554$96DD98D0-7ED2-403B-825C-DEEDFE63950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef37b59f652ccf02670b26b50efe168a8db12f42","datavalue":{"value":{"entity-type":"item","numeric-id":2712553,"id":"Q2712553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2712554$9E2D4BEB-CC67-41ED-8346-5873793702CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f187196cbeaa531cb0a93ba8ad652d4ca6a1fb33","datavalue":{"value":{"time":"+2001-05-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":"Q2712554$72CB3640-19B4-4597-8734-1568A2C5F80D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2712554$BD0A88AA-3C3B-41AB-91A2-2D28F3BAADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2712554$6D811A48-31E5-43BE-A925-7F3B187C964B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"367bbe749579974aaf1331d4a007d7a5c1becbe6","datavalue":{"value":"1594814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2712554$6C47974C-FA44-4CED-8F95-24B0A45B1FB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2712554$99E11F5C-C45D-4819-9296-3E798EF50B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41c91c6584f05695f073976890ae225f5248a433","datavalue":{"value":"lattice implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2712554$1B3A06CE-92A9-4B9B-9090-D9C53C7A139F","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":"Q2712554$AD4633EA-2D45-4F20-8380-E7AC805B82DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f279faf162a3e0d25c6ab14d1c75ad756816b5c","datavalue":{"value":{"text":"A note on lattice implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2712554$E27B9FD2-4A4B-4161-AD1E-7999BAD49A28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1330c4223145b61f69533c0e4a93f6a1dd88426d","datavalue":{"value":{"entity-type":"item","numeric-id":2732161,"id":"Q2732161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2712554$1760AFA8-D84E-49F4-A964-0A5DE9ECD283","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"440180b0dedb0f527b825b4419584ef4865beb56","datavalue":{"value":"In this paper a simple axiom system for lattice implication algebras is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2712554$59363675-1F09-4DDD-99E1-B5D7CEC21E56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f95cd7386eedaef653f8227ca61e824db8c93f6e","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2712554$7D26917A-8882-4FB7-AE07-6DB659E3CEB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2712554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2712554"}}}}}