{"entities":{"Q5438762":{"pageid":7468326,"ns":120,"title":"Item:Q5438762","lastrevid":39600278,"modified":"2024-12-30T16:00:19Z","type":"item","id":"Q5438762","labels":{"en":{"language":"en","value":"Iimplication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5230173"}},"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":"Q5438762$90D9D02E-949A-4D76-98F1-B86DDABCDEAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8dbb84a3b5fd318b614ef006d878d5e4f159df2","datavalue":{"value":{"text":"Iimplication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5438762$2682B88B-80B8-459F-88A2-9984393EF8BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41d91daac04b36db99cbf8e879fbeaa50a3a1941","datavalue":{"value":"1133.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$1388594F-1524-4F7E-BCEF-8157FA6C430C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"363aee25a98ce67732914c093ac214e7ac2a5e35","datavalue":{"value":{"entity-type":"item","numeric-id":2717939,"id":"Q2717939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5438762$152BF238-A1E2-4013-9179-6529A9EFDFD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"372f752557d73ba82f074b12840a5ad5472fa63a","datavalue":{"value":{"time":"+2008-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5438762$22FBDF6E-28BC-4709-A4E3-7771CFEE3E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$97743B9C-ABF1-4B67-97F5-71AEF8616339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$8D2CC218-A537-4491-AF4E-D1ACEE8FB139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$3D723AC1-7A3F-40A9-B5C6-066150FEC8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$77802BD7-352E-42CD-8D6F-BA0987A44297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$AE944992-EE54-4A3C-B99D-AA35875F08A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"618e88b04062d050c16e955b5a9e73b3056576d1","datavalue":{"value":"5230173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$4EE66BD9-7D8F-4C2E-857F-356E0ADDC3CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438762$35809C9D-005E-4A3A-9547-79E2EC32BFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70efd5a094b48175b6c444abe6f1f28b1acd711","datavalue":{"value":"pre-implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438762$A3284461-5E80-4867-8CF8-9779035283E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948589998a81218570786aa989eb7058fa1dc4b0","datavalue":{"value":"orthoimplication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438762$4656E626-2865-451F-969E-433FDC3E835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9433ada9ad5e4cc97bb962120f041f64729d91","datavalue":{"value":"orthosemilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438762$502E40C7-BD3C-4978-B33A-7C1F21429479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0495c85691d83fcd51a0b9b826df2c1103fb8259","datavalue":{"value":"congruence kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438762$246385A7-51A4-4A51-B1C5-0735D01B6DCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5438762$F735F9ED-3EFD-4E3E-B465-ABE9FE2E5574","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":"Q5438762$904A564D-7AD0-4B86-B215-0BFAFC089F89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8a302d4af505232d06452480360822feb4f59b7","datavalue":{"value":"https://doi.org/10.7151/dmgaa.1108","type":"string"},"datatype":"url"},"type":"statement","id":"Q5438762$793E3F24-F499-4C4A-BD54-96E80E9B9EF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb92890148dffe711b7762820d29708c6d2b705f","datavalue":{"value":"W4243036968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$30B51332-CEF7-49A2-A563-07512A7C1FEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a35fad1c8c3eb7b7dfc716fc544b8fac70fd9fa0","datavalue":{"value":"10.7151/DMGAA.1108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438762$F88CB328-26AC-46A1-B36E-1A4BBFD0D64F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5438762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5438762"}}}}}