{"entities":{"Q6639558":{"pageid":14250710,"ns":120,"title":"Item:Q6639558","lastrevid":103662143,"modified":"2026-06-06T07:51:30Z","type":"item","id":"Q6639558","labels":{"en":{"language":"en","value":"Another neighbourhood semantics for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945568"}},"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":"Q6639558$6F4515D7-0442-42B9-AA58-3F83EF7838FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900f10cd65a47e7f4890b464b59e2f0fcf2cc50f","datavalue":{"value":{"text":"Another neighbourhood semantics for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639558$7F58E462-5273-4F2E-8760-EDDE522D94E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639558$7F22B4FE-2343-4C1D-9C8F-2F82CD8B4CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a5f800bf12e5ad2879f68c597794d9e8cc586f","datavalue":{"value":{"entity-type":"item","numeric-id":1788332,"id":"Q1788332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639558$F8BD07FD-04CA-455A-88CC-6034410E77BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639558$C87B5FD2-74FE-4CC4-8983-806A9A678D19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639558$6842D834-C51F-45E6-9994-02AD0A51E0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639558$E6B80E85-15FD-4FAE-B2BB-3B38DE8103DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639558$B2261C03-C120-4AE7-9084-316D5A558A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54c9902a628bc16a6ff180fccbe588956204ce69","datavalue":{"value":"7945568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639558$35C45B7E-AE7F-4CAE-92F3-D14EF62615F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639558$9454CBBF-497E-4676-AC84-9DE5D9F30DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639558$289FBD59-96FD-4623-900B-B74C480CEAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760c262661861c960d82090ffb8b9921edae9bb3","datavalue":{"value":"neighbourhood model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639558$F870FBCD-2C74-4604-8C60-E8EADB1D2386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639558$3B548652-175D-44E4-8999-6477E61A7475","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":"Q6639558$CD96E82A-C43C-4563-8BCC-D51BD8C350FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd0f0630bcd28a091a3d78fcb8ff1b691f26c84a","datavalue":{"value":"10.1093/JIGPAL/JZAC069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639558$E4B7B082-B7F7-4D2E-BF2F-7128CA2F93B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58df28e740ff76c11b6adeb0cb5039afd4f754e5","datavalue":{"value":{"entity-type":"item","numeric-id":2987743,"id":"Q2987743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7019f7bde5f66c94981cb7706fcde1510f225de","datavalue":{"value":{"amount":"+0.8643543720245361","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":"Q6639558$C888B10B-A85E-4FE8-A5D5-00A7C8226B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900d45918267f8663078e8806dce754e56ee94cd","datavalue":{"value":{"entity-type":"item","numeric-id":3703867,"id":"Q3703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ef48dd9b3b11c696756b6ae8362da776c02ddd","datavalue":{"value":{"amount":"+0.8263775110244751","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":"Q6639558$E5256741-2FE3-4B2E-8CDA-C88457197FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84449b6d9810403d8c0c6d6ba5dfc2b64d725d17","datavalue":{"value":{"entity-type":"item","numeric-id":5163982,"id":"Q5163982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b32ed0cb9c6f3d8565761da2f0332a74a14d606","datavalue":{"value":{"amount":"+0.8244301080703735","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":"Q6639558$C699DA13-B9E8-4CAE-A6D4-46812D0016F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139c6468806cd53a2cdf5f9860706af2f9d0b5db","datavalue":{"value":{"entity-type":"item","numeric-id":6084524,"id":"Q6084524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8983ad2808e0a30faa4bce877943e3737ee7e3","datavalue":{"value":{"amount":"+0.8050568699836731","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":"Q6639558$7657AD75-F523-4812-BCB3-5BD3FA2E779C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da8ca1a9b2b06a5ab6ec86b17566d339bb082ce","datavalue":{"value":{"entity-type":"item","numeric-id":5412173,"id":"Q5412173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffbee6a00b1db9e219f22d525a1c90900dff8f4","datavalue":{"value":{"amount":"+0.7792290449142456","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":"Q6639558$32137F41-C721-40CC-BAD7-130F6278FA17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Another neighbourhood semantics for intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Another_neighbourhood_semantics_for_intuitionistic_logic"}}}}}