{"entities":{"Q5382576":{"pageid":7412150,"ns":120,"title":"Item:Q5382576","lastrevid":92568515,"modified":"2026-06-05T02:02:31Z","type":"item","id":"Q5382576","labels":{"en":{"language":"en","value":"Localizing finite-depth Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067260"}},"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":"Q5382576$E1726B41-C3BB-4BAB-BA18-16B6C6A18345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0bae43ca7c4d9ae11d4e57b72f7cfcc1b98fdb5","datavalue":{"value":{"text":"Localizing finite-depth Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5382576$7970C0C8-4C08-43E0-B4F6-F1568121169B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1cb568b800464519d8765426eaae0f6a02b7b8","datavalue":{"value":{"entity-type":"item","numeric-id":720756,"id":"Q720756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382576$B45EFE5A-7791-40C3-BCAA-73074B56D1D0","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":"Q5382576$CD7BB98E-F0DA-48E6-826E-FB9122E471A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-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":"Q5382576$9844A324-925F-49C2-8929-26A613D38C74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b24b90fba48de9ad99dafa0dcfe80530ce359a80","datavalue":{"value":"https://arxiv.org/abs/1710.08730","type":"string"},"datatype":"url"},"type":"statement","id":"Q5382576$452900DA-654D-4DD7-8E7A-139AE49ED870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382576$45247DBF-6302-4BF1-A01A-85B07DFE15CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382576$F70D7935-B82E-4FFA-B277-9B69A81CD606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ccff77e8f9a6d18b37b6b6aeaffc761355766d2","datavalue":{"value":"7067260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382576$BC3C9C71-86EB-4E19-A924-2B46488A56BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382576$9DD98CD5-3FC3-4B39-9434-852173C9F3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382576$25F6AE82-5587-4D8B-BDD0-323F09906737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4737f0baca9c7499cb3dfd6176b9c5962b97f77c","datavalue":{"value":"local truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382576$72DE21AE-50B7-426C-8B9D-C19C244610EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8f87f96d065341ef28a5e189d34624aae5103d","datavalue":{"value":"finite depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382576$6ED295F2-DFB5-4F81-87FB-B02A9D95B6BF","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":"Q5382576$59FA4C03-AD95-438A-92E9-A921B560CBF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eeba23dd21ac015e6177b4d175766b7002e169f7","datavalue":{"value":"W2963986560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382576$2576FEA6-8765-4FB6-9200-DB7CAD34B1E5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"724eb276307679cc489f193ee52ebf367d684be4","datavalue":{"value":"Q129395023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382576$6D76A74A-0AC6-4AA0-B749-0D5307DEF19A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d6068245d7bbaff549402b1b398130658fe98b6","datavalue":{"value":"10.1093/JIGPAL/JZY036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382576$E66D8054-9A0C-495E-8EEC-DEFC613AD1AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde27cb1cd7273e15d8d3f06cc0fd4b45a052aab","datavalue":{"value":{"entity-type":"item","numeric-id":1095140,"id":"Q1095140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d02fc82790a7cd2e1cbe77c536a77b1bccdfcb","datavalue":{"value":{"amount":"+0.8508734107017517","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":"Q5382576$C88FF18E-CAE4-4EB6-803C-194D0F720D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96296be5d3d418d1914a8f21a39fb01e99570189","datavalue":{"value":{"entity-type":"item","numeric-id":1355126,"id":"Q1355126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625a3deb766dd85064d19339034d9fe5743dabdc","datavalue":{"value":{"amount":"+0.8096113204956055","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":"Q5382576$A3640CCF-2585-4E89-92DE-8CE23CBD712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c6ef747665411045cad7b18bf0f7613aa2711b","datavalue":{"value":{"amount":"+0.8057628273963928","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":"Q5382576$AC92EF72-0F8E-4423-9044-5643ACDBCB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c6f8e47f7076ed12db43a36868b18935c6440e","datavalue":{"value":{"entity-type":"item","numeric-id":4530151,"id":"Q4530151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf0d0ebc381121add90daa63f91c7913c77c62d","datavalue":{"value":{"amount":"+0.7865465879440308","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":"Q5382576$10DC201F-6EF6-4614-82B0-5679330D4749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b12eb0fb3501952deefc2ba7e19d5d80ee1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1412839,"id":"Q1412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944aa93138fccbe4358307cbe2715909c957016a","datavalue":{"value":{"amount":"+0.7854893803596497","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":"Q5382576$A314FFF6-1947-46F4-889C-DA7B681E663A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Localizing finite-depth Kripke models","badges":[]}}}}}