{"entities":{"Q2971280":{"pageid":2982005,"ns":120,"title":"Item:Q2971280","lastrevid":79635863,"modified":"2026-05-06T14:22:30Z","type":"item","id":"Q2971280","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic weakly referential \\(\\pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6700648"}},"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":"Q2971280$FD642207-1326-4440-81BF-160018D85BC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1949e01dcee9952c7c915c01bfad11cd87b29482","datavalue":{"value":"1397.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971280$C13A8304-503C-4BFD-BDAD-2658D1D12B9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"535b1085112f42b6d5d266fc80318e6c82036fc4","datavalue":{"value":"10.4467/20842589RM.16.007.5284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971280$F04E98F8-3BF6-41F0-9F18-64E1194ABE09","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":"Q2971280$3D6288AA-8D31-4189-A40B-5BE1417A28DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c8949104cb3355067f12c7ef2dbd734933f3b0","datavalue":{"value":{"time":"+2017-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2971280$4C52C322-DBB0-435F-A8DC-DAD1EB17C224","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971280$22F4D6A0-D1AF-4C77-8ACB-632C04551316","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b1c9f6363538e39889c80049f3fd8adbd4cda94","datavalue":{"value":"6700648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971280$2C58A9CF-D553-4924-B9FA-41640B3FE187","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84d6c3cc53b1c068f239faffb36b08675c6b7ff","datavalue":{"value":"referential \\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971280$DF66763F-4DC5-496A-8E6D-EA5E228DD6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d404c9793fbbbbed23f8a0f2356a68f4aa888","datavalue":{"value":"referential semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971280$E456CB47-A815-4594-B794-71B77B97AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0c000412d151d0ef80ba47c0bb3f33c1bd78a0","datavalue":{"value":"referential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971280$10A4D55D-9035-4DD2-B0DF-3DFED7B3F74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518a2384667f6108fabbdacf3d9d63b75cb2c0d9","datavalue":{"value":"selfextensional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971280$E2FB674F-BC0E-415A-ADCE-85A14A8BB216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541cfa4ff340f83f52a2eb09f481571ccc083eb7","datavalue":{"value":"selfextensional \\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971280$5AC3024C-2E31-42BE-A565-4254A277CCCD","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":"Q2971280$4C1333B7-7B41-437D-B40F-2DA6CC0BF1F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b191e6e55e8384d10d2ed3829fe7f2acd8ffc420","datavalue":{"value":{"entity-type":"item","numeric-id":5501724,"id":"Q5501724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e49151d55b7b1f4685f21a8f01c986e1461e00c","datavalue":{"value":{"amount":"+0.9138030409812928","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":"Q2971280$8D388138-C6B7-45FE-8815-4104A3D8DAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6003e5aeb7741dff9fb0f4f5822884f1d25bc414","datavalue":{"value":{"entity-type":"item","numeric-id":5449284,"id":"Q5449284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9356fe56b9bdc7b6bb1d6bd8db170575786ec04a","datavalue":{"value":{"amount":"+0.8995416760444641","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":"Q2971280$F866FEA2-9FE2-4336-97D5-C9874754E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2d689455b9a12a3a3a738856803185a0d713e8","datavalue":{"value":{"entity-type":"item","numeric-id":368473,"id":"Q368473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc1357898b5cbde9438637be940301053169efc","datavalue":{"value":{"amount":"+0.8713036775588989","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":"Q2971280$945EBEDD-F26F-411B-898B-24F9579ABEDF","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":"05f4707d9b2b3269a42f7a774778d1f944203a1c","datavalue":{"value":{"amount":"+0.8690728545188904","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":"Q2971280$0099542F-E186-426E-B074-50BDDE6919E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafed980cd10454dee4cb64dde413944cedfa750","datavalue":{"value":{"entity-type":"item","numeric-id":4556008,"id":"Q4556008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b257a4452b84d7fc80720768652cc588ce0cc4bb","datavalue":{"value":{"amount":"+0.8455852270126343","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":"Q2971280$C116A81B-D9B2-4A7B-A453-672D8244A91B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic weakly referential \\(\\pi\\)-institutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_algebraic_logic_weakly_referential_%5C(%5Cpi%5C)-institutions"}}}}}