{"entities":{"Q5477357":{"pageid":7506916,"ns":120,"title":"Item:Q5477357","lastrevid":49871593,"modified":"2026-01-11T11:52:03Z","type":"item","id":"Q5477357","labels":{"en":{"language":"en","value":"Decidable properties of logical calculi and of varieties of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038461"}},"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":"Q5477357$CA01010B-F286-4BB6-8FF5-6279CD956136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"199cbe8d360e3002578cba069bdae5d6ce3aa31c","datavalue":{"value":"1098.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$1294B882-13E8-4D6A-9054-890BE11EB59F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477357$63190893-8AC8-4BC2-8C56-DA37F9D1B5FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$78750D38-843A-479F-BB52-2D27E1E2F248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$0FA2CE00-7EB2-421A-AB2B-7EC9966842CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$3CDA1D96-3521-4F99-9D74-27DA27905CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$C21DB0CD-DEE9-4430-8758-59F2CAB42547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$77A363CE-839E-4720-ABF4-2B579A440BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$DACCAE95-D0AE-49FC-8E67-CA867AD2006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$C7FC2DFB-0377-4066-8405-7A89634CC178","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"654e47e46361883ad9ac1e159a6cc262172f0f9c","datavalue":{"value":"5038461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477357$23228FAA-0ECD-48B5-B9FD-953E41C58562","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$10C8960F-5905-4234-A5D6-6A0976342567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$4C0CC9B2-443A-4686-8F46-F44198E6BBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29be9b1e6959e16689bfdefeff0c234003806f93","datavalue":{"value":"positive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$559D75CA-C9E7-49D6-938C-8B3AF32A6803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fefb34a06f03a7ed093316ef4d21f66c0aad8350","datavalue":{"value":"decidable property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$CD11994C-E3F8-4D5B-B3B5-7E962FC888BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$A47C748A-7DEF-4E47-A3A2-EECB2A58D1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ff4fd80c9395ddbb4f96cc98ff5ca569d2226c","datavalue":{"value":"tabularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$F8FCD27F-EAFF-48A7-A6D1-DCD30D39C559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$FA41753F-0CA4-4E7F-85C0-7D20C4C63ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477357$9D62B64C-1515-46BF-A0E0-B049A6C875E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477357$70C785BC-9BC6-4965-B804-E3350A18CD2E","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":"Q5477357$D792D6D4-F4D3-4323-BF56-5DDA410FCAB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd89ed330130753bdfba150a823a332d57f5c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4521286,"id":"Q4521286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae990ddad60ca22193f24d0c162de0b7a656ca4","datavalue":{"value":{"amount":"+0.8929571509361267","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":"Q5477357$C57DBFB2-D8C8-452B-953D-E73E2C2A7889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493344fa26c059dcc037ce9b245ae67af6dc9c39","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae990ddad60ca22193f24d0c162de0b7a656ca4","datavalue":{"value":{"amount":"+0.8929571509361267","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":"Q5477357$91687101-0C9F-472F-A1B4-5159E9897B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae20821f5bc3e90021213f5b9c530dbe42cc8a","datavalue":{"value":{"entity-type":"item","numeric-id":431717,"id":"Q431717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f279019906e425a816d4b68a0f73a8b044e01a","datavalue":{"value":{"amount":"+0.832755446434021","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":"Q5477357$2E6E8392-A598-4BED-B701-6424459B46AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdaf59e381d6ad02720c942d9eeaca9b8e3c9194","datavalue":{"value":{"entity-type":"item","numeric-id":4532622,"id":"Q4532622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a93da822ce2189cdd8369692dabcc471a41a52","datavalue":{"value":{"amount":"+0.8327444195747375","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":"Q5477357$CD5C0912-F3CB-4F0E-A8A7-1DDC68B63282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422e4b5f4c126aca5e302cf9070f47a6b228283e","datavalue":{"value":{"entity-type":"item","numeric-id":1401362,"id":"Q1401362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d976ed399cf48a22c8171f3357153eaa90549016","datavalue":{"value":{"amount":"+0.8299195766448975","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":"Q5477357$2F1CD91F-302C-4EE6-BCD3-1C967460DDA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477357"}}}}}