{"entities":{"Q3050398":{"pageid":3061114,"ns":120,"title":"Item:Q3050398","lastrevid":45347773,"modified":"2025-12-05T22:39:54Z","type":"item","id":"Q3050398","labels":{"en":{"language":"en","value":"Failures of the interpolation lemma in quantified modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645055"}},"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":"Q3050398$63BC05AA-7285-4B05-BFDC-B19DFFF06256","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4505f03602f08198999a09d02f5e260ead26fa07","datavalue":{"value":{"text":"Failures of the interpolation lemma in quantified modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3050398$8D093DAE-0740-492D-9363-761367CDAEC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8aa8dc21eed6ebb3312745adff30e5e507b8ccd3","datavalue":{"value":"0415.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050398$8582E834-B45C-4726-8D0C-4F8503FC7BCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae0fa6190c4a5911d22894a9ac86d8ed5eea2c31","datavalue":{"value":"10.2307/2273727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050398$C65CEA0A-C29A-441B-89C3-888BD0F6C2C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a5f797a5812b3d1789f3a6c5eb6f827ccc046c","datavalue":{"value":{"entity-type":"item","numeric-id":169444,"id":"Q169444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050398$68376BC0-4003-418B-8663-70C86172E035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050398$4F14FFD7-E200-41DC-AD49-5865F3480CB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3050398$34748FE4-1A32-4C5A-BAD9-6BC9CAE107F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050398$39AAB25E-BCE9-4865-9F5F-B5E242B1BAC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df11c761929bfdf0dedd5ba1fcf81d9926cbc48f","datavalue":{"value":"3645055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050398$C81B3ED6-29F5-4320-B86A-27309C6F97DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8406059e41a6b011788aef5818cde3e628613503","datavalue":{"value":"interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050398$9900CD46-5EEC-4738-8841-AF59A13A7380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91225e09d3baa5c8d8bc33b2699ccdf1abbb89c2","datavalue":{"value":"definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050398$0497EF09-B8A7-4C66-B1C7-34E05D9DCB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789347597f6b59ae1e798d47514f0a94fa6f7abe","datavalue":{"value":"quantificational modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050398$68BFC764-5C2E-4A11-9946-68A432945019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050398$44FC3D49-6A2E-4643-8076-126B43EA645B","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":"Q3050398$C6BDFBA4-C0BC-4D6C-8AB9-A3BE699BC3EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e905255c524faa4b6ad83980a46c0cb3cbd49e0b","datavalue":{"value":"https://doi.org/10.2307/2273727","type":"string"},"datatype":"url"},"type":"statement","id":"Q3050398$F6BFC107-A3F5-4850-83C4-94E0DC9CCCAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45f9c09902f8b5dd385b4e185537e1d486c312f3","datavalue":{"value":"W2071369407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050398$AC2BE104-E294-4601-88EE-024FD585F92C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"baa85e7f56e07734e499d2be53eb38361101af8b","datavalue":{"value":"Q124989992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050398$3D2D6642-1616-454A-A00D-172E43362B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40483ba02e8378994b9c71f887d21ca469537df","datavalue":{"value":{"entity-type":"item","numeric-id":4149744,"id":"Q4149744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050398$A3A15547-5F99-447D-BAAB-7D758B946444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d97f04eb8ea62903fff1fd6a77e76243174abdd","datavalue":{"value":{"entity-type":"item","numeric-id":1221738,"id":"Q1221738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050398$E52DBB81-427B-450B-9469-3AD3AE9CD12A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3050398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3050398"}}}}}