{"entities":{"Q2888153":{"pageid":2898878,"ns":120,"title":"Item:Q2888153","lastrevid":83993936,"modified":"2026-05-07T15:37:44Z","type":"item","id":"Q2888153","labels":{"en":{"language":"en","value":"Bisimulation quotients of Veltman models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039650"}},"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":"Q2888153$56154CE3-B406-4DF2-8AC1-32899F9B67E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbeb9eda708f65b8e90edcd436a2b0368c22c78c","datavalue":{"value":"1253.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888153$D91F2E90-5DDC-4823-95C4-013BFA629946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed7c1aab7f61881b9ebf54750dc681b17bb0250","datavalue":{"value":{"entity-type":"item","numeric-id":269724,"id":"Q269724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888153$CEED99F9-6091-4449-9AD3-6388675B8A2F","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":"Q2888153$215C0EE5-F8C8-401F-A193-D9CD70E8E776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-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":"Q2888153$23F8D717-BC88-471C-9CD8-FF7C4F098ABF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888153$1A893441-BC2D-4172-9E33-E49E4C0A2456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888153$6A4E1533-CD32-4C7D-98FC-55C7FB88CF0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d515cafadac893f674f646a6b387a6555cac424","datavalue":{"value":"6039650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888153$528CD790-D363-4240-9B6F-F25D44FB6F0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888153$5F358260-AC52-4EBB-B86A-97838B36441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888153$9F716900-203E-493E-ABF1-21C93A9A3E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ca3f35911ab8dbbf0b25e7edb55e36f49ba01","datavalue":{"value":"Veltman models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888153$12FDC358-6E7B-4FA3-AD6D-187C2741AB4D","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":"Q2888153$22E64CCF-32EB-4EB9-B4CB-4D6E4FF98AD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ee3d72dcd59387dd3208d7e6b96e5ea8f0c6462","datavalue":{"value":{"text":"Bisimulation quotients of Veltman models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888153$6234636A-44BD-4B65-B0D5-EF3B92605E43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888153$9C125905-3F98-4A11-A810-126CDF99C201","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"514776861be1466c5ff99d434f3e9f5179ee5f8c","datavalue":{"value":"The paper is devoted to the interpretability logic first studied by P. H\u00e1jek and V. \u0160vejdar and developed by A. Visser. It is a modal description of the interpretability predicate. In the paper, bisimulation quotients and largest bisimulations with respect to Veltman models are studied (those models are the basic semantics for interpretability logic).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888153$D1E2FDF8-4AAA-42BD-9534-4DB77DA93B9F","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":"Q2888153$62396C16-1299-49F0-AEE1-802D81AC11E9","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":"2fe07bc0314050863fefbb2272a324d53298ad61","datavalue":{"value":{"amount":"+0.9182072281837464","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":"Q2888153$471EA5F0-2959-4EC5-BAF8-0FB7B349492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300cd58018395db07af2068e367ed232488aecd1","datavalue":{"value":{"entity-type":"item","numeric-id":361870,"id":"Q361870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a989232757bd58969e9def58e190e6caf20069","datavalue":{"value":{"amount":"+0.9180804491043092","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":"Q2888153$C7A3C75D-D878-4A59-832F-089CFB17BE81","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":"38bd255f9089b0224e1593513a9a81eb47c98b90","datavalue":{"value":{"amount":"+0.8454407453536987","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":"Q2888153$A2CFEABA-2AAE-467F-B67D-84B87A6E2232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fe67be56c8c4ab6c17dd947c3b639d69e286ee","datavalue":{"value":{"entity-type":"item","numeric-id":3015294,"id":"Q3015294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c96db45c40245d6d97c69c877e63a5009085ebe","datavalue":{"value":{"amount":"+0.8344634175300598","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":"Q2888153$8B5DD1F1-E5B2-4495-8AC2-9020B622A9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4961342f633323a62354295ab71e44306fec20e","datavalue":{"value":{"entity-type":"item","numeric-id":4821935,"id":"Q4821935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e523091f961c94eae49668eb5f35a07a9b2502","datavalue":{"value":{"amount":"+0.8314118385314941","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":"Q2888153$AA74A816-6386-4699-9FBB-5E9187D586EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation quotients of Veltman models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_quotients_of_Veltman_models"}}}}}