{"entities":{"Q1876090":{"pageid":1886832,"ns":120,"title":"Item:Q1876090","lastrevid":73922880,"modified":"2026-04-14T17:44:36Z","type":"item","id":"Q1876090","labels":{"en":{"language":"en","value":"An institution-independent proof of Craig interpolation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091570"}},"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":"Q1876090$0EE0938C-FA8B-4E79-9560-0800AA5CFF31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0afda08ea1fbc30510d333e7868b6ddaccaa613a","datavalue":{"value":{"text":"An institution-independent proof of Craig interpolation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1876090$48A07E3D-5AF8-471C-AD68-823A107BF286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2d4907fe8e010322d42b6f6e7bdfce2920ecf72","datavalue":{"value":"1048.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$C2747BBA-81D2-43E6-BCB4-E25EAB396255","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":"Q1876090$97E5E687-CFC7-4D20-BA00-00D676DD1A78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876090$BA5A7C9F-2E4F-4839-99A6-6E818668A1D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"940bfd82d93d0a0f8bba8894177c9d9473a815f7","datavalue":{"value":{"time":"+2004-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1876090$DDC0E685-831B-4F52-8F15-D46B044DD501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$FA897E7A-81C8-4DD3-9FFF-6EE1D0B42F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$081A1EEA-7A55-49CD-9F17-B6C96D06BAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$98E8F581-88D4-47AD-BD0B-E670DD2C608D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ab0d50e8b26cd31072ce3ffe7ea528da02e78c5","datavalue":{"value":"2091570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$6718E91B-0F4D-45FA-B6EC-39D8D059BCF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876090$F73FD5E7-B6F0-47C7-B9BB-31BD2EE1F028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876090$1CEE41A4-CBDD-4524-A41E-C46F670629D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876090$63EBFD70-57D6-434B-9EB7-29CD7AD9FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1876090$B823E66A-B738-4101-B13D-0D914511B170","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1876090$86749287-62A5-400A-9213-CFE18F701D5F","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":"Q1876090$2C907F72-D2F5-4218-ACFC-EC250AB2A4ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"211e010a406783e2ca9707f80231f97b5d7414ac","datavalue":{"value":"https://doi.org/10.1023/b:stud.0000034185.62660.d6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1876090$1C036CF8-ADA9-434A-A181-6DCC1525A095","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dc8e87c74fdb4fee1cc71409829e2fc0edf3217","datavalue":{"value":"W2005494456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$E1C1C61C-372B-483C-826B-E09B8E146D7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a18e11c1dc881c37b9dd15b80391d05794dbc6a3","datavalue":{"value":"10.1023/B:STUD.0000034185.62660.D6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1876090$1AF74600-01E6-4E7D-8D64-585AE4C7BD0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeffe33afd603fd4a5aa07a1c54164b1df0563cc","datavalue":{"value":{"entity-type":"item","numeric-id":2893323,"id":"Q2893323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a1d46d8a72f449b472ae6aae97f3eee6a4d262","datavalue":{"value":{"amount":"+0.8309147357940674","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":"Q1876090$7B33D943-2463-4DD6-A957-ECE399BC52CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78829c21b4f9e3193e0fa304034a7fab0cd1144c","datavalue":{"value":{"entity-type":"item","numeric-id":1006639,"id":"Q1006639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadae183836c93b8e3885b756f5f7f8ca6d05fd4","datavalue":{"value":{"amount":"+0.8231989741325378","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":"Q1876090$3C543085-DE50-49DA-BA7C-4D73A4ABD308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"198bc5520b1f2b8cc97a86074cea0fe15f95baa4","datavalue":{"value":{"entity-type":"item","numeric-id":995670,"id":"Q995670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1777fd774f072b68c5bf9502c6e201dc1806f9a4","datavalue":{"value":{"amount":"+0.8144134283065796","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":"Q1876090$60A86DE7-CC65-4D1E-BB5C-F5B53FB69E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260853fb27acb38c4b1de1b6f1c4e4a0bc70401c","datavalue":{"value":{"entity-type":"item","numeric-id":878156,"id":"Q878156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4bb5160df1e5412de4419c235ad1245469d43c","datavalue":{"value":{"amount":"+0.8063669204711914","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":"Q1876090$15AE14AA-6014-49C7-83E6-6E850F731E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bbd5ce78d31dee32443a513f32a0ad30a7c649","datavalue":{"value":{"entity-type":"item","numeric-id":1024116,"id":"Q1024116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b439e82f7420fb6a60afac0f57d9acd641e8238","datavalue":{"value":{"amount":"+0.7911071181297302","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":"Q1876090$F2B59047-7EE5-480A-AFB0-1D7E875D166C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An institution-independent proof of Craig interpolation theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_institution-independent_proof_of_Craig_interpolation_theorem"}}}}}