{"entities":{"Q5213666":{"pageid":7243236,"ns":120,"title":"Item:Q5213666","lastrevid":53654753,"modified":"2026-01-25T12:23:09Z","type":"item","id":"Q5213666","labels":{"en":{"language":"en","value":"Ultraproducts of admissible models for quantified modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162564"}},"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":"Q5213666$E86B1B29-BC54-4F83-9AA4-5DDED05C6F8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"768b750bd1c52b6e6ae9f9e95af7747db62b31cb","datavalue":{"value":{"text":"Ultraproducts of Admissible Models for Quantified Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213666$09360307-6253-4DAB-A321-7A8A4165C187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ab4f324e0dde7e299ecabe11d055065a88a8bd1","datavalue":{"value":"1429.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213666$308A3003-A2C8-47DF-9B70-1821D6B8C9F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21df9440b0401657c95820285e5b747ef5bcffd8","datavalue":{"value":"10.1007/978-3-662-48357-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213666$5B5AE035-522A-4B94-B459-46F165DB21AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$6CB8D0F7-FB35-4AFF-9BBD-0B3889B74521","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e42ed111514e7a293ed36550d0a2ec275632ecec","datavalue":{"value":{"entity-type":"item","numeric-id":501085,"id":"Q501085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$FD62EECF-AB37-42AA-B07C-AEE431CCC498","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213666$01C1A46F-07B1-4E77-8767-AD7D0655340B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213666$64BBE207-01A8-4DC5-9590-2FF78990A870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213666$4D249884-C768-4369-95F5-B777C63655D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0c08a0ee68fd3b750922a4ad7a442a6b070e15e","datavalue":{"value":"7162564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213666$F49CA080-09F1-4775-A0CC-47140FE49663","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff67273cbb0dd0d15734be1d2d8fee99848e451","datavalue":{"value":"admissible semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$EAAE513A-A336-4156-B514-A26589B26B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$90040B17-5818-42A5-9834-C737879C2248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$CFE2B1B5-E7BB-4E58-A1DB-39779FF691B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a403e73afc3a88b6a36b312f955d85a32b45720","datavalue":{"value":"actualist quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$34E4206D-674B-4260-8DD6-F00FEA9A7916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$7BA8E70E-06F6-4A82-A019-F85E7E1BFFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$C1BA5C38-B853-46AB-9869-0598EC7A571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d437c8819f9ffc1c3843e7b2acc31f388ae215","datavalue":{"value":"Kripkean interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$509B6B89-8993-4102-A4D1-80D15609E3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213666$0033FF68-AC7E-42D0-8B5B-8202A5B88E3E","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":"Q5213666$293A55F1-AF57-465C-9397-FFE65F5BCCF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a336d5f20b798ab1c805a20b5ca1c48cb1dcdc22","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48357-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213666$6C7455A6-2B88-44D9-9549-C66E51C21E04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e94055ae58d3840ef7cfd93461440f9f1ec3877","datavalue":{"value":"W2299804020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213666$C9AA66C8-598A-4C5F-863B-CE85E8165F37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$9BDFD193-240E-4CC3-992E-5E57334D4AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$676200DA-DFC3-4D94-8590-305DE8B15FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a504bd821708fb3f06c088102a7703928cb0b82","datavalue":{"value":{"entity-type":"item","numeric-id":5181665,"id":"Q5181665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$7A263CF7-B6CD-44E3-93A7-D61446DF3C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$1D73CDFC-9EA0-4923-80AE-F4CE4C5B1C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715210deeab8f9157ef585cf5c5252f3b23afaea","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$911EE033-54DC-4EA9-A883-D1DC6F8FB5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c26a14e94daa8f57db4fa95504b5a8bcb2cfaa","datavalue":{"value":{"entity-type":"item","numeric-id":3600561,"id":"Q3600561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213666$F7DC52E7-3BC2-4C0D-8E48-B09503CAA0ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0f819e1aefdae72450970f513fdaf22d72ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e3338d032ee8805e0c6433ae49467607b9233b","datavalue":{"value":{"amount":"+0.7459209561347961","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":"Q5213666$9C61E32B-B183-452C-BBBE-BB061B010767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8ea170d6f53ada0854d511236ee2511575c797","datavalue":{"value":{"entity-type":"item","numeric-id":4215603,"id":"Q4215603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84469e5287c6179ba50b304b091b71f21379269c","datavalue":{"value":{"amount":"+0.7231858372688293","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":"Q5213666$77B3DA48-5561-44BA-B022-309B212709C2","rank":"normal"},{"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":"637a3ed02aa9a0c59522c32e02b91b08b81c16dd","datavalue":{"value":{"amount":"+0.718073308467865","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":"Q5213666$F51D0A9B-756C-4AB5-B98B-C6C96EAC318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aadcd2c7d192eb00bbfa27f24de6ee0bcd42407","datavalue":{"value":{"entity-type":"item","numeric-id":848213,"id":"Q848213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b3a69b5e34300a97900d8c8efc680de3ac1654","datavalue":{"value":{"amount":"+0.6930900812149048","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":"Q5213666$192DC7D4-F3FB-487C-B9B9-D3E9869F4789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbaff6ade68c64b78545180106a1a70ced77d79","datavalue":{"value":{"entity-type":"item","numeric-id":3509055,"id":"Q3509055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52a8f5cd15c11017fe60b4900f3aa3effc8fcc8","datavalue":{"value":{"amount":"+0.6922247409820557","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":"Q5213666$E514968C-C520-4609-9A30-7AF1BAAF163F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213666"}}}}}