{"entities":{"Q518747":{"pageid":520514,"ns":120,"title":"Item:Q518747","lastrevid":62463438,"modified":"2026-04-11T06:15:29Z","type":"item","id":"Q518747","labels":{"en":{"language":"en","value":"On expressive power of basic modal intuitionistic logic as a fragment of classical FOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6698103"}},"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":"Q518747$FF65B575-C44D-445D-B56C-75E3809FD792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd774ccc58ccdf59560fb0ff4df442ad7a4bb08f","datavalue":{"value":{"text":"On expressive power of basic modal intuitionistic logic as a fragment of classical FOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518747$54D12C11-AC88-40F7-A9DC-E8B086CA1B76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"710225d05939b0b6b8a2ca3ac2f24afddb12e3c9","datavalue":{"value":"1436.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518747$5085F7AB-91F7-4F8B-B8D2-F46099F8C9AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$785BBEB9-498F-4C20-93C1-6F2E5D7F475A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$AFF6B6F9-F097-4314-A57E-50E6F8B81CF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456d31ba67cbbb4f6a1b1583fb8de4a8edc10efe","datavalue":{"value":{"time":"+2017-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q518747$D561F7EB-6ABC-4212-94A5-302B2F1321FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89534732abb86391607e1741a04c9c5b4bf3288d","datavalue":{"value":"https://arxiv.org/abs/1511.01730","type":"string"},"datatype":"url"},"type":"statement","id":"Q518747$AAD58F59-A507-46B6-B44F-C282DE4C3F0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518747$A34D61D4-3A70-4BA8-BBE2-7AAA16777181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518747$47155ED0-03D3-4BA6-B778-7E363BD2DA2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a3e8b2f864b2e05054372df58957e5f00d44a08","datavalue":{"value":"6698103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518747$4753CEEF-E65C-40C6-8011-32435B77C842","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q518747$8F55C4CC-CC3F-4DDB-B10F-61B93A953443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q518747$E6FC2E99-5335-4ECD-AC8C-B14540D40820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q518747$682E0F6D-3378-43E7-9F6C-1D70C31744F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q518747$C308A96C-AF7A-4A8D-8EAA-FF645E806B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q518747$57D22864-6DF3-4245-A0D2-7A9A31D31369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095a5ea8ab344c6e19f399842d7470263bb0942c","datavalue":{"value":"van Benthem's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q518747$D6ECD5A4-AE69-4C79-AD68-0F475A01289F","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":"Q518747$3ACD31B7-6DA6-40FB-88AD-BD4EA820DF1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d39597701a8349feb8807c26333867455e1f273e","datavalue":{"value":"W3100785333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518747$C5F090F2-2810-45D5-9F57-FD035C1BCB5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f595fe0ef61bc08c55aedd0db9c6064456aed41","datavalue":{"value":{"entity-type":"item","numeric-id":2506825,"id":"Q2506825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$9DFC9470-C080-4DEF-AD00-23F7748039BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf384b79cd43650eca4c2b142b0cc583d97c9a26","datavalue":{"value":{"entity-type":"item","numeric-id":332084,"id":"Q332084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$8FFB3502-11AE-465B-852D-EF6B65EEC4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$D6FE0EC0-DC6A-43BD-9EB7-92D55B3B5506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$7F240B42-00C3-44DD-9D85-C5B576E6249E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a495f996daae0447231a44dcb9b3a8a36b27a94a","datavalue":{"value":{"entity-type":"item","numeric-id":5687548,"id":"Q5687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$B41E2DF3-86F4-485B-9DF8-131B377D8B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$FDACEEDA-DC0A-46C1-8502-FFE9A7414343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$32CD3A33-4EF5-4949-A4A8-3088932CBCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$C43AB09B-D58B-4E5D-8EAC-C4C2B2EFBD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97da8496b28db85496ac2d8dd8ba5af704460112","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$99349022-A32B-4CF3-94A1-7C80844A9BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c497ba0415aee16ef78714750d4ad72bbcbe1b7","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$B140D1E1-711A-45FF-A3ED-27398A8D8FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518747$99B634AB-B44D-478B-8939-9E40750CF2B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b61d4f9863ef0e015e576c87def13cb47f2c84b","datavalue":{"value":"10.1016/J.JAL.2016.11.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518747$3CA05534-8BD4-4CEE-B8F9-A107CBE7410A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9770465d7f69fe8ef103545c3a7a892f9e3611","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ee9d8e64b2a3647429b0c6efbaa029fb75d56b","datavalue":{"value":{"amount":"+0.8017018437385559","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":"Q518747$EACB776E-A927-44E6-8231-BA8BAFDEDFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9b2acb0d2d71bfcc9e3b125b3d73565c9433e9","datavalue":{"value":{"amount":"+0.7948487997055054","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":"Q518747$CB9C48AA-1B9F-4A47-BC2B-9EE358FB5F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697faedd0596f26144624d3922a5bd7f96c088d4","datavalue":{"value":{"entity-type":"item","numeric-id":332084,"id":"Q332084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee78514fcdec36800601787f6bb158271fdc80f","datavalue":{"value":{"amount":"+0.7919014692306519","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":"Q518747$8B07C51D-E95B-4CF2-A6BC-27AE6F97D69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60bdfb1d24a61ff6a4cde85147b64b891f2386","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde87cac77e14726690dce8258b2954bc35a266f","datavalue":{"value":{"amount":"+0.7850485444068909","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":"Q518747$3068ACFD-0325-4661-BA3E-70B1D3DDE5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938df091a9def9716d44a9dbbee15649598abaee","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b17eb1a654a3df4181e0326f9273d3240f1a64c","datavalue":{"value":{"amount":"+0.7805887460708618","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":"Q518747$705B906D-FA59-4026-ADD1-C23C85AB3597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On expressive power of basic modal intuitionistic logic as a fragment of classical FOL","badges":[]}}}}}