{"entities":{"Q2862925":{"pageid":2873645,"ns":120,"title":"Item:Q2862925","lastrevid":51876989,"modified":"2026-01-20T11:13:29Z","type":"item","id":"Q2862925","labels":{"en":{"language":"en","value":"Programming semantics to topological systems to lattice-valued topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6231087"}},"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":"Q2862925$19F9C2AE-BD65-427B-89A6-60386EE67A65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a15593f8ddffa168b6576932a363b792a5b07f0","datavalue":{"value":"1291.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$D5F246AF-C46D-48D1-8692-7450591726FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e058e570ac1a02682b773747071d3bbbc893e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":277327,"id":"Q277327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862925$A3A9E353-29DE-4C29-8375-DAEC5C6277D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08bc233ba100256d67af5d7ddbbb8777568c696b","datavalue":{"value":{"entity-type":"item","numeric-id":277328,"id":"Q277328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862925$BA27F76E-9260-490D-A594-58C0A37BD0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"370f55db45e0a9c97193292d705dfc77e60381b9","datavalue":{"value":{"entity-type":"item","numeric-id":277329,"id":"Q277329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862925$5BD4D7A8-8D45-4C43-AB0C-DF0F8EBC60F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f7566e024a16cf52f73fcdfcca03553b1c80ae7","datavalue":{"value":{"time":"+2013-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2862925$40274A77-392D-4830-8123-0B3DE96314B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$D523587C-2E08-41DE-8C23-AAB90D811451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$3D14829B-30E1-4AAA-ADE4-00195C8E05CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$0E48545F-D9D3-480F-A0DD-47A273CD6401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$11FEB305-055E-45E7-9202-D66FFDEEAEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cf4f54dcf76751df31d814baad823818421bbd0","datavalue":{"value":"54A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$DF334DB6-1EDB-49A8-8D68-2612495F13A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$DE07AEC3-AE30-454A-A4A0-54B1EEC4C88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$E80C7C96-E6D7-43A9-B7EB-849F1E56EF76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a7895d29b069054f67dbebbd3b157ecde76957a","datavalue":{"value":"6231087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2862925$388ADA64-EBD6-4F5B-B36E-7616F926F5F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b05e6c354fdcadadc6562f81f26dafeabff40e","datavalue":{"value":"postcondition predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$DD284A8D-4A97-4504-B029-866ADDEF4E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"698cb27e45601152eaac86f40719817a70f68f7b","datavalue":{"value":"precondition predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$8A8580F1-5151-4826-A682-152914A73001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6f8b8c922b756a58eab555ec7a05e540196834","datavalue":{"value":"deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$B8D8C0A7-7CFA-4432-A361-B4924E488788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5804e9d4aac2bd443737934d3c4197f9688e6da","datavalue":{"value":"open predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$F0E4E944-D498-4BE2-9A18-B30200C7BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$F9D2B384-2BEC-484D-B71F-845BDCD13C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c12d90919603964421bcfa5cec8dbc75d4cdaf5","datavalue":{"value":"topological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$13244F05-721C-4340-A26E-1F1B416A6C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f499971506bb7d13eebf3a41582911b6f7a30bdf","datavalue":{"value":"spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$5C14C793-7B7A-491E-B071-570D944CE5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b67cbc756f5cf6ef304d758432002f60e28e3e8","datavalue":{"value":"adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$8E70E2DD-AC6D-437B-A3EE-07DA9DFC2B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cba3322adff07c85a00d4ab161f96cf66afb94","datavalue":{"value":"essentially algebraic categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$A2FD871E-BFD1-49DC-BD3C-143DE8B1F9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d215485957b80a44e706260738624cadd8ba8","datavalue":{"value":"topological categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$B28938E7-BDEA-4EC2-84C1-A70AEF0D6B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590fa689b9b72a8fa52a72c7a00a2b2d00b4e9d6","datavalue":{"value":"noncommutative topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$894F2F54-0295-4392-8712-2A68C2C85BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbedf45a7c783b1e7b0538cb87d3d3c2b5725d0","datavalue":{"value":"data mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$52051FC3-7AD2-410A-9596-A2109AA25C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$D1E2ED5B-45E9-4F07-9341-87834E66B198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$E93A93EC-F2D7-4D40-B83A-D1727A29FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbd70b6c61586598414b5253476ecfb7bd774f9","datavalue":{"value":"many-valued preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$E3DA69B9-0AA3-4D64-83C4-7F958418A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c99d1b2ba6cffff5cdc1ce4167a2a411540129c","datavalue":{"value":"preordered topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2862925$2454036E-53BB-478B-992F-CDA492418206","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":"Q2862925$D7C2FFFC-74F2-4A7A-AF0A-A816F6C688BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"614514a0ed4a59e0a026b867f86fe65f31e329d1","datavalue":{"value":{"text":"Programming semantics to topological systems to lattice-valued topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2862925$77946A5E-B29A-44AB-9E24-C6D9E215CD0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b561f0b2d9c1aa6c4a818e7ca478600e12129439","datavalue":{"value":{"entity-type":"item","numeric-id":6539330,"id":"Q6539330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2862925$4CA735D4-509D-4AB8-A9BF-BFF8352D2F71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12924c0e70471392b4e7fc4a14bd5e5de339b9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2767298,"id":"Q2767298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fb0782b4c325e30145cab437aef6fe01d1d8d0","datavalue":{"value":{"amount":"+0.7381904721260071","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":"Q2862925$91F601AD-6D00-4311-ACBC-139C6280A7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ffa27adfc2841e257b03b7d6119776918e329a","datavalue":{"value":{"entity-type":"item","numeric-id":1295211,"id":"Q1295211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b2dc4fc2936c50d58598024975ef420a819125","datavalue":{"value":{"amount":"+0.7347932457923889","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":"Q2862925$C3665B96-AFE6-4140-B03C-18CB6EE8FB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d296a82f4acb2f88fb32e9427064ae31b208914","datavalue":{"value":{"entity-type":"item","numeric-id":4915515,"id":"Q4915515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916a2de125a8e8ceb5ea93ae089a4ac31f481233","datavalue":{"value":{"amount":"+0.7319530844688416","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":"Q2862925$F063BED4-1892-4B0B-B778-16162AA28B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3503be5fcecfbc2e6fda50e19eb58c7deb1c18f7","datavalue":{"value":{"entity-type":"item","numeric-id":3649202,"id":"Q3649202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ab951298efd07e9364cd30161bb4449a190585","datavalue":{"value":{"amount":"+0.7270291447639465","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":"Q2862925$B11B0D36-3A1F-4C90-90C4-C0AF211D3CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb24436ab2071f9f3b5787261d87ecd7afd5a92","datavalue":{"value":{"entity-type":"item","numeric-id":4416784,"id":"Q4416784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2edf4ba60e7feddca349c81dfdbb992025d156","datavalue":{"value":{"amount":"+0.7269912362098694","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":"Q2862925$BEF6610B-6ECA-4700-BAD7-9E17C8C6368A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2862925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2862925"}}}}}