{"entities":{"Q7304791":{"pageid":31242454,"ns":120,"title":"Item:Q7304791","lastrevid":105079954,"modified":"2026-09-16T11:33:45Z","type":"item","id":"Q7304791","labels":{"en":{"language":"en","value":"Completeness of interpolation algorithms in classical and non-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8231557"}},"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":"Q7304791$F11A559A-D554-4A68-AA35-12A34DAB746D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a81934001f37920d251d170295f85a66be8aecda","datavalue":{"value":{"text":"Completeness of interpolation algorithms in classical and non-classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7304791$392A48BB-8867-4FEA-B4EB-14B452B7814A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2cea8bbc709beea8aa96665a61ab15c41d4d52a","datavalue":{"value":"10.1016/J.APAL.2026.103808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304791$3E064084-7A01-409E-B2EF-A29E35595F45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$7BC05969-8385-4963-A2AD-F3EC331ADF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$9465E2CB-704E-4900-AC48-846096F6C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4648823819593688ed4d5c8cf234cbfd0e332c66","datavalue":{"value":{"entity-type":"item","numeric-id":1694452,"id":"Q1694452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$8953A5BE-296A-412D-B9C6-B80627058FDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$A2786BD7-8840-4CE4-B815-73C0ADB2B9D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ed5cdeb6f7025059fda4db2c9ca60480aabbcb6","datavalue":{"value":{"time":"+2026-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7304791$00334285-F562-46CB-BCCA-E3B6D76E424B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304791$39B43E93-CE31-4892-AE4C-719AE3ED7386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304791$86CEE512-DFA1-4B58-8711-CA9890633DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304791$9CE509A7-135B-4427-B8BB-8915773314E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304791$9FC45DB3-7C5B-4B55-A3A3-CB6E766B8155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de85fd535650d36509440441c5e979be070d017","datavalue":{"value":"8231557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304791$680EE5D4-8351-4416-81E9-0A8B2E4F9E8F","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":"Q7304791$91FA7F1B-F55B-4DCC-84D8-63C67A82AA44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf2356c33da6949992e76652d09afb44a132cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$791A62DC-FF68-4FBB-9F01-1D9C15E73001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f5a93d0ef9efa7c10df9b950913895f00d8dc","datavalue":{"value":{"entity-type":"item","numeric-id":5093873,"id":"Q5093873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$186EFDA2-ADE4-493F-85DF-071185D04060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe7ca05964d4b09b50166ae769ef7441eabaf28","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$D9F7C843-D52A-4CCA-9AD4-5A6AD4B690AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$38C5A062-B0C5-476F-922E-F5E826CE1B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$EA6F99CC-C143-4C01-9C5E-C442E872CFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$9234481E-292F-4C9A-9F7F-AB498AD55A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a064c24e33fdb6013bc5a8a7ffdbe6ad695be319","datavalue":{"value":{"entity-type":"item","numeric-id":674415,"id":"Q674415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$3D9602EA-43CD-4904-8754-B871DD365311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$E0662CD9-CDA4-4370-B0A4-8571989411C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$79A2BC7E-9A05-4462-9AD5-D2E5E9CE4FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$03D2DCD4-1C12-46E8-BEB7-2DCA577B31B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$D39948FC-BCE1-4A86-90CB-6EA0E3CF06DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$880598EF-D414-46E2-8737-568084BB7840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$7E736289-F6C3-48E8-A673-FB072424817C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c91a28a758cef65772d101c4d9ed9dccc99d931","datavalue":{"value":{"entity-type":"item","numeric-id":2942878,"id":"Q2942878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$95670A2C-7DC0-4780-8FCE-0FEA3AC6E25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22d96f5a065b66ef5cb79cd3620ea1aed3b80d4","datavalue":{"value":{"entity-type":"item","numeric-id":6085706,"id":"Q6085706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$7DA825EE-9D84-40B1-BEEE-A31EA1B1417F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$EAF7DF15-24C6-4A8F-89E8-83CD247D99C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$A17854DA-30D4-49AE-9D5A-363F18286420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131cc9ec9b6de3914a4746548c7d2f69bec3a59e","datavalue":{"value":{"entity-type":"item","numeric-id":5453494,"id":"Q5453494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$FD1DBEE5-AD78-404D-BEB6-EAC157C272A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$CD40631E-63D7-46D8-B1CD-E84273984345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$F0654755-2557-4446-BE2C-ADD5701E8D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$48DE2841-5516-452E-8ED0-5CA6BA92EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$03209B01-DA06-4289-8BA0-295904B4E2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff35174a63fe52a75e716ca5c26bbaa856925633","datavalue":{"value":{"entity-type":"item","numeric-id":1024112,"id":"Q1024112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$189818B8-0A61-45E4-B037-88B01061948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$753F966B-ECFF-4F26-9E31-986B36F4AF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$F233449D-B3A0-48FE-A6A3-C4F5A50B2261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c365b9797b8b24b4bc0d80c9ea0e6e159394ae","datavalue":{"value":{"entity-type":"item","numeric-id":3176372,"id":"Q3176372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$10534608-C731-476E-A8CE-5BC812AF33B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$8887557A-E648-4100-A9CD-CD2FB3CB3699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$BEC89B02-FFE1-47EC-AE38-972398623CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$57F2A33F-78A5-48FD-AABC-6D9BEFCAF195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$DE390B90-1652-485E-9EF1-02F28C04AED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$76CF6BEC-0DF7-45F3-BD0E-5C6D7B04E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33692c390b1f19aeb0569ead211f73029e6a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2865008,"id":"Q2865008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$8F50A628-4B56-4D06-9D17-288A3340A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78611c23d99ac7ae6599e77d46b398442759275","datavalue":{"value":{"entity-type":"item","numeric-id":1810855,"id":"Q1810855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$C40A4742-D382-41C5-A46D-0728D036352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$30CADDB7-F866-4000-A340-6B37AE108023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3bc372bce474a590e50f0734f07a1e5749117b","datavalue":{"value":{"entity-type":"item","numeric-id":2843336,"id":"Q2843336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304791$91FA3B84-BEFD-4E8A-92E9-9AECD882324D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of interpolation algorithms in classical and non-classical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_interpolation_algorithms_in_classical_and_non-classical_logics"}}}}}