{"entities":{"Q2915733":{"pageid":2926453,"ns":120,"title":"Item:Q2915733","lastrevid":85107272,"modified":"2026-06-03T05:54:28Z","type":"item","id":"Q2915733","labels":{"en":{"language":"en","value":"A note on normal forms for the closed fragment of system IL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083584"}},"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":"Q2915733$0EFCA3AA-4BDF-47AF-A6F4-320C1338D40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e607c624b6da2295ffd133a0a10704827f04b7be","datavalue":{"value":"1252.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915733$391A7DA5-FF23-4B19-8574-3B5DFAF7C990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fbedcf5dbd70d2cbfc902731862a2b2a8291b9f","datavalue":{"value":{"entity-type":"item","numeric-id":361869,"id":"Q361869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915733$19A1E2FA-7935-4FC2-B64A-98529EEFEAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0adf3c00216a49ea198818eaf1e832ec99c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915733$DAF45BA4-A4FB-4313-A86E-EE2C88FE8DB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-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":"Q2915733$0372F8E7-64FC-4795-B94E-9DBEC55E77E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d4952ff492a7145eba8eb5b78c55e3adf43b9d2","datavalue":{"value":"http://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=123527&lang=en","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915733$DA9754D6-1F8B-442F-A280-EAF4B72C40A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915733$589C7393-30B4-42D0-A3E5-8FA41A7625C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915733$A18AEB7F-1DCE-4432-938D-84C3AE7D37A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2cb70e9eb12a45547da9543bc260f3885f56674","datavalue":{"value":"6083584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915733$550FDE1E-739A-4E01-BD26-733F284ADEC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915733$ED7BD7E8-4B0E-422E-95EC-EAABF52AE05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915733$5177F526-BDD5-4214-AAD5-5754CB9A19A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915733$BC566EFD-DBE3-4340-BA75-08269141DE93","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":"Q2915733$3780181B-EE72-4633-A51A-0FDD0D682295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ef2a11e6137609ba028e8578912f3aa8112e76","datavalue":{"value":{"entity-type":"item","numeric-id":4267179,"id":"Q4267179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8228f359a35f8a126277afce6aa50506ff7a7563","datavalue":{"value":{"amount":"+0.8541557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$5AF8BFDE-1A1B-4984-A1FD-E97EF08417C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5a10fb14b152457b40044c8f0668da670d4958","datavalue":{"value":{"entity-type":"item","numeric-id":2372695,"id":"Q2372695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654c4b5acc9e933253b9aa500e170a4dd4ea185a","datavalue":{"value":{"amount":"+0.8454134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$22ACC5E3-6873-4922-8940-6A29C1350E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f29a474089671ee4efdf6853c58a8dafb63f0ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304789,"id":"Q4304789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950769da815aeb852d6f9618560e7e93b7524ce7","datavalue":{"value":{"amount":"+0.83150065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$79B2CFEE-13D5-40D9-B965-22C55E1003F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5133156b0ee1bdde4495698bc078a8d756fa4a","datavalue":{"value":{"entity-type":"item","numeric-id":4268633,"id":"Q4268633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37f5fd3cd0d32b01e584430a1b8da950342647e","datavalue":{"value":{"amount":"+0.8063279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$4AB80A42-4AA1-4A1D-B480-230675D0221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041b5a28f5abf016df6ed1d63c130f425420af67","datavalue":{"value":{"entity-type":"item","numeric-id":4529996,"id":"Q4529996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163c4098c74b340137dea5152f09db82f523414b","datavalue":{"value":{"amount":"+0.8059299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$7C472491-FB3A-4F09-839D-3572291FE1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec17a55f0a783b1c186913e553816b56a1875a6a","datavalue":{"value":{"entity-type":"item","numeric-id":804561,"id":"Q804561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5149cf672de7e040b01423581959395e10d22e6","datavalue":{"value":{"amount":"+0.80480486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$2A971A46-C56C-47AF-81DE-D1E7E65B6A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6c3746d361dc34f670148de91ad3577cfeefc5","datavalue":{"value":{"entity-type":"item","numeric-id":4694212,"id":"Q4694212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcfc07b73f1020d1c9c5a39d10b0ce5c51dfe31","datavalue":{"value":{"amount":"+0.80260193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$F49FD34E-8F49-4320-AE76-567D505BFEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a2f29425c18c3e37b5bdc17d3a5142c6e8e13d","datavalue":{"value":{"entity-type":"item","numeric-id":4008642,"id":"Q4008642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cdcc419b6d7cf68bccfb8601e35aefbaec2cb1","datavalue":{"value":{"amount":"+0.7992552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$FFE54181-CF94-4B0C-9BF7-4B6AF043A7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a35660b5011293fb8c80b86c9f33ac791f3688b","datavalue":{"value":{"entity-type":"item","numeric-id":496069,"id":"Q496069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1bae1067339620afd31167e776ad667a793d7a","datavalue":{"value":{"amount":"+0.79615706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$304F67A5-6C1F-47DC-B3AB-CC23960D8391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe1bfa9124a1bf01b8922e2a7c39dd332a8d96b","datavalue":{"value":{"entity-type":"item","numeric-id":2656271,"id":"Q2656271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c4b658c80093b412efc975aee1480ccc832b2c","datavalue":{"value":{"amount":"+0.7957528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915733$3BAD7626-4668-4E10-9E14-FDF9A18EC156","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d27058180376e7c98329c21cb8243bc06f6958ab","datavalue":{"value":{"text":"A note on normal forms for the closed fragment of system IL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915733$22AC7ECA-2DFD-444B-838F-B411009744F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c57e030cc30987cf2615964fa3df33a4c44387d","datavalue":{"value":{"entity-type":"item","numeric-id":6621963,"id":"Q6621963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915733$9CAE3C2D-BB39-4ECA-83B9-2DA681716DD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7a1fe61e92d0731fba53d097151376bda3e5b74","datavalue":{"value":"The paper is devoted to the interpretability logic IL, in particular to the open problem of the normal form for the closed fragment of IL. Some cases where the modal operator \\(\\vartriangleright\\) can be eliminated are given, and a formula from which it is impossible to eliminate it is indicated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915733$B9EE744A-2B15-4170-BDD3-077FCE078BB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915733$75386D1F-3574-4AB2-B6DE-3914070EEE7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on normal forms for the closed fragment of system IL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_normal_forms_for_the_closed_fragment_of_system_IL"}}}}}