{"entities":{"Q5875347":{"pageid":7904898,"ns":120,"title":"Item:Q5875347","lastrevid":55434511,"modified":"2026-02-17T16:19:03Z","type":"item","id":"Q5875347","labels":{"en":{"language":"en","value":"Coalgebraic geometric logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649890"}},"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":"Q5875347$98C8D971-A8BF-497E-B7EA-397D1319FFB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$66FC8660-66C0-4A12-8995-569C486C1201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81242a8eba707b179b483553438b1a78dda87738","datavalue":{"value":{"entity-type":"item","numeric-id":2144185,"id":"Q2144185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$C8DC6FCD-741A-46F7-AFAA-2F4470B61BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$B5C743B0-456F-4ECA-971B-6DD5047E099E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-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":"Q5875347$1DDB9D5D-26AB-49E5-8E85-6D11B7877670","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d3a11898b86c21692e97788e1d1898d73d84631","datavalue":{"value":"https://arxiv.org/abs/1903.08837","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875347$F76FF20B-4104-49F3-8718-DDB2AF642936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875347$3871EED2-5770-4908-99B1-03CE3A317FF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec2d899ae7c3021f88f34de58adeca571d2a1c08","datavalue":{"value":"7649890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875347$4F376EDD-8C3A-41A4-9248-25B8CCF166C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875347$299325F2-9E63-4C2F-BC13-297F9796ABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875347$5DCD0CC9-EB8C-47C3-ACED-10FCB3B8870A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875347$440E0DB2-582B-497A-B4D1-68A96878580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875347$7C3B36F2-70E3-4A26-9287-DDA2FDC65A11","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":"Q5875347$7A8DE831-5C1C-47ED-8732-1A6D8081EA11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc00d2e6dc68d1a978a15a264bc33003641aec8","datavalue":{"value":{"entity-type":"item","numeric-id":4580199,"id":"Q4580199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$277C6D07-DC87-4EC2-9A05-17205208FA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461005635ed32236ab39f32aa2e20e80f3831de0","datavalue":{"value":{"entity-type":"item","numeric-id":5176544,"id":"Q5176544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$8CB79B12-05F4-47A2-8D69-0834C8380D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab330d0ecbefd32191900a54b51a22af877e532","datavalue":{"value":{"entity-type":"item","numeric-id":5875347,"id":"Q5875347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$B3D13687-2259-4341-B36C-1B60421EA1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44327a5579a0cbf0c357be79a96c284d752ebbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3056296,"id":"Q3056296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$FC063F2E-4BDD-47A6-B421-AB0EA673912B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$1ED5F270-0D4E-43D4-BD9E-576099AC481B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600bec25836e205f713f84df55d7796d3273ba65","datavalue":{"value":{"entity-type":"item","numeric-id":283748,"id":"Q283748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$0596B019-977F-4AFD-962B-34C3D5718FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f38ff1ded7b5df8889f367e9c22772b1fe2c1488","datavalue":{"value":{"entity-type":"item","numeric-id":4612432,"id":"Q4612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$AE78B229-AC08-477E-A715-055740FC12C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2803ca579abe915c27350846bb0ef301e46e6070","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$CF3C15C7-15A9-4329-90C7-CE253B7E7875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$DF717488-891E-4519-8147-5835CE48EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$CC5D1981-C4AD-4188-B480-CE511F9EEB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$99001F8E-7A48-428F-A050-8DBA7186EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$EBE6993D-407E-4B72-B75A-739E2CEB7758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$60549142-B541-4410-B034-700F89BBEF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d11bf71149c25701e7a355c8b76fb05e682683","datavalue":{"value":{"entity-type":"item","numeric-id":5492826,"id":"Q5492826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$583BEFDD-76DF-46E5-A4B5-AD038F149A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$31D8090A-79F5-4E13-9CFA-E44A06764AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$7E2F4E33-889C-4C19-A3F6-CEFE0FC3E8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc59dad01421f0a964152eb9040269c855c67b","datavalue":{"value":{"entity-type":"item","numeric-id":5806377,"id":"Q5806377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$36F7A93E-B6F0-4105-BB1B-BAB0C8C4DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$28B95BDA-F937-4A40-8865-40C0F2B9E1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$3D7F0DAE-2C9F-4519-A79A-E8B976A6AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$C8585BC5-12DA-427A-8A50-F2E0524B6667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$B7D4F166-1D8B-4A16-86AB-B71B20622282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875347$4B6AE48D-5FE5-4F56-9322-59F5D9F0DC0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50049f67709abe6311ccdb375466bb34229e6117","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875347$B4E98CFA-5C46-4F5C-8265-93A13318AB79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e022ced04c63471408ea5284dd8d893432aae2","datavalue":{"value":{"entity-type":"item","numeric-id":5060182,"id":"Q5060182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94dcb2493dd0a07f8e89896f79dfd9d660d9a59c","datavalue":{"value":{"amount":"+0.9866693019866944","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":"Q5875347$37B78D9F-28F6-461D-83C9-F0BB7F8F795F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd272f34e3359ea08563c048e01cbc9d55be358","datavalue":{"value":{"entity-type":"item","numeric-id":283748,"id":"Q283748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9859e9967ff643d69443b40fb8cef646b5af673","datavalue":{"value":{"amount":"+0.8366061449050903","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":"Q5875347$664C12C1-9ECD-45E9-8C4E-ABDC748B299F","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":"31582199c458fa56b78bfb4127fabacf14b585e0","datavalue":{"value":{"amount":"+0.8150119781494141","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":"Q5875347$06186D61-AD6E-437B-BE46-0863AAE7C37B","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":"a2ece6cd57a8dc4d30a1fcd15de3ec2cb46ff93e","datavalue":{"value":{"amount":"+0.8125782012939453","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":"Q5875347$2015EC79-BCD6-4FAD-B8FC-467AC94C75F5","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":"207d1cbddba1ec950387c3f7bd7a3262da1cdfe9","datavalue":{"value":{"amount":"+0.8075866103172302","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":"Q5875347$3FE80235-634E-4ED2-88C3-455E903B836F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875347"}}}}}