{"entities":{"Q4533390":{"pageid":6562982,"ns":120,"title":"Item:Q4533390","lastrevid":47927632,"modified":"2026-01-03T02:50:54Z","type":"item","id":"Q4533390","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753205"}},"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":"Q4533390$F76F77CA-22D2-4CFB-BC3A-36C5090CDB0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"193fd64c51b77e702fdae38d4bd7de68bf35372b","datavalue":{"value":"0995.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$41507780-D034-4336-A65A-1FF7EBA60D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f68db7820fe82f49f837868cefbda566273ef21","datavalue":{"value":{"time":"+2002-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4533390$381E7890-3176-40F8-AC47-B5A8C4DFB56D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$E792DF7B-E342-4007-BB42-0C107D691CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$8DF22050-0E7C-4BAB-95EF-89F235A2D58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$C71B55E5-09D3-4C3C-83EB-2A4EAE65AE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$45AB268F-680E-43ED-87DD-2920DAF94EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$80CE5600-E421-4E84-95CD-DC2C771984E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$84EA6D00-B97C-498D-81E4-6247FAE30A2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"749a3ca54df66e4181f4b2482f28a67dc3ba5ddc","datavalue":{"value":"1753205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4533390$B81817F6-249D-47FB-9F85-A465C687D257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$47983660-8B01-41C5-B50A-60712B3AEB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e8891eb2bae2767b9c2b71ab366c35e0fddfe1","datavalue":{"value":"categories of coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$FAA12131-A52A-4228-964D-DA5E84EC0679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c90f0f86ab266c4a68df828265cc8ac1d9f80a","datavalue":{"value":"categories of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$DDF6BC97-A409-40EB-A5AA-374A6911EF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$0A20F7D7-68CC-4B27-830E-754BB65A3F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$9A9F87FE-9842-4DEB-B272-2A23B66F0EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4affa3b3f73af582c21cf61e4fee92c2d56b7965","datavalue":{"value":"signature functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$342B0B4D-2306-4724-9C49-243A35D5659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$66715892-AA10-4C1E-9578-3C9E65CB3E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6467feb29480fc0d23a00885a26afb6416dc114","datavalue":{"value":"coalgebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$356E61BC-007A-4665-ABD1-B324A3EAFB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4533390$375C7818-1D93-4422-95FA-F97CB3689F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4533390$76980ED4-B728-44C4-8696-15A424E16927","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":"Q4533390$0A157358-7C6D-40EF-94AA-127F47DCD549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa4482fbb268e79d8ac2dfec4587ebe8e7fc075","datavalue":{"value":{"amount":"+0.893321692943573","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":"Q4533390$B8FF451A-4DB0-4447-91F9-DB023A3D9C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3560a43408b5554698ae3a733e4665cacf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ac029cfb16cbc1efa5a96fac5da5ab3932bbb2","datavalue":{"value":{"amount":"+0.8912736773490906","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":"Q4533390$44AB93E6-673B-4321-8A8B-44CA13E26243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ac029cfb16cbc1efa5a96fac5da5ab3932bbb2","datavalue":{"value":{"amount":"+0.8912736773490906","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":"Q4533390$3AE11F84-E4DA-403B-9A98-D46FCF56912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b96be69ec69a31035c6df3b52a644c82fee2d97","datavalue":{"value":{"amount":"+0.8768255114555359","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":"Q4533390$17DAED3F-993B-44A3-9155-9AE7CE6BA265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0575f9cc6e3c3a021aed09e640314a5252f3480","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f04db0b9ac410a6b15689346c585fabaf7916e","datavalue":{"value":{"amount":"+0.8457716703414917","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":"Q4533390$D8EC64A5-EB89-4C33-8CC7-E01836315173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4533390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4533390"}}}}}