{"entities":{"Q2718477":{"pageid":2729216,"ns":120,"title":"Item:Q2718477","lastrevid":82808405,"modified":"2026-05-06T22:07:50Z","type":"item","id":"Q2718477","labels":{"en":{"language":"en","value":"Characteristic classes and bisimulations of generalized Veltman models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1606606"}},"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":"Q2718477$13B5A557-9522-4F12-B30C-211634C99D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"023901c3dfa210e136fff26e0bd72eb97fe8383c","datavalue":{"value":"0980.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2718477$566C7050-BDC4-46EF-8D54-22A347A1E8A1","rank":"normal"}],"P16":[{"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":"Q2718477$2474D131-7802-4AF6-8775-97268265F9AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2718477$6893AA9B-4DB3-4B5E-B8EC-60AE525F6E51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2718477$B792744C-A520-4307-9D51-2497D98C9927","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8253db469af701cd3e6d1ea7b806f618906ca72b","datavalue":{"value":"1606606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2718477$D67401E2-0A6C-434C-8DA8-91C856278448","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2718477$BD46922E-2CCF-485F-84E4-E86C0B4EE649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb20b034373472402fa2a8e63501c4bac635d874","datavalue":{"value":"Veltman model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2718477$D9749E29-F787-499D-96BD-DA31C2B75836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5abb953749472c43a0922cf1e50acf8b3dd9e33c","datavalue":{"value":"principle of interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2718477$1B78A49C-0867-42FB-94C8-587692F092B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2718477$E50AE8ED-D629-4ABA-9784-65CF5862A96E","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":"Q2718477$3EDE6205-84E0-4BC8-8765-6EB1FB9AD48A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebf347d28a0b3b15aa1c28a7251c53de976f707","datavalue":{"value":{"entity-type":"item","numeric-id":3061279,"id":"Q3061279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca2c7df107426a7c00663fc5d6f3650021ec3a1","datavalue":{"value":{"amount":"+0.9434455","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":"Q2718477$56068239-1917-4D59-91A2-326740C3F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec1e24438d23ed7a58b6d43f280b6194b5e092","datavalue":{"value":{"entity-type":"item","numeric-id":3520227,"id":"Q3520227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc5070dd1ae2dc83119a1bd0d91d71effd94b85","datavalue":{"value":{"amount":"+0.93881655","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":"Q2718477$5954E9B3-5E1B-4037-B6DB-6A9F9DEC26AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332283638d7a704a971504393b884ee49c577f72","datavalue":{"value":{"entity-type":"item","numeric-id":2888153,"id":"Q2888153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b71abd38a4e9baeba89b18f364a50e7f3883f7","datavalue":{"value":{"amount":"+0.9176158","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":"Q2718477$D55394F6-7539-450E-8361-6E1C044EC81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45992fa5b370198892ecb9599ef930f55263f26a","datavalue":{"value":{"entity-type":"item","numeric-id":1675792,"id":"Q1675792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2604ace38c0dde0ac274cdbee7dafbd8662a65df","datavalue":{"value":{"amount":"+0.87154883","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":"Q2718477$FBC82153-50BB-4405-8CA0-22DD5864D3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0752c5c756cf1a518ff647f0b04615d7e670501c","datavalue":{"value":{"amount":"+0.8704457","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":"Q2718477$DD1387B6-9E23-4B7B-BF61-4539FA8B7BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881d6e5a876f36d4bd07e1b907eeec98e69fd350","datavalue":{"value":{"entity-type":"item","numeric-id":3056296,"id":"Q3056296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04afc1e15e11dc1d7c13d8bc20cd7175b0e61ef","datavalue":{"value":{"amount":"+0.8667549","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":"Q2718477$35F23733-FD07-4B80-BC0A-A134ADE55EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80e8ce4b07661111f8df24ee8d7b905d71b5e96","datavalue":{"value":{"amount":"+0.8651922","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":"Q2718477$B1CE9212-1EC0-4FEC-97BB-6815F7E798F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021c27a289e02c85d187e13cdc55466a225c8f98","datavalue":{"value":{"entity-type":"item","numeric-id":580963,"id":"Q580963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c32bb5eb559c677cc10f9e1b2545e245513a3b8","datavalue":{"value":{"amount":"+0.8543625","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":"Q2718477$8EBD86FD-E0B3-4FC8-9A72-6490940E1A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607ae86d87efc29b9ad8e4907a3cf3840237fcc6","datavalue":{"value":{"entity-type":"item","numeric-id":3829081,"id":"Q3829081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3459637f3542e6882d583fd8002c6a302f036b01","datavalue":{"value":{"amount":"+0.8515399","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":"Q2718477$9BAAA8E6-5D79-4871-B266-8960B67AFE36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"127cf60d3ff41033257ae0b6801adb66a024e898","datavalue":{"value":{"text":"Characteristic classes and bisimulations of generalized Veltman models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2718477$E2D511EF-C03D-4E51-8AF4-3EAFA7F2DB64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b46260678acf1fd11c9a656065637eaaf6df654","datavalue":{"value":{"entity-type":"item","numeric-id":6768168,"id":"Q6768168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2718477$F3F8DDB0-9FF0-4F73-AA0A-D9CAF7F9F5B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c34fd288fcfd6fe7e73331dc4e09b464b09a83d","datavalue":{"value":"The basic interpretability logic IL proposed by Visser has been proved by de Jongh and Veltman to be complete with respect to so-called Veltman models. It is also known that there are several principles of interpretability which are not provable in IL. Among them Svejdar proved that one called W is properly stronger than another called F (of Feferman) on the base of IL but they are semantically equivalent in the framework of Veltman models. Thus the semantics is not sufficient for distinguishing the principles of interpretability. In this paper, the author shows that the generalized Veltman models introduced by de Jongh have indeed better characterizability than Veltman models. The author introduces also a bisimulation between generalized Veltman models and shows its basic properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2718477$C609FB33-0169-484C-95CF-9D10A8C059FC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2718477$EB4D4CB1-9ABA-4F52-B1B3-B9C1C91850C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characteristic classes and bisimulations of generalized Veltman models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characteristic_classes_and_bisimulations_of_generalized_Veltman_models"}}}}}