{"entities":{"Q1935870":{"pageid":1946612,"ns":120,"title":"Item:Q1935870","lastrevid":57589056,"modified":"2026-03-31T12:50:37Z","type":"item","id":"Q1935870","labels":{"en":{"language":"en","value":"First-order logical duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137402"}},"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":"Q1935870$8BC9047A-565A-469E-A258-990A8DA0F927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dcf2e9e22170c3cad4ca35fda4978aa89460760","datavalue":{"value":{"text":"First-order logical duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935870$C085CEA8-6183-41F6-8969-614AF1564235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb378c04d1584d8a03c1634e84d0ffc81b0c5375","datavalue":{"value":"1275.03169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$F1106735-3047-4AA4-9A68-1F2FE4573215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e65c852f01b30316629c90f6ce7af494cee2b102","datavalue":{"value":{"entity-type":"item","numeric-id":1935869,"id":"Q1935869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935870$3AEC4959-EF14-4843-9A1A-CCCD935619F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935870$03AA4DD7-847A-46C5-B907-6B2B3CA671A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935870$AB8650D7-A835-411D-A023-EBBAE40D4F75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935870$712C48BA-E93A-4538-9354-2582CE248BDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00d60a338077e2881c4e27d3136a1c6c7c4ca902","datavalue":{"value":"https://arxiv.org/abs/1008.3145","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935870$738F896F-69A0-49A7-88E8-EC9C71C6EAD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ada1a846113f5092e08222536fc614b7ba483603","datavalue":{"value":"An extension of Stone duality for Boolean algebras from classical propositional logic to predicate logic is presented. The main idea is to view the classical syntax/semantics duality as algebra/geometry. Thus, the authors recognize a duality between algebra and geometry using insights from category theory. This extension of Stone duality builds on top of the representation theorem of Butz and Moerdijk suitably translated into logical terms. The paper is very well written and discusses many interesting open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935870$4B965034-AEB8-449C-9561-BF5D36629AE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8800072ba9004a226d676c0466c3de0fa0aaa977","datavalue":{"value":{"entity-type":"item","numeric-id":534709,"id":"Q534709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935870$4A3A1C87-F890-4303-820E-0C471194A52F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$65054637-357C-4131-BAA1-C4568C061221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$8383782E-3FD0-47C0-9B77-D9043324E082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$1FBC90E9-F17A-4F83-BD1E-A651EACF68D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$766293C6-FE99-42FB-A67A-C78C3866BB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$8702DE5C-0002-48FA-9F06-931E99BC7869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc956461b9c49a26ecf45516eac3216b67c8c94d","datavalue":{"value":"6137402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$D195251D-CD64-4E61-8223-B50368B5C833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935870$59CAA524-D6C4-45F2-9DB2-10E137373CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935870$85A6CD15-BED1-4F4E-A6FF-02844C54E507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935870$AADD7B43-3A41-4607-B9DE-B88A188DE4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935870$0A1010E3-75E3-4D36-8BC4-6244E13D2FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935870$A93BB11B-9674-4B09-980A-986FD0EC5EE0","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":"Q1935870$7079A953-E4AE-41EA-B74F-94A5D84E2A6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f23f8c5549137e3179495ad0e50637ee99895811","datavalue":{"value":"W2144927799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$49EF9145-2FBD-4B4F-8C21-87190D5E3601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"242ae87e7aed7e06e8d5cfff5b56a37195034dd4","datavalue":{"value":"10.1016/J.APAL.2012.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935870$3F6F29BC-44E2-4552-915F-43B49F81BD41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c23967f7e10423ff6abc7ccd639c795508c687","datavalue":{"value":{"entity-type":"item","numeric-id":5184905,"id":"Q5184905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d650ba6aa9a09c2f64b16fa6b6abb1fdaf294f2","datavalue":{"value":{"amount":"+0.7906826138496399","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":"Q1935870$0841C6AF-5150-4A64-9919-EDF4AB758F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c72cdd236b3946ae58bd568e48a8c194d0aa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1105598,"id":"Q1105598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417ca5758deb8c5e5b84350fe4628f42b45e8f6b","datavalue":{"value":{"amount":"+0.7894358038902283","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":"Q1935870$4FB2BA18-D63A-4110-8A7E-A8CDE6C9BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33834347829448c3b482e6acc3ae03339f12aff","datavalue":{"value":{"entity-type":"item","numeric-id":3144866,"id":"Q3144866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f33c15713775ca5689094a826fc90a516f316a","datavalue":{"value":{"amount":"+0.7662209272384644","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":"Q1935870$76EDCE25-0EB0-4F7B-B8F6-8B1600C190A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d066fe924884f242586254781a3ed4e8c747a32","datavalue":{"value":{"entity-type":"item","numeric-id":5271035,"id":"Q5271035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7c454fcc795d643fb25aeefad207bfe4b84933","datavalue":{"value":{"amount":"+0.7637627720832825","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":"Q1935870$A8E75E0B-A673-4908-821C-3E71EE61EC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366496dec6b15081765160ad5152223e33cfb201","datavalue":{"value":{"entity-type":"item","numeric-id":3137743,"id":"Q3137743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d9c9b6932a986e71413b3614766113fa9c1a2e","datavalue":{"value":{"amount":"+0.757946789264679","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":"Q1935870$39569901-98FB-4890-9963-1AD1DCAC9448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935870"}}}}}