{"entities":{"Q5488610":{"pageid":7518170,"ns":120,"title":"Item:Q5488610","lastrevid":41780508,"modified":"2025-05-08T05:59:19Z","type":"item","id":"Q5488610","labels":{"en":{"language":"en","value":"A Hybrid Intuitionistic Logic: Semantics and Decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5056075"}},"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":"Q5488610$34785446-1C3D-4F91-BB5D-95C276328F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b215f839bf5523778eb7a917e0c3c13df72072a3","datavalue":{"value":{"text":"A Hybrid Intuitionistic Logic: Semantics and Decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5488610$3A8444E6-BBC8-40ED-8E00-4B6C9B21DAF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ca1439773a1bf0778e175c6314ba6d3f5723505","datavalue":{"value":"1107.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$B1406E02-F128-465B-AB56-FD6F57565071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488610$A8D275AA-9321-4979-8748-9C97B886F9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d24a7126344af2cd8667c9353e3077bcc3a5d00","datavalue":{"value":{"entity-type":"item","numeric-id":3395313,"id":"Q3395313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488610$937127B0-A5BC-4DB1-A3C1-D9DFA2AB724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488610$D8B723AA-0053-400F-BA83-47ADBE3EE7FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0661523a3e59cc88f483e6fe108440be8c2fe38b","datavalue":{"value":{"time":"+2006-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5488610$4932A819-720F-4D35-9D19-A237A64189ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aa1a901fc400ad3ac4dedf339c34ad55ce3537e","datavalue":{"value":"https://eprints.soton.ac.uk/261850/1/dllFinModFin.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5488610$B75226BC-32AB-4CF8-8967-6489ABB18152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$7BEAE68D-FD1F-4A50-B446-D0C07E774721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$6535D69F-0E71-4282-B7D6-B08C8F4A4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$7CDB04A1-D214-48A5-B6EC-7875B4D1E6CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5442b12165a2755783df9811fe68a0f6c2b17c74","datavalue":{"value":"5056075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$652B4146-8E97-43DA-B851-C10034D035D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935b68b482620edc11bd4eda34920bf6e81990d3","datavalue":{"value":"spatial distribution of resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$9723375A-DE1B-49AF-B5F6-5B1E497B5A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f109ad9af1e5e297432a451da2945ee3d07c86","datavalue":{"value":"spatial modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$23CBA2B6-6ED9-47A8-A108-4EC18415A454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aaef6c1d3527d81aad2f70a5f23f6429c5cacd3","datavalue":{"value":"hybrid intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$0EE3F8D0-D99F-45E0-8D2D-51122BF20E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509f7dcf03c943bec306a9c86474e20d63427f9a","datavalue":{"value":"reasoning about distribution of resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$05A2959F-0AED-43EF-B188-EFB36DAACDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$C30C9075-EDDA-420E-B2C3-6EE95CF30E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492c14200b4488988686ba03209523f29b4983c5","datavalue":{"value":"birelational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$1CA75D74-456B-447A-B716-346F48653A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd1e3e37fd9c62c43b9feb4e2d712b17af5e5a55","datavalue":{"value":"finite-model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488610$24918114-2E6A-4A29-A23E-CD6EA56F3F9A","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":"Q5488610$7BF76A62-C23C-4364-A40E-FD44E0F12376","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1c7bc39d8a78f62c7824ed243640a5adde0c188","datavalue":{"value":"W2019935365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$1DA57962-DFE4-49DC-824F-3D80858D3BAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f11e95280e999b7c718163cb9d478bda34426f1d","datavalue":{"value":"10.1093/LOGCOM/EXI071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488610$4E2AF4B9-E53B-4ED2-8CA2-87497C121B44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5488610$9DBA455F-415C-4683-A468-F547CF620ED1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255599f9b3e5d6102a3d42dad66138dd3999bdbd","datavalue":{"value":{"entity-type":"item","numeric-id":764256,"id":"Q764256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d2f77b2d6856216cf8f2c8e05e0090c4e4f623","datavalue":{"value":{"amount":"+0.9529829","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":"Q5488610$CD089748-A7E9-4915-8BC1-4DEE4A568083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b3891b9c7c32221e211cea885ee21076efc3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3cfedfe346c01f8622e1c6a9e7a297849c8f79","datavalue":{"value":{"amount":"+0.9525074","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":"Q5488610$8CE50512-2638-453E-87F0-E9455D9B7C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a96c2032ef0ebbc0b5d7aa29b07d4d217cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fff633461aadbaf154ce60d96fcd953374a41e","datavalue":{"value":{"amount":"+0.9485527","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":"Q5488610$32039E59-1B48-44AD-A3D9-48483D7C676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a733493755c5f0c4e040758e280222a15e99be","datavalue":{"value":{"amount":"+0.93762195","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":"Q5488610$B97A2FE3-7047-4213-A3CF-962646525F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0054bfeff7c3a8d24337a7f1313ad877714e6de","datavalue":{"value":{"entity-type":"item","numeric-id":3464006,"id":"Q3464006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27a7b52a7ffcff7c360df53dca7695e05e87823","datavalue":{"value":{"amount":"+0.92786545","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":"Q5488610$C7716F8C-828E-4711-9732-8057EC084825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cbb8867661bd9b972deef99da8a79a25f2d06f","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eebf6d6b7bc490bca9ea86b1f00e913d6911a5","datavalue":{"value":{"amount":"+0.9222252","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":"Q5488610$E914B2B7-C15D-4654-9C5D-BCBAB6D5B903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c46ad00f1cee12a6f63e5cad0267900c88bf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":2882562,"id":"Q2882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cd646abcda49f5d28a5c82ba109f5357e7283c","datavalue":{"value":{"amount":"+0.9180238","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":"Q5488610$C44A2665-9412-4DB2-91A9-0605F2812B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e8498becd050c80f2ebd77c586d4f37d5274b4","datavalue":{"value":{"entity-type":"item","numeric-id":851196,"id":"Q851196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494ffeee67d895ae9aa54ba16682563db6463c98","datavalue":{"value":{"amount":"+0.916413","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":"Q5488610$05EE52E7-977F-495E-AEBB-53E2FDC119DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9189da144acaeda7dee843f03de24bc3a4a9fab4","datavalue":{"value":{"entity-type":"item","numeric-id":4639914,"id":"Q4639914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa875a0d7b014dfe008a7ab8515b70fa79d776d","datavalue":{"value":{"amount":"+0.9163864","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":"Q5488610$A7B07639-783D-4B0F-ADED-5EB158B68B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d990ba2f3311bd28ff181a325e0382e363e8d27","datavalue":{"value":{"entity-type":"item","numeric-id":3298278,"id":"Q3298278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01614773c89d37421b48959fbd7a2e2c4a2f9a27","datavalue":{"value":{"amount":"+0.91559005","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":"Q5488610$6B3488D6-6839-4E1D-A5D6-33AEA218B33B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5488610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5488610"}}}}}