{"entities":{"Q6922541":{"pageid":21038092,"ns":120,"title":"Item:Q6922541","lastrevid":97059461,"modified":"2026-06-05T13:09:59Z","type":"item","id":"Q6922541","labels":{"en":{"language":"en","value":"A constructive proof of the Craig's interpolation theorem for \\textbf{QCiore}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8100466"}},"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":"Q6922541$638FD78C-5461-46AE-AAC9-D15C0E90578C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfc38c1df4d30298cf0f40ed6a4a88b67bc85e1f","datavalue":{"value":{"text":"A constructive proof of the Craig's interpolation theorem for \\textbf{QCiore}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6922541$3BD467C0-B707-4B0D-8037-11070D675B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e83549d89c06e480c2cc5701b61d25066b248656","datavalue":{"value":"1573.03262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$37D8587A-3892-449B-A2F3-4AEE4A94E622","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c65c145d401d7be4ccc92e1425167247b9f5a607","datavalue":{"value":"10.1093/JIGPAL/JZAF068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$DF9E5963-8BBB-43F9-966D-16CE0D287E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ee60af2b2578cd2866232b705b86fab25a2fad9","datavalue":{"value":{"entity-type":"item","numeric-id":6922540,"id":"Q6922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$F6403C00-18BC-4CFE-BBC4-98DF1204513B","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":"Q6922541$3711AB11-5FDB-4127-8C4C-4260D13FC4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67b571ae3ce5d75bc39c8248f19a512a27075c5d","datavalue":{"value":{"time":"+2025-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6922541$B280EC46-FD66-4F62-881F-347B29D7DF17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$E1279E97-C02D-4301-BC3F-B647D9BB3263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$96BDB1DA-C93C-4AA2-8481-4F406B061541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$33654BF7-818F-453D-951E-26003BA32E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$9E3820B6-D00E-4ADE-96D7-B10EDB3D69EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6010f437608a737aeecb4223cb87c0ea4465e175","datavalue":{"value":"8100466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922541$F9677763-7678-45BE-AA37-2472AF4B9AC5","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":"Q6922541$8A35D95C-ED7D-459F-BFD1-238E03AAFE18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"512c7ce1b99344049ab9e6bff34509af5bcdbb9e","datavalue":{"value":{"entity-type":"item","numeric-id":6987208,"id":"Q6987208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$98719D46-0C7C-40B6-A285-9E19A42A8782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cdb2b765f973a0f9222ca8bd9da646898a07b2","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$D88884F7-F565-43D1-961C-C9A64AD446B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d141967673e58306bbfccf97d9b1ab0aff048b","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$25E63A1A-2234-414F-B2D4-D390938B40A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a979b18d88eadd73319d7252ad629e71ae60a9","datavalue":{"value":{"entity-type":"item","numeric-id":3386910,"id":"Q3386910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$2CEA09C7-616F-4749-BFC3-7E1AD31B99D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6f5cef20aabc39fc78555ba1fa7d0afc160bf2","datavalue":{"value":{"entity-type":"item","numeric-id":6189220,"id":"Q6189220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$2200C73B-AE75-45C2-9B98-B82A0690D1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$E1B2D3B4-EBB0-4564-A177-DB9767AB488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74616caa39611ede14f2b9d7a2a8b9d639a8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3149220,"id":"Q3149220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$A8D66B04-98B8-493B-B7C1-63D1740D50D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6eb7711ac7c1134fd9e33fbfc8b9dc4acd77f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5001546,"id":"Q5001546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$0F3F2E04-150D-4FBE-9F27-C27A1657C45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$F09A1FA9-942C-43FB-A1C6-A7E2F9624853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$FEB74DB0-FF14-4023-9564-5EB00FFB0B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28ac66a35b23904df7ed0d46606cb0ba887b411","datavalue":{"value":{"entity-type":"item","numeric-id":5728439,"id":"Q5728439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$08E525C7-86C2-4C45-BD20-1F16CBCB8399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b7a123156e801ea9326071f245f480fd277d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4847373,"id":"Q4847373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$4EBC0903-688F-4425-AE27-1F630378E6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5753d29caedfe2f02e657ac791cf6477760d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4722043,"id":"Q4722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$4BEAA202-FD21-41AD-A3E4-F043A8B453A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148c3c5983a59437da205df3e85d1e2f32b4a498","datavalue":{"value":{"entity-type":"item","numeric-id":1095881,"id":"Q1095881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$909BA065-5469-4C8B-9F28-920479C4FA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273b7f345f5313db6455100ee68cad7650f3e8a1","datavalue":{"value":{"entity-type":"item","numeric-id":2062196,"id":"Q2062196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$EC2ABC30-4124-4227-9BCB-A28A4A19FE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd198fa0aa37fb2392dcf32d814181a1e152092d","datavalue":{"value":{"entity-type":"item","numeric-id":4729754,"id":"Q4729754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$D13B9238-A367-41FB-A652-17BD64E33CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d8fa501c7446af24ecf37c69b09ddbbdb7a0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3744152,"id":"Q3744152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$15F0448C-3828-4512-BDF7-51F162AB2073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$9F48AF16-4D39-4B10-9060-A50D2F584D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b1fed477ac006ae57516dbfcd731bd6648663e","datavalue":{"value":{"entity-type":"item","numeric-id":4777260,"id":"Q4777260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922541$72E5A27C-6CAE-408C-8123-B731DB2B4C01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6922541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6922541"}}}}}