{"entities":{"Q5501724":{"pageid":7531284,"ns":120,"title":"Item:Q5501724","lastrevid":101422760,"modified":"2026-06-06T01:14:05Z","type":"item","id":"Q5501724","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic referential \\(\\pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472505"}},"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":"Q5501724$B4194CF4-9385-40EF-9C3C-0FD32732A709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eae896c624e9a00ab5bd098a0ecf13a17e72087b","datavalue":{"value":"1368.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501724$DAA1CB9A-97E0-453E-A47B-A26943BE04C3","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":"Q5501724$D77C979D-A81A-4CE0-BD50-54D7C27E88AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501724$767C64D9-B9B6-41AF-AF62-7B3E2A3250B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"579fbb6ed8152d4301dcceee71249fe3b3993229","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/44_12_5.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501724$AA9775AC-0C43-4D74-BBA5-8EF0EEFAD687","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501724$57BE244D-4B3A-4212-940A-9E4AB9106516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ab724703b0b8169cdd050caefc5126b4ed098c1","datavalue":{"value":"6472505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501724$4CFFDD24-A0C8-4EC0-BB46-6FB2B3111A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0c000412d151d0ef80ba47c0bb3f33c1bd78a0","datavalue":{"value":"referential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501724$CA427413-E84B-4BF7-A841-2180B2F34F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc86a617c687ac9d1d61c7bfd9cd997143d5cd56","datavalue":{"value":"categorical abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501724$EE9F869B-4430-466B-886F-412371C63C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501724$2F2775C1-75C9-4CB5-8564-2E7C73BFC776","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":"Q5501724$3ABB647C-4308-4EE4-B9F8-0AA9591C9371","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ca4243288449b02deeb00fa0f065afd7c670ff","datavalue":{"value":{"entity-type":"item","numeric-id":2971280,"id":"Q2971280"},"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":"Q5501724$C1723838-C834-41DD-A3EE-7D10DDE09C8F","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":"3c341e37ad4bafee558e6516b056f7d0fcb6df6a","datavalue":{"value":{"amount":"+0.8999484181404114","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":"Q5501724$5B10507F-6285-4501-A4B2-27BDF8BDBF0C","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":"bffede9090b49179b8340ad60a2bf1578dda5863","datavalue":{"value":{"amount":"+0.865426778793335","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":"Q5501724$E15595D2-1EA7-4B0B-ACCE-97D61003AD7C","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":"c37ead473483b797d0cb9251311834c615108cf5","datavalue":{"value":{"amount":"+0.8632417321205139","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":"Q5501724$43B0FB7F-1B64-494C-9602-9F8B56B990FC","rank":"normal"},{"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":"c54955b707da6fe1b7f33e009529a4d7b0adac9e","datavalue":{"value":{"amount":"+0.8056362867355347","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":"Q5501724$42F3E8EE-AA38-4D0E-BD3C-716A78CD9226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic referential \\(\\pi\\)-institutions","badges":[]}}}}}