{"entities":{"Q3442399":{"pageid":5135139,"ns":120,"title":"Item:Q3442399","lastrevid":88233092,"modified":"2026-06-04T13:59:15Z","type":"item","id":"Q3442399","labels":{"en":{"language":"en","value":"An Interpolation Theorem for First Order Logic with Infinitary Predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5154943"}},"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":"Q3442399$5C04FAFC-129F-4583-AD03-24AAA6865158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ca7d93d506bb97c3548bedaa324f1d01c37653f","datavalue":{"value":{"text":"An Interpolation Theorem for First Order Logic with Infinitary Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3442399$0FD123C0-572E-4E1E-BF28-6790986454E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"033ce6731469d3c1521d927642c609648145e298","datavalue":{"value":"1129.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$26843E8C-0C2C-4D8D-8CE1-511F8CC99708","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3442399$5B1CEAD9-CC7C-4EC4-A4CF-EA56E9CD7D37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c725dc3f4529c18502bb8414e9ec0be6c9a9a952","datavalue":{"value":{"time":"+2007-05-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":"Q3442399$202F5AF9-060D-4DE5-93CC-8CAC2AD24E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$398CD5A6-AB58-4A79-8812-306146A5005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$E1E04216-F504-4211-B17E-DB66E5F7DB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$3E7ECA97-47D7-4019-8CF2-AA7647197A11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e055d199c8e2ea7ef9ba670b5b1cf9cea9d6ff78","datavalue":{"value":"5154943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$9219301F-EAB6-408C-9A6B-F157F87E47E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442399$61D5AAD0-73B2-4CEB-B948-EDEAE77FF25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442399$5A2530FD-45FC-4247-AB62-237EC8833F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebd5d77adcb47c9288cee42bec7e3c9d6fdb1aa","datavalue":{"value":"cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442399$94B47E30-F806-44BB-88EB-FBEC17233650","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":"Q3442399$600A6316-009A-48B4-8A1C-9501E21AD8F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"123728a48c1be8658e61c28a990ab2d2c352fc0c","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzl030","type":"string"},"datatype":"url"},"type":"statement","id":"Q3442399$37C5B464-65CD-44BE-B9EB-9A457C88CADC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a05d40808d4c5bec56fd1675df8f4efb4fa38086","datavalue":{"value":"W2108926469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$6B40BB97-4B92-43D9-B6F5-30DF9A644F85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3373d7bd9cd13e27de4ef630cc085a3a3677f861","datavalue":{"value":"10.1093/JIGPAL/JZL030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442399$602F6F59-EC70-432B-8520-EBA361CAC9C3","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":"Q3442399$D4A4426B-E557-40DF-ACB9-7A106B72FAF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Interpolation Theorem for First Order Logic with Infinitary Predicates","badges":[]}}}}}