{"entities":{"Q4580204":{"pageid":6609790,"ns":120,"title":"Item:Q4580204","lastrevid":58280811,"modified":"2026-04-04T13:29:02Z","type":"item","id":"Q4580204","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917170"}},"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":"Q4580204$E156F3B0-7401-429C-8123-1728E2525013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48de89a607c8c05b8d5b0a8da9aee2b02d9c2062","datavalue":{"value":"1433.03160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$DA9813F3-8FC5-4BB8-B544-62DF63B4880B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580204$8C21A7C6-F769-405F-B609-8C5085004DA8","rank":"normal"},{"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":"Q4580204$F051191D-0B65-48FC-ACCE-7C6395EB7668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580204$E2CDD8BE-FE0D-463D-99BC-BBEA4E0146C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d56ce4115da282e545b1c657e71b4da54512c438","datavalue":{"value":"https://arxiv.org/abs/1812.07288","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580204$181E6F37-B02F-4008-982D-869E24BD9546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$28B9FC95-CC66-4483-B4F9-C6FE0825B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$5990FA90-7A5A-4E36-B63B-412FBF1C32EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$DE5E0982-8526-404A-A209-E22DC4407BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$5373D6F2-7E4C-496E-91C4-CD5061F62A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$38494147-8028-465F-829D-B58B40EB0F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b65ff38f639ee4a0bc928de783ac4e8e3037a00d","datavalue":{"value":"6917170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$0056BCD3-1018-455F-89CC-5481C5603B4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$32EF87C4-9270-44D7-B52C-03DCA2B3F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$2A46D5CC-9161-4EE6-A90D-FE37CFB8491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$93BAD337-623C-44AA-981D-EB19DE8940FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$07A6CAB1-0124-4986-91E6-1735489F123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$A9001EC6-481D-4DF5-B111-97506820DB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338832971d2c4ecc97328ab09c9356f879bc7933","datavalue":{"value":"positive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$A923C604-AB6D-4FEC-A8D3-A92E1843487D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2530a29a5059e11311890e22f1b745a9a830b036","datavalue":{"value":"monotone modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580204$FDA230C3-6979-450F-A557-54DE344BC968","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":"Q4580204$6826B415-1525-43C9-A59C-D2456F1C5B55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"191fb73354859e760d1799fbf5c43fe6de7cb908","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580204$5DA91FF5-B56E-4920-800F-A721598E19FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ccd3c6d9558d005b0d82e22b0a538b63eff9aa5","datavalue":{"value":{"entity-type":"item","numeric-id":703528,"id":"Q703528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f00c8a2f358334eddc41ce82a33c136d0f42b27","datavalue":{"value":{"amount":"+0.9590636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$A7AC1C75-AF70-4054-9079-48F626D69FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fa448e60df552cecae71a066b0ad168c8483ee","datavalue":{"value":{"entity-type":"item","numeric-id":5419889,"id":"Q5419889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec30aff169145959b66984606706ca4cf7e6fad","datavalue":{"value":{"amount":"+0.95899355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$77341E18-C52A-4329-AD65-ED1F93C36ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4343a3e2bec4b63752fa6cc406883a8078bd3d0","datavalue":{"value":{"entity-type":"item","numeric-id":3196349,"id":"Q3196349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7ead705c54ab6324b8f6988cc8f7f4486b4718","datavalue":{"value":{"amount":"+0.9553127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$8EB3DB03-B07F-4BBA-AFD3-AEC56F5298BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70207880ca373230a84547d49c0e846e15c2533a","datavalue":{"value":{"entity-type":"item","numeric-id":2848939,"id":"Q2848939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7ead705c54ab6324b8f6988cc8f7f4486b4718","datavalue":{"value":{"amount":"+0.9553127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$AE2FF132-3233-4429-85D2-785142455ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0914d55f629aece19c93be1333e9499dfc9e4584","datavalue":{"value":{"entity-type":"item","numeric-id":2843730,"id":"Q2843730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adfbe172df02268a0ad60d24aeaa3404cad469df","datavalue":{"value":{"amount":"+0.9513472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$9E8655AF-6E0A-42CF-AB57-79AEAFBCCB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c17e88fa57f37d2ecb53dff7724933392874016","datavalue":{"value":{"entity-type":"item","numeric-id":3133183,"id":"Q3133183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526a21dbb379ae3a90caa80a2a3babbae3b5a59c","datavalue":{"value":{"amount":"+0.9449723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$9CC71B71-0E31-42D3-A766-A5484D84AD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505783e2c67752c4153b7bd601d69f6dfe5c3101","datavalue":{"value":{"entity-type":"item","numeric-id":2863171,"id":"Q2863171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcc8311a9c592c1f8f1e324e6b1824ce56907c7","datavalue":{"value":{"amount":"+0.9240601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$FDA8A092-D2DD-4A8D-97A2-4FB54622A0EA","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":"d5e202eb05f9da2924032461cc414034c17a0c98","datavalue":{"value":{"amount":"+0.9190018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$50046967-92F8-4E79-83BB-BFDB576D284E","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":"8b8e8b1ea822f312660dcbcf11c6460475b670c1","datavalue":{"value":{"amount":"+0.9189637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$657E7000-22D4-4681-BA1A-8AD75ED9DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ccfeda4760a41893710f9ce543af07afb6f27d","datavalue":{"value":{"entity-type":"item","numeric-id":1798781,"id":"Q1798781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b763e9748740aa2a20fed31d436b7db606f8dad4","datavalue":{"value":{"amount":"+0.9170536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580204$2B9B6999-3BC8-4497-9663-8212929D232E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580204"}}}}}