{"entities":{"Q2987743":{"pageid":2998467,"ns":120,"title":"Item:Q2987743","lastrevid":45208864,"modified":"2025-12-02T16:00:30Z","type":"item","id":"Q2987743","labels":{"en":{"language":"en","value":"Neighborhood Semantics for Basic and Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720034"}},"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":"Q2987743$596ED754-E6EF-42EA-882F-A01BC28B13C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"425abf46a274234c15572fa5d0fe658a54ffe736","datavalue":{"value":{"text":"Neighborhood Semantics for Basic and Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987743$B6CDF227-C8E4-46EE-BF6C-5095B24340AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baf53db5960eafbed81d236c64dd4edc0353fc0c","datavalue":{"value":"1375.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987743$129D8C2E-E578-462E-A96D-84C818F44C6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff0537b4da10cf7ef8bc1aa334a9c092dc63947c","datavalue":{"value":"10.12775/LLP.2015.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987743$7278C90B-E1C6-4C92-AB14-2A5D2A305299","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":"Q2987743$B3CC43D2-F5CF-4826-A70C-FCBE08A0EA7B","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":"Q2987743$11D5C11F-2227-4A9C-9E07-6CC72867D85F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$A1E5DB35-7EBC-4264-AEAB-6358B06E61D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987743$778FE5AA-DD4A-4EE7-8D7F-06E4DD7C4869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987743$A49B61FE-E38F-4EBE-83D7-271855C69983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987743$535561F0-9A24-41AA-995E-A586EC97B46F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4bc9935df35c919fccd5601f05ba36e90e6e1be","datavalue":{"value":"6720034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987743$CED4DEA5-7825-4A6B-BDEF-31EF2E6C22C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$79F42B0C-1289-4E8F-BE97-B81F0E918D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$F0E18F06-E5C8-4B62-959C-E1A2ADBBBC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$D95ADF6A-8A79-43D7-A119-2F36698D787A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e616653c4d17082ffb5c84b53755c2fb54e1b1e5","datavalue":{"value":"neighborhood models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$BE553C60-E40D-489F-8E1D-5E81D1057946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$CDEA1008-C866-4A50-9D64-CA36EAD51F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$1C1E7F19-7E55-4489-ADD4-5D7675395A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987743$0AD5E2F7-13BC-4E68-B2A8-0665AB32755C","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":"Q2987743$8808E9C3-25F8-434F-9EE3-9C6AB129E7F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f2563e6b5c58f2d68eba9abe63df5c6ac90e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5249675,"id":"Q5249675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$9D6F2D07-9531-4DCD-B2F0-3A5289405D03","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":"Q2987743$6E9E8927-F96D-4FEA-8BF9-F8BAF7EA7293","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":"Q2987743$829D3726-6715-46E5-8446-879492860E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1aba6782b106c8d0f9f2f4edc16fe22877b861","datavalue":{"value":{"entity-type":"item","numeric-id":5413341,"id":"Q5413341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$721B8198-B08E-4B66-B095-44C234B491BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$69D4EAFA-2362-4D61-A95F-619754870F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf53c8bf03a9642eecc6643c122603b73c05e21e","datavalue":{"value":{"entity-type":"item","numeric-id":3987175,"id":"Q3987175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$F3ADFBAE-81AD-4D91-9989-27AD0BC1A683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$102D0702-A8A3-43AF-8AB5-BDB3A2587AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$EDF9C812-CCA9-4249-9E9D-3B9EBB9415FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987743$5B3DB0C3-7C80-421D-9CC4-175504EA0C6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81c86aff0dc99665834cb05f62430fcf31fc7092","datavalue":{"value":"https://doi.org/10.12775/llp.2015.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987743$3C662066-4777-4C76-A296-EDA9BDC20179","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"051313b0454a3cc252d3a76f096fb329b21bae0a","datavalue":{"value":"W2100959423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987743$4C2CFB05-6DF0-4EB0-8F1B-CDE6BF09FBD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6504caeabe2aac8e7d47226e4a16d967f1caec17","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3e10ba4759dfe557165da9f8471e724afb4833","datavalue":{"value":{"amount":"+0.9446088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$A68DD2D8-3CDB-4E97-BF3C-A37DD5FFD682","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":"e07d5cb52e191f0ce70db52c66389863705cbeb6","datavalue":{"value":{"amount":"+0.937646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$54D58891-9361-473F-8388-E3BE5951DCD5","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":"227b196c732366eebbf6549553f6e6e5e40bf5fc","datavalue":{"value":{"amount":"+0.9294491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$9084BE1F-68E4-4BD9-AAB8-3DCA0C0CA7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16bd570e7a81efebcf3fe44929bc6d681752612c","datavalue":{"value":{"entity-type":"item","numeric-id":2686089,"id":"Q2686089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084656b0c9aaeef0f0d8e3317a2099f64084f693","datavalue":{"value":{"amount":"+0.92716396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$CEC8AE18-FAEB-406D-8BE6-1162FA38453A","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":"038ccaa37d19de865d03d16f35ba96cf23b5f54f","datavalue":{"value":{"amount":"+0.92441994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$007FE7B3-ACFB-4D28-954D-853BF7F53160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fd93871d29bd24f0814b2832d114b1ef8da54f","datavalue":{"value":{"entity-type":"item","numeric-id":3734363,"id":"Q3734363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0479d10e3203e060ad15d6461a2670239ee51a","datavalue":{"value":{"amount":"+0.92244756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$DD3CA931-B48D-41A7-A774-55C2ECD473C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc15aac2ad0da2dd3c9064b1d2657bafb07ce8e2","datavalue":{"value":{"entity-type":"item","numeric-id":1795204,"id":"Q1795204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d9cbe629137db23f913046b71e2103dfe89810","datavalue":{"value":{"amount":"+0.91848683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$B1A6D619-FF82-4717-81F0-D1DF98BCA816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286494111a0ed1e6a91c0ccd948aabb2553e741e","datavalue":{"value":{"entity-type":"item","numeric-id":4903799,"id":"Q4903799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b59fed04b620ee91233c77281641b0c13dd03ae","datavalue":{"value":{"amount":"+0.9156006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$6A49AA4E-EA75-4F56-BBB9-E9A44759CD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"289ca148327165a2b31597d15cfbb77331b2e66c","datavalue":{"value":{"entity-type":"item","numeric-id":6043011,"id":"Q6043011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb938de930a8e6a56255a52e6757b5a44ba8c35","datavalue":{"value":{"amount":"+0.9154243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$1685F5B5-395C-45B7-9D86-0C501BE4BEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f1803c092eb221754fcf2a7121b36c303b06a6","datavalue":{"value":{"entity-type":"item","numeric-id":2825413,"id":"Q2825413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57016bfada1137ac37a4ffe8cb71134e573fd8e1","datavalue":{"value":{"amount":"+0.9142001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987743$749A98DF-734A-4D4A-BD1B-51C805FDD37A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2987743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2987743"}}}}}