{"entities":{"Q6178467":{"pageid":13313355,"ns":120,"title":"Item:Q6178467","lastrevid":58739916,"modified":"2026-04-06T13:20:13Z","type":"item","id":"Q6178467","labels":{"en":{"language":"en","value":"The fixed point and the Craig interpolation properties for sublogics of \\textbf{IL}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790929"}},"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":"Q6178467$2B874319-1A0F-40DB-B3AA-C4A672C86018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65c8a82c618cd6171250f906746d03d6efe4c73b","datavalue":{"value":{"text":"The fixed point and the Craig interpolation properties for sublogics of \\textbf{IL}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178467$FA705E04-7E87-40E9-834F-0882DEAA302A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7523585c785045bead275e6fbe25bcaa71b52517","datavalue":{"value":{"entity-type":"item","numeric-id":1625590,"id":"Q1625590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$4EE52328-951A-4B38-8C34-5E93ABD178DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$1A1627E1-A42C-4515-A248-E3D9F6C55DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c572c066a8ea22a9b9ac8efff19fe885352a420","datavalue":{"value":{"entity-type":"item","numeric-id":2120970,"id":"Q2120970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$E43B3500-F654-4473-B3F9-F72159C093D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$7EA90BAD-ED40-4C13-929E-D43A79CAA784","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-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":"Q6178467$4CD2B591-6A2F-4411-AC4A-6003DA2FD215","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79026b13394034c20b8405498a23cd9f5be98c85","datavalue":{"value":"https://arxiv.org/abs/2007.05427","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178467$2D60BD51-C918-46B2-9D84-C391A5F69036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178467$EBD771FB-6701-4DC3-92A2-0AB730387149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178467$39C35E38-79E0-48EC-A3F9-4052572E69E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcdb08d32f61fe973d10a5da6b1299150fe48bd6","datavalue":{"value":"7790929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178467$513FDBC0-17EC-4796-98C4-237886165525","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178467$8C990D62-3560-42B3-86BB-7A1BAB899EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178467$13739E29-2268-4B25-BB1B-0CB47757CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f9153a1c0d049cf3296800d729e8ccdb28138a","datavalue":{"value":"uniqueness of fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178467$85C6AC67-77E5-4F64-AEBD-65293685EB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178467$5B6CD577-3500-4821-84A4-C6C3FD2DBF75","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":"Q6178467$F4C4C571-B451-4CFB-95DA-7973BB99432C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60c1f59df386540a4c1ec1da4c65570b4f719859","datavalue":{"value":"W4380153182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178467$89F66057-EDC5-4AAA-8989-616FCF34B6E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0d81bd04cbcac90d444fab9bf05a5c711e3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4329232,"id":"Q4329232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$C313255A-E9E6-48BD-9D8A-97E1888E807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$7AC49AAB-A92C-4EB0-96F2-7559FB3B4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$20F93877-72B7-48C7-9C09-66A0C243F2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$E388AE1A-161C-4176-A286-93115B825F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$E30E64C0-3799-43D6-BCD1-696B04D4BDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ededf97004b62abc463f08624d65b33b2a5865f9","datavalue":{"value":{"entity-type":"item","numeric-id":1176094,"id":"Q1176094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$822FEFA7-0C06-4D44-AD88-E9EED92078BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841571b9011639d241ebe347379a50dc331427ac","datavalue":{"value":{"entity-type":"item","numeric-id":6047678,"id":"Q6047678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$5F694155-C83E-4982-9F92-20F6DBD3D913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa137b0d397143146f57a26920508b4c038e47","datavalue":{"value":{"entity-type":"item","numeric-id":5866480,"id":"Q5866480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$02ADBC9F-0B97-47C2-A846-CA6DDFDF7D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$18334670-0AC6-463C-B013-19DB56BE1A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$947506CA-C2B2-48C0-BCDA-916F9DE45A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$A2B6074A-CEE3-43C4-B252-2371487295FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$9A46D939-017B-4DEB-8CFE-7F023ED3A2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$FE1DB0AA-355B-41A3-A095-E59F8DC4A00B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5864d30efba2ec8de3b9bc72b64eb4e59d048d3","datavalue":{"value":"10.1007/S00153-023-00882-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178467$39670B5E-06F3-4D94-9069-4C7A75D3839C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178467$6B17B087-2EF3-4E6B-B1BE-08EF3BF724C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6178467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6178467"}}}}}