{"entities":{"Q4644496":{"pageid":6674077,"ns":120,"title":"Item:Q4644496","lastrevid":53313380,"modified":"2026-01-24T17:18:30Z","type":"item","id":"Q4644496","labels":{"en":{"language":"en","value":"A bisimulation characterization for interpretability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997882"}},"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":"Q4644496$313C1522-809C-4718-A82A-36D8FE363511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183e8299cf7128c436d11f3c8806e6456e52d78f","datavalue":{"value":{"text":"A bisimulation characterization for interpretability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644496$01EA881C-D6E6-4E90-A3DA-2C2E7507B83E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db845c8c82d0fc14bbe604aec902592a4d4c7dc4","datavalue":{"value":"1405.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644496$7E06B86E-A4E7-4D68-990A-BFE7310837A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b84d8f0372e932b2f1e8b5d8340f5af45dac789","datavalue":{"value":{"entity-type":"item","numeric-id":714725,"id":"Q714725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644496$56169919-2F4C-4F16-AEA2-7D501911C6D3","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":"Q4644496$F652F37F-3120-4D67-9189-086B4FE74FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644496$48C10EFC-28D4-476C-A5AB-6C3BC58C9DEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644496$85419CD8-F2B0-4B5F-AC0D-535FCCB064B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644496$437967B8-36CB-4344-A3C8-330034643C9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49e300a368b587a646507e5d070078e8b718da7b","datavalue":{"value":"6997882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644496$A497B8E5-835C-421B-A0E8-1F96954DDFB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644496$760F5FAF-3F5E-4928-8BAB-41B4E09338B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ca3f35911ab8dbbf0b25e7edb55e36f49ba01","datavalue":{"value":"Veltman models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644496$30BD7F39-23F4-4C73-94E1-D49F7ECB2D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644496$D04562CD-05C5-441C-B57F-B0F54B5A8889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c71491e5ec4134e84f50c35e083dfc45078b5ca","datavalue":{"value":"bisimulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644496$9D91BD2E-1555-4C01-835A-F5A16FC1682D","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":"Q4644496$8C832222-F0F2-4979-89C0-C26CDEFB6375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c9680533fab53bc01bbe99c7891f0278fa49a2d","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzu015","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644496$26AA5B5E-B747-4451-8775-F2F1E6AD43F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"257f26f944756edad187c8bf106a38b57534dd7c","datavalue":{"value":"W2091952361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644496$4B9BD5B5-8EBB-4F5E-A653-F7C97E5436C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562ab73c2fc017c581f55bb3488468b69b080a01","datavalue":{"value":"10.1093/JIGPAL/JZU015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644496$20CF6992-C6DF-411A-876D-796DF27BC70B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644496$AACF1A93-88DD-4350-B38F-62D7B49575F2","rank":"normal"}],"P1643":[{"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":"c3666ac6377907fe02cc8135fb352623980fd973","datavalue":{"value":{"amount":"+0.8491877317428589","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":"Q4644496$80D6AEC9-D04C-4A99-8C5A-2E9EFF2D4091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a24bba9006dda7c932a2c0ec6531082cb0474f1","datavalue":{"value":{"entity-type":"item","numeric-id":2718477,"id":"Q2718477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c348aa447ea43e36e8af6706534378b7815e18c2","datavalue":{"value":{"amount":"+0.822641134262085","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":"Q4644496$BB0582AA-5CFC-4A4E-9804-222C64628367","rank":"normal"},{"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":"0e205197b2ec570040af29cee678c31424cb6747","datavalue":{"value":{"amount":"+0.8092561960220337","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":"Q4644496$E9C1B9A9-2AD9-4791-8E81-FF0C64A2C487","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":"58c1269efd2d1ea475a1216a100adb2506b3b15e","datavalue":{"value":{"amount":"+0.8079694509506226","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":"Q4644496$09EBE50B-0620-4DDE-87F6-BB070964E115","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":"962e8cd14f5676481661ff4f86f53d9165918a08","datavalue":{"value":{"amount":"+0.8050450682640076","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":"Q4644496$5247B3E2-1FE2-4CC4-A50B-1524C9CC88AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644496"}}}}}