{"entities":{"Q598307":{"pageid":600083,"ns":120,"title":"Item:Q598307","lastrevid":48307552,"modified":"2026-01-04T07:56:56Z","type":"item","id":"Q598307","labels":{"en":{"language":"en","value":"Intuitionistic logic and modality via topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083196"}},"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":"Q598307$C9F70084-6405-45BF-BCCF-D5217F1BC58E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ed0530cb3152521a695172fa2a841175aef080e","datavalue":{"value":{"text":"Intuitionistic logic and modality via topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598307$7C953B3B-CABC-4B32-8908-987DA340835C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce7e511bc8bc4986cc0306b42a56e68a55c1df6b","datavalue":{"value":"1049.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$AC9243B5-187F-459C-82B1-7C431E00144A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e455a402c15c7cc3bd3d5ce05760db74a42d3","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$418A7154-3D6B-4DCD-AD84-1E63E69A8786","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":"Q598307$B406AA03-348B-4AA7-8DB4-7AC895D18D6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598307$2689306F-83D3-480A-AFD5-387F4E3B5651","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$753D3D9F-2092-4361-B7AD-314CA8414F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$CB402D47-AE2B-4176-86FD-DCCA8B4CDBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$25903FF7-732E-4311-A042-48836F24550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$AE95F137-0C3C-4B0E-9777-98824B97A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"601e38db0975d749e2be6dfce744b0f7179ec96e","datavalue":{"value":"54G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$31EA7E7D-2B45-46ED-9F7A-881E2161D29A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc0e5d235cddfa4f3810633e04851404ceb8426","datavalue":{"value":"2083196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$07F84567-D991-4B77-B485-A685053AA1FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff6907dcc41396333408ccbeb7ccdf7abe0bcbe","datavalue":{"value":"Derivative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$4024D684-85B1-4451-A979-F224DD4C0971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c65d691ea3748fdfad985c9cb812db3974b33e","datavalue":{"value":"Closure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$86C60F77-0A4F-41A0-923F-B421663E5DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$A79C6333-42B5-47DF-91BF-1CF338F76EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fb3ff0667099d523b92cacd90828c92f70b766","datavalue":{"value":"Modal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$2774AA90-8C8D-4BF1-91B2-7EA6DF772660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c9a432b883af671606db6391f39f829641e4ba","datavalue":{"value":"Provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$86345A14-90D5-4D4C-BBDD-D1CF3D4ACF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557961e0ecc8326f785ccbd0a046814283bf347c","datavalue":{"value":"Topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$49D9369D-4228-4C37-9F49-E30B5FC670FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4a0407c6ccdb6d73708c93dff267fb67d7f4f2","datavalue":{"value":"Scattered space","type":"string"},"datatype":"string"},"type":"statement","id":"Q598307$13F9E9EA-88A7-433D-BEA0-01F544630A44","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":"Q598307$5B3140E6-3FC4-4CAE-B6AD-179EDBEAE656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb31923b2aeaeb67944af04d05b8539ef3e866e9","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.11.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q598307$8D0517A2-3BD6-4EC0-81F1-283B3A42B618","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"761b8f7de69da5eb63327006f4196f2481e4fee2","datavalue":{"value":"W2078421228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$60A03090-C3BF-4370-841C-563A5C0B528D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e96a07e3ac63c335bc9ba7119c6f2d1f46dbdfb","datavalue":{"value":{"entity-type":"item","numeric-id":3844856,"id":"Q3844856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$E335AAF5-DE0E-4268-B5BE-7FE35ED6AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22ab863bfcd46a22b7410304ed7bc898b6c0f64","datavalue":{"value":{"entity-type":"item","numeric-id":1109030,"id":"Q1109030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$DD104AA3-2F91-44F1-8A6A-160DFE99E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e104690be231038fe69bb6c40f47ba736b4f0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$D576150B-C7FE-43EC-BAAD-386EF91B1FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$86540EBF-7B6E-4E4A-827E-04ED2C4E383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78612369781cadfc139a1c5f7bf16621e068c688","datavalue":{"value":{"entity-type":"item","numeric-id":3879211,"id":"Q3879211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$9E23C6FB-4F58-49B3-BDC3-B9139DA45A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$50B840A6-3920-4F83-900F-E920E0D8BF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$16F837BD-4467-4CFF-991C-565603928918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$766D7E04-2E02-47DA-973E-FC3F11CD1DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8885ff53d92c8081257a106adc075ac15740e024","datavalue":{"value":{"entity-type":"item","numeric-id":2751820,"id":"Q2751820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$1F53E0F5-12CF-481C-AA4D-7F9EDE3E7169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89289da95721dfb8b76a16c8ba44f68b5add452","datavalue":{"value":{"entity-type":"item","numeric-id":4424659,"id":"Q4424659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$E12802ED-480F-4C59-BA3E-454B76A679F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da79c08626a5efc8916f20ff43d87421224efb6","datavalue":{"value":{"entity-type":"item","numeric-id":1977486,"id":"Q1977486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$2113F947-9CBD-4B2C-9209-73CD8A0CAF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f69b9c72ef2c3b01713580f6fd0a5f82a692f3","datavalue":{"value":{"entity-type":"item","numeric-id":4196404,"id":"Q4196404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$4DAE228A-EB3D-4BC6-A92B-AE16168F33B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae728e1569e8881389d9f34d1cacef85ad1d45","datavalue":{"value":{"entity-type":"item","numeric-id":5607976,"id":"Q5607976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$1E65358D-68A6-48D8-A272-A6D06B468FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$012D1F86-8916-4D9A-AC07-77B4492D5684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$AD173FE9-62F1-4014-8036-2DB827D33B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb52aaf3a441deeeae9b9e86a05e57c226bbaf2c","datavalue":{"value":{"entity-type":"item","numeric-id":5844610,"id":"Q5844610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$1BAECC03-CCC7-4C15-AA38-201432088A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$BC80ECDB-5639-4006-BCD6-7D8967FD8817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$2CE869ED-877B-4939-BA27-9CAB67FFB35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$E0134AA2-C79D-4738-B8A1-44E465CBD934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$A0EC4E48-0D3D-416E-89B0-C7D9FD8499DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$8579E49A-46EF-4CDF-A847-8B82B3C8857D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598307$1D8FBA97-CFD5-4FB2-99CD-05E68342C2FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"644e8967214cce66c804ee6c0df7da766e36ff92","datavalue":{"value":"10.1016/J.APAL.2003.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598307$D9131B62-B8EE-42E3-B7E1-64C68BE89368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db277a4caad49b1463e9dfb8a3714a7eebdad783","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc51512b07bc419ab6aabf7f756f8e646d2de56e","datavalue":{"value":{"amount":"+0.7890082597732544","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":"Q598307$376A472F-B426-4BDC-97D4-F77F7EAB298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c34974772731be13c918f2d17148eb6deeaa89","datavalue":{"value":{"amount":"+0.7853032946586609","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":"Q598307$DDE2878E-3712-44AF-9D5A-E07BE994EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c81665b9e19b4bc3dbdd9af721c3e192328b856","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800cbac7d290eec6bc2a5431a07260aa21f72a48","datavalue":{"value":{"amount":"+0.7827820777893066","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":"Q598307$8C361D6C-F086-4DCD-AEE9-EA728C30A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce14981e2f375995f4633327150ba1e44a38264","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78be677792f63bbfe7edc762d3b89cd1dc6c0a3","datavalue":{"value":{"amount":"+0.7820804119110107","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":"Q598307$60A66FE1-8CC3-489C-84D5-323A60FF9DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47ca642f3306c4cf2ee01e3f5bb1320a8f7dff5","datavalue":{"value":{"entity-type":"item","numeric-id":5437776,"id":"Q5437776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f29f5bdee2b057492b55b7234c16637d4a6e71f","datavalue":{"value":{"amount":"+0.7787190079689026","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":"Q598307$99F5DAEE-A179-426E-BAA2-380B2F65C07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:598307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:598307"}}}}}