{"entities":{"Q3508161":{"pageid":5538065,"ns":120,"title":"Item:Q3508161","lastrevid":80599889,"modified":"2026-05-06T16:34:27Z","type":"item","id":"Q3508161","labels":{"en":{"language":"en","value":"Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based \u00a0-Institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294269"}},"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":"Q3508161$E3F64C3C-01AA-4C37-A747-4EB7D60E169F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf73c0bcd2db3d1669fb3df9ebcf4e821423f53a","datavalue":{"value":{"text":"Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based \u00a0-Institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508161$0EE7A6C9-3F62-4B31-8F6F-602A2FA4D6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c9b96fdbcf8946891eb2cd92423d2506d35a97d","datavalue":{"value":"1142.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$A7B89C95-1481-414D-9BB9-73F357C0CA72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508161$63B54B40-C31C-413B-9B2C-9638484BDC16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e95701f7df2133d12c15ff793abab3b725fdfbbe","datavalue":{"value":{"time":"+2008-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508161$9E50CF8D-1C5A-48B4-9652-38CB9ED8411F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b92e3f3a03126fe162357df3f1275d34f6f951f1","datavalue":{"value":"https://semanticscholar.org/paper/e3add4b9e4eb8367527f796cd74734077ad5f987","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508161$0E82B18D-B572-456D-A6E3-3357592535B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$1E76DBC5-D847-432C-870F-B4ABB6ECF452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$A1F73620-5309-4366-A6B8-6F42FE04DE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$C380C80B-1D74-4D86-AF91-BF51ABF4FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$F107087E-8CC8-46C5-B0D8-84AF8206ADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$0CDC3B99-11A8-409B-BFB5-E0A710F7918A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f02796107d369a9bf16c3eec02c8f2430146fed","datavalue":{"value":"5294269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$D08117ED-9704-44FF-A865-0DB8E32AF4B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$33C6508F-A71A-45E0-B0B6-6A683BB0B630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$6842C788-5EAD-4331-981E-5A6E291AE370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cb315243e484a9080e32126c6dfab7ec67eee1","datavalue":{"value":"logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$5C5C671A-F6E9-4470-95F4-2E1418F9A982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60cab573cae80d7c25e0a44792fb36da706eadbe","datavalue":{"value":"universal Horn logic without equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$F9F78166-A5CF-46D0-8A97-6EDEF1A72C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0824d6779ea3b952a4035ead593e3e9274cacec5","datavalue":{"value":"Bloom's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$5369D359-A53B-4A0B-8DD0-AAFDBB371AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$90265284-8825-447E-950B-A2CE04570606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358462202abdaf615b501181bc7caad711a809cc","datavalue":{"value":"rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$0C6BC27D-75E8-41A6-A3DD-BFB3B2C42511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff970d4ac66527e3604912b9b360c2bfd42071e9","datavalue":{"value":"filtered products","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$7A456791-4C4C-46DB-9310-5E2A9289405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3508161$EE0DE2AB-6664-4486-8215-9F3167855879","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":"Q3508161$3A99DEAF-53EB-45D0-8F43-02EE7AAC35D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2aa0d8044412eb1ded4cd5dce03f243cc56fe54","datavalue":{"value":"W2137092920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$91CF6CDF-97E0-4B84-8F60-E282F293999A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53b83608949468e63c391210de309d52c4c67c59","datavalue":{"value":"10.1093/JIGPAL/JZN002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508161$BB6E3F75-87BC-4CC6-B0A8-1A67FC1FDC55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508161$D56FA45B-50CE-45A4-BCC3-76713AA0726E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0677fbe02ff40e18c409a601e85fce55975f909","datavalue":{"value":{"entity-type":"item","numeric-id":4928968,"id":"Q4928968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97aa614467f35fe815a6ef98250a02fe64f45d4e","datavalue":{"value":{"amount":"+0.8326724171638489","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":"Q3508161$201E1769-9460-4B28-B7F9-BCA6BE18B064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ba31d85f4598eed02bb66d3a1bd5a5f3196278","datavalue":{"value":{"entity-type":"item","numeric-id":3632250,"id":"Q3632250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e471808969dcbcd85f620bfdc8436f2b355f16","datavalue":{"value":{"amount":"+0.8304728269577026","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":"Q3508161$6D40866B-9602-456A-9313-9899120A0D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6f7eff70ce6474f6e3fd7ac19c92822945eb84","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614b8fe07aec63d179b5b07cc4bd79f01c18716f","datavalue":{"value":{"amount":"+0.8198546767234802","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":"Q3508161$072F019D-09ED-4969-896C-BAA898432070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532f670057a5e3308ce4e67a4e97218f148e0661","datavalue":{"value":{"entity-type":"item","numeric-id":5505141,"id":"Q5505141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a462ce75e4c9a28e1c011e4f5d949acd2fce162","datavalue":{"value":{"amount":"+0.8163767457008362","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":"Q3508161$07FBE89D-DCDA-41AC-B4EC-BC6453B871F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3108b52140ab9b4f21b6322dde9edb857b99dd86","datavalue":{"value":{"entity-type":"item","numeric-id":2372683,"id":"Q2372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9857b0d849ab1038322ea221b5128eb15e2fff","datavalue":{"value":{"amount":"+0.8099779486656189","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":"Q3508161$3AB2E93E-5C59-490F-8FF9-F75247215754","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based -Institutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_Abstract_Algebraic_Logic:_Bloom%27s_Theorem_for_Rule-Based_-Institutions"}}}}}