{"entities":{"Q3619870":{"pageid":5649776,"ns":120,"title":"Item:Q3619870","lastrevid":50629091,"modified":"2026-01-14T15:07:00Z","type":"item","id":"Q3619870","labels":{"en":{"language":"en","value":"Preservation theorems for Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5542258"}},"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":"Q3619870$8917FE09-AC60-4943-BD84-70102FF0F98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900eb8dca36b0abb1e50fa4735db3b7894b23573","datavalue":{"value":{"text":"Preservation theorems for Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3619870$262CF09A-D91B-452B-B39A-15BF8D14F572","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc3346a067d1df5333d8216df62b5bbdb78ef78b","datavalue":{"value":"1160.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$CE768E0E-1CBB-41CA-A1F4-318ACD680926","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$0B259D15-A8F1-45ED-A1D5-9DABFC0B614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d4a91b7364d39f2ceda6885aa57f394ac478","datavalue":{"value":{"entity-type":"item","numeric-id":535158,"id":"Q535158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$1566F0C8-FDAA-475F-ADD7-801B743C61D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$EA3639B3-60AA-4500-B7B4-3EBD8D1B61E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcdb1993f8b4556071ee0569f4221a22eabbccd0","datavalue":{"value":{"time":"+2009-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3619870$87812018-2A65-4ACF-9294-8F9FADC41595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$8F11E7B1-5D35-4E05-8328-63C8528748AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$142077E1-ADB2-4830-83CD-37E6E1074E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$566C3079-C41F-4053-A5DD-4CC6721911CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"589e9fa2e8ff49e1f1e01bb50ebbeff733eeb4d4","datavalue":{"value":"5542258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$CF7C128D-703C-49F0-9210-E32B720E5256","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619870$FD511ACF-01B6-4467-A486-0EC143B2D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920ff455a0d2c7569a4067c32ac076b70e70dfac","datavalue":{"value":"intuitionistic first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619870$B02393B0-D2F5-42C0-9657-D58E6877DC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1d938581617637421a79f34f10273557f0434a","datavalue":{"value":"elementary submodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619870$4461E7EE-BBB2-4755-A12E-1A458D10A942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bf5ee6c5d5f25a6a06e76afbbd44548899d24d","datavalue":{"value":"universal sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619870$7F032FD2-F713-4DCD-BD4C-0AACC50B2BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef148531684bd766572813acb28cdda92748310b","datavalue":{"value":"existential sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3619870$235A61C2-4A72-4567-ACE6-947807F1DB40","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":"Q3619870$5A31D5BD-8A7E-4601-B2E7-0EE3708EDE13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71a44355690d5644d3f08b952e6534c62c2fb311","datavalue":{"value":"https://doi.org/10.1002/malq.200710085","type":"string"},"datatype":"url"},"type":"statement","id":"Q3619870$947072C4-CFD4-4AA5-860F-DBB05CEAD83D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bd3bcd62cd3fdf8f1e25574c1d3a33ec338d750","datavalue":{"value":"W2074174650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$DBE36669-9F20-4F28-8DD1-08F1C4F8617C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$E5C50B51-036C-4703-B819-237A321F938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3166a1df231f17c0eace0ec4a3cd14533d6a0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":1095140,"id":"Q1095140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$9F62D7F3-E4A5-4028-AB24-032A629DD8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e9459aefaafaa8a55c4b28935dff4ee9cf42af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$E593569F-8048-49F8-83A3-158BE1D5E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$E03B2FCB-71D0-4846-9CDB-DEF978284BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921b0db5e3dfc0c82f961ade9450e75882bb3a65","datavalue":{"value":{"entity-type":"item","numeric-id":5944052,"id":"Q5944052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$98A37186-CC59-46CA-91E0-BB979DF3B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34231ca7a2a78261550d161849e0955ff3cce30","datavalue":{"value":{"entity-type":"item","numeric-id":5691117,"id":"Q5691117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3619870$C2B69ADD-74FC-4501-A090-B5FB0A889D58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a93f11f5bf82e406c014f6c51103eba50a95ed19","datavalue":{"value":"10.1002/MALQ.200710085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3619870$7EF3D21B-ACCF-4360-936F-ECEC5FC0F55E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3cbd1977e31dc4f213d786c3fefedeb804c0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5095626,"id":"Q5095626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85787ad1ef033a8341e163ac7e2258557e0bc8c4","datavalue":{"value":{"amount":"+0.9324945211410522","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":"Q3619870$AA7CA84C-24A2-4366-84FF-15B0CA20E62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82af895f7d2dc27b0f45d46fd0c983c1c830a6af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d397ba92a473b843b0a4fcec70924cc92ac6f2af","datavalue":{"value":{"amount":"+0.8834294080734253","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":"Q3619870$5E7F2A5F-3E6D-40D9-A0F0-393B28D78832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0c4f5a2aca4719ff950375fe91bd4496b757eb","datavalue":{"value":{"entity-type":"item","numeric-id":5944052,"id":"Q5944052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7ef755fe8faa1193d867eeb7f0a03ddd1b13bc","datavalue":{"value":{"amount":"+0.8647177815437317","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":"Q3619870$C721C47F-F81D-4A1A-B639-464CCEB0550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3187da52d657f3d21f3a7fbbada305ab2d80e756","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a41120fb6b4d11c3be312b1587452410973d20","datavalue":{"value":{"amount":"+0.8647172451019287","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":"Q3619870$CDB075E8-E625-453D-A3A2-B9C2044CC83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eb2e372fbd97ce08112a734fcbed7d490bd01e","datavalue":{"value":{"amount":"+0.8489047288894653","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":"Q3619870$139EF580-C3D9-4B73-9292-B8A6C611C5E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3619870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3619870"}}}}}