{"entities":{"Q5412173":{"pageid":7441747,"ns":120,"title":"Item:Q5412173","lastrevid":51985988,"modified":"2026-01-20T16:52:41Z","type":"item","id":"Q5412173","labels":{"en":{"language":"en","value":"Relational and neighborhood semantics for intuitionistic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288736"}},"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":"Q5412173$228111D7-4F2D-442C-98ED-9AA49622717E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cb8afcfeec2058ecd8b42273cbf05637bb62176","datavalue":{"value":"1320.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412173$273BC6D0-1788-490A-AFCC-B38D79EDDC9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb50c486c4852f52288ca855400bbe862b23cf6b","datavalue":{"value":"10.4467/20842589RM.12.004.0685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412173$850CD719-EB4F-4D78-8C90-EAFF06E06B73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0179ba61809acd8ce680c7848183f60ed14497ab","datavalue":{"value":{"entity-type":"item","numeric-id":764260,"id":"Q764260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412173$A948B47A-0A2C-4E40-89E1-9AF615F43FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5412173$2A09E5E3-A56B-48EA-8EF4-9BC27A8FC52E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412173$196E2B61-3D14-4086-8147-67789BAB58C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5d12c43c19c45369671814c246287fb5b1f7694","datavalue":{"value":"6288736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412173$9D056945-A86E-4006-843E-5A127785902A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412173$C2C1ED69-7B5B-41ED-BA7E-E7AE05E8EE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412173$C5DA030C-599E-4598-9A57-A3EF60F5907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8237bd01aefc41171a36ebadaa5137e16b14312","datavalue":{"value":"non-normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412173$078D9FB3-346E-4146-97F1-9A248262F0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412173$F54B55B6-5197-45CE-8BE4-2889173B4B12","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":"Q5412173$DFBFAF28-09FD-41AA-BA49-C3D300C032E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd729bbd7851c2866c6611b0ef4850949f26aa9","datavalue":{"value":{"amount":"+0.8072672486305237","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":"Q5412173$F2856B1A-0F4A-4A77-B83C-6DAF530A2176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e148665b3b06cc6f5078ced71b99764edb37c5","datavalue":{"value":{"entity-type":"item","numeric-id":829826,"id":"Q829826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019eef3a93ed815ea82520dd181232e510afb3d3","datavalue":{"value":{"amount":"+0.7932004332542419","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":"Q5412173$E5556B7D-21B9-43F6-BAD6-607DC6AEDF59","rank":"normal"},{"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":"222bf2a9eb34c19540366e349c5325fc71943d21","datavalue":{"value":{"amount":"+0.7841419577598572","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":"Q5412173$ECEFD1CC-911C-4D4D-A795-9144CF14E45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c9fc509924b4f0b15636af9f3365f58a6f475c","datavalue":{"value":{"entity-type":"item","numeric-id":5126193,"id":"Q5126193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bbaa1e694220f5cbe95fbc54fb0435d8fe0e3f","datavalue":{"value":{"amount":"+0.7750172019004822","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":"Q5412173$0DC09D8E-288D-4093-8C14-887BE3692521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bed598d0ebfc185132301bc12cc2e844ada517","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9650b1802a61a685e1865bdbefc8d132c3004b1c","datavalue":{"value":{"amount":"+0.768486738204956","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":"Q5412173$9E578295-4AC7-40F0-BC33-1DE58183C6C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5412173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5412173"}}}}}