{"entities":{"Q3133175":{"pageid":3143891,"ns":120,"title":"Item:Q3133175","lastrevid":58131498,"modified":"2026-04-03T22:44:03Z","type":"item","id":"Q3133175","labels":{"en":{"language":"en","value":"Implicit Kripke semantics and ultraproducts in stratified institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837747"}},"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":"Q3133175$8C0FDC6B-383F-4FA9-A210-4ACFA0F3D642","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21559ddf744b7c067aacc61409f941d7657a362a","datavalue":{"value":{"text":"Implicit Kripke semantics and ultraproducts in stratified institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133175$280F4149-660C-4C90-A0E9-283E042403B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9531da6c0061048e7cd5f94bd619e3d5bd775b6d","datavalue":{"value":"1444.03185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$A259859F-A196-48ED-90D3-06E33D8D8114","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133175$E81782EC-E29B-44F7-AAD8-D67444BC2326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133175$8D099334-3D3E-46A2-9425-170934FAA092","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d93423ca5eb2b2168c63b4af0c6a07c32acb2584","datavalue":{"value":"https://arxiv.org/abs/1602.05373","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133175$E067A6E8-316C-4683-9692-6FADD7E3D0AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$9E180C10-7209-4106-8059-EC5DDB070165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$DCDBA3BC-0CE6-4864-AE4E-D06ECEBAB74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$ACED8A62-0CDB-4BCD-B2D6-C20ECFE8B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$AEB7268C-7946-4FBD-AEFA-C2D94A5B7359","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae656085539725fab055ef2258e3a7612fcdd18b","datavalue":{"value":"6837747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$E5EF8CEF-2FA9-48AC-B237-4B9A88B5814A","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":"Q3133175$9DCDF38A-216B-4B79-B136-5D85D8418C7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1da9de4823f04abfdaff839ab99ef753cd689285","datavalue":{"value":"W2962877377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$2C6D7857-AB5A-47F6-B5B5-1A3B0BA0DCBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6d29444e4430aaba9c0025e57109c3e7cbcaf3","datavalue":{"value":"10.1093/LOGCOM/EXW018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133175$8522E1F0-E61A-490B-A8BF-1978D4ACC1E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133175$C5B60FAA-CA31-42AC-8B29-51749B2E78A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed349dc4ee3ee0867cd5a5a0e1d9c9cfe02bfca2","datavalue":{"value":{"entity-type":"item","numeric-id":2373712,"id":"Q2373712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba68579406bf4fc7d8707dcefb16131ae87a4add","datavalue":{"value":{"amount":"+0.89656997","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":"Q3133175$9A1405A0-3C6B-4BD3-BEA9-28511C82FDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e55563de58a2685c7f354259f5c1ad3dfc17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2787335,"id":"Q2787335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c679fa8f771402993a63207151119b3667f437","datavalue":{"value":{"amount":"+0.81778204","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":"Q3133175$D83ED131-423C-49D7-BE7A-56C66546A4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f43c960b836686705e25dc3e5766b4be4e2d9597","datavalue":{"value":{"entity-type":"item","numeric-id":5015966,"id":"Q5015966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca1dd6c3e629ad1b330b81e746023bdcc98173e","datavalue":{"value":{"amount":"+0.8136033","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":"Q3133175$E69722C2-8889-4911-9411-8CCF11ED8CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d716d1a4da35d5f1546cb339ed477fee33d37a","datavalue":{"value":{"entity-type":"item","numeric-id":2450647,"id":"Q2450647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b93eb232fb026325b1336fc9b96f65f73970a80","datavalue":{"value":{"amount":"+0.8105782","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":"Q3133175$5C6F54DA-E6F6-428E-B626-023936AD37AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8206f51f6bed979ac5954ae303306318d2303b","datavalue":{"value":{"entity-type":"item","numeric-id":2658306,"id":"Q2658306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046c26270fe5f679c35d8d9973c85d7227a26d3b","datavalue":{"value":{"amount":"+0.81050736","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":"Q3133175$86AC6FC8-AD24-41FA-BADE-B4C9086013AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9149f2b917f565b80302a827b278862c0145d9f","datavalue":{"value":{"entity-type":"item","numeric-id":2379932,"id":"Q2379932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a03027f405e42433c8f5330e1cb3981e527e3ca","datavalue":{"value":{"amount":"+0.80763626","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":"Q3133175$02D884B6-1120-48BF-BD37-804C6EBB9FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738b7118edd46f105206222122669c9bd28e102f","datavalue":{"value":{"entity-type":"item","numeric-id":2826029,"id":"Q2826029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ea9f25a76b15e26c661925be9bd5ba10d07e94","datavalue":{"value":{"amount":"+0.80570865","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":"Q3133175$DE400D44-A160-40F3-9C84-1FFBBB74F24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6c10829b6ee80dd709d1854b6c8d0aa6b9c1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4010362,"id":"Q4010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2545934b263ad3a436993a3c2d20d7072d37cc","datavalue":{"value":{"amount":"+0.8007615","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":"Q3133175$99E97574-1585-45B2-9408-7E171386BFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400232ba4691acfe4926445e3151d1a5fffc7e06","datavalue":{"value":{"entity-type":"item","numeric-id":3800006,"id":"Q3800006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd510cdadcf847ff6834c9764203ef2c552cb98","datavalue":{"value":{"amount":"+0.7991823","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":"Q3133175$93E3814D-0EFD-4AE0-BEBF-F46F17953720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc068b3774ca65bd17841133150cafa7193832de","datavalue":{"value":{"entity-type":"item","numeric-id":1697086,"id":"Q1697086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dcd4fd3872288862e305a59288aa3b93c07542","datavalue":{"value":{"amount":"+0.7987844","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":"Q3133175$81044FE9-18E0-47CB-848E-F005643BF358","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133175"}}}}}